Assertion: unrestricted quantifier | /r/HasProperty | allowed into first order logic
Facets:
Source sentences:
text: All that is to say, nothing has really changed when unrestricted quantifiers are allowed into first order logic, because in a good sense they were there all along.