Shaun Bogan schrieb: > Could someone tell me how to rewrite the following on the right-hand side: > boolops (firstops^ boolops)* > rule : b1=boolops -> $b1 (firstops b2=boolops -> ^(firstops $rule $b2) )* ; should solve this. Johannes