> Quick question (i hope). What is the equivalent to the following using > the rewrite (->) syntax: > > sum: something (Plus^ something); > > Thanks, > Marko 1. try: something (Plus something) -> ^(Plus something+); 2. how about '*', did you mean: something (Plus^ something)*; ? 3. do not use ^ on both sides Guntis