quantified_predicate

<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>