 If the predicate P is false for the NP, its negation not-P is true for the NP… Whenever a predicate is applied to one of its arguments, it is true or false of the argument as a whole. (Löbner 2000, 239)