OK for the mandatory parentheses around qualified op/pred names. I hope that this will be sufficient for Lalr(1): there is no ambiguity because of the "( op" or "( pred" that make the distinction from a parenthesized term but this uses 2 tokens not one ! Anyway we are closer to our initial proposal using quotes around qualified names :-) frederic