The syntax for the predicate in BNF is as follows:

Syntax

predicate ::=
 basic_predicate| quantified_predicate| between_predicate| null_predicate
      | like_predicate| exists_predicate| in_predicate| outer_join_predicate