boolean_factor

<boolean_factor> ::=
  [NOT] <predicate>
| [NOT] (<search_condition>)