Assertion: unrestricted quantifier | /r/AtLocation | good sense
Facets:
value: all along
type: TEMPORAL
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.