Syntax

1. <quantified_predicate> ::=
     <expression>.<comp_op> <quantifier> <expression_list>
   | <expression> <comp_op> <quantifier> <subquery>
   | <expression_list> <equal_or_not> <quantifier> (<expression_list>,...)
   | <expression_list> <equal_or_not> <quantifier> <subquery>