Assertion: quantifier | /r/HasProperty | unrestricted
Facets:
Source sentences:
text: We hereby officially extend our first order language by allowing quantifiers to be unrestricted, with the reading that they range not over things of a specified sort but over the whole universe.
text: Such quantifiers are said to be unrestricted.