Assertion: free logic | /r/CapableOf | allow empty singular terms
Facets:
Source sentences:
text: Because it allows empty singular terms, symbols for partial functions may simply be taken as primitive.