Only a case in the presence range of the reason property that falls outside the presence range of the inferred property constitutes a real counter-example

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