Assertion: different quantifier | /r/HasProperty | inequivalent
Facets:
Source sentences:
text: But that just invites a new problem: as has been prominently discussed, if two expressions in different languages both satisfy the classical introduction and elimination rules for the existential quantifier, then they are logically equivalent (see, e.g., Williamson (1987-88)), while surely the idea behind QV must be that the different possible quantifiers are inequivalent.