We have two ordinary language statements A and B below, and we want to decide whether B follows from A.(A) There is a large parcel of land having two smaller parcels as proper parts.(B) There are three things (the large parcel of land and the two smaller parcels)If the inference is valid, then there is a third thing 'over and above' the two smaller things, and there is an 'ontological distinction'