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

Syntax

exists_predicate ::= 
  EXISTS (query_expression)

For more information, see EXISTS Predicate.