<expr> ::= (or {<expr>})