On Nov 4, 2005, at 1:13 PM, John Green wrote: > The semantic predicate would be awful complex, since it would have > to check for: > (io_opt)* state_end > In other words, I'd have to hand-code a syntactic predicate into > the semantic predicate. Does anything follow the loop that signals when to break? You could use a greedy=false loop then. Ter