GF only provides binary clausal polarity, whereas our implementation of predicates requires a manyvalued logic.
vP negation in examples such as "John isn't a guitarist" rules out both that John is a guitarist, and that John is in the undecided area between θ − guitarist and θ + guitarist .