Hi, I'm curious if this form of syntactical predicates is valid and means what I mean (I know it gets compiled and seems to work, but I would like to make it sure): body: ((definition)=>definition)* sequence That means, definition's checking for syntactical predicate will run for all iterations. Thank you, Bert