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

Syntax

between_predicate ::=
 expr[ NOT ] BETWEEN expr AND expr

For more information, see BETWEEN Predicate.