At 21:34 11/07/2008, Jens Boeykens wrote: >Bounced on a problem: > >What should be the rewrite rule for this operand rule: >rule : id ('+'^ id)*; IIRC: rule : (a=id -> $a) ('+' b=id -> ^('+' $rule $b))* ;