Assertion: free logic | /r/CapableOf | deal with empty singular term
Facets:
Source sentences:
text: The logic must be free because it deals with an empty singular term, and it must be positive, because only on a positive semantics can empty-termed atomic statements be true.