If fire is both present and absent in the kitchen (due to partial location), the kitchen qualifies as a counter-example under V1 because fire is absent there

The main effect of admitting partially located properties into the system is that it is no longer the case that a property, P, and its complement, P′, are disjoint: they may now intersect. If the inferred property is partially located, then the class of “agreeing cases” (sapakṣas - places where the inferred property is present) and the class of “disagreeing cases” (vipakṣas—places where the inferred property is absent) overlap rather than being distinct classes. To put it another way, a property