::= ::= atom ::= ( ::= ::= ) ::= . ) ::= ) ::= EPSILON ::=