Assertion: free logic | /r/HasProperty | first-order
Facets:
Source sentences:
text: Most free logics have been first-order, their quantifiers ranging over individuals.