Section 2.9.2.3.3: The description of CONTAINS says that CONTAINS can only appear once and may only be ANDed with the aggregate of all other predicates. However, the BNF is not written that way - it is written such that CONTAINS may appear anywhere in the search WHERE clause.

The BNF needs to be updated to reflect the above restriction - taking a stab at it:

Currently:

<where clause> ::= WHERE <search condition>

<predicate> ::= <comparison predicate> | <in predicate> | <like
predicate> | <null predicate>

Should be:

<where clause> ::= WHERE <where search condition> <where search condition> ::=

<predicate> ::= <comparison predicate> | <in predicate> | <like
predicate> | <null predicate>

<folder predicate>