Algebraic manipulation

AMBIT/G 1 Adaptation of
1
AMBIT/L 1 Restriction of
1
IAM 1 Based on
1