The syntax for the EXISTS predicate in BNF is as follows:

Syntax

exists_predicate ::=
  EXISTS (query_expression)

For more information, see EXISTS Predicate.