On Wednesday December 2 2009, Cameron Ross wrote: > Is the following valid CLIF: > > (forall () (a)) According to the grammar, yes. The EBNF construct { stuff } means zero or more repetitions of stuff. > Cameron. Randall Schulz