'not' predicate