exists_predicate 

<exists_predicate> ::=
  EXISTS <
subquery>