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