M : N M, N: MODULE of IDEAL A >< B A, B: LIST << S:STRING ? S:STRING ?? S:STRING @A A:TAGGED A..B A, B:INT or A, B:indeterminates