exists_predicate

<exists_predicate> ::=
  EXISTS <
subquery>