  To sharpen the problem, consider any theory of category mistakes which accounts for the infelicity of (48) by maintaining that locational properties such as ‘on the shelf’ are restricted so as to only apply to physical objects (whether the nature of the restriction is syntactic, semantic, or pragmatic). This predicts that if (47) has the structure Liebesman and Magidor attribute to it (namely, a straightforward predication of the locational property to an informational book), the sentence should have resulted in an infelicitous category mistake. Liebesman and Magidor (2017, 148–9) respond to this worry by arguing that the restriction placed by ‘on the shelf’ is not a type restriction such as ‘is a physical object’, but rather a more specific restriction, such as ‘has a location’ (we have seen this idea in §3.4 in the context of the presuppositional approach, though it could in principle be adopted by proponents of any of the semantic accounts as well). This more specific restriction allows them to account for how (48) can be a category mistake even if (47) is not: while neither a number nor an informational book are physical objects, the latter but not the former satisfies (so they claim) the property of having a location. Whether or not this account of copredication is accepted, we see once again how which theory of category mistakes is adopted has substantial implications for debates in metaphysics.