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