Assertion: free logic | /r/CapableOf | express sufficient conditions
Facets:
value: for existence
type: PURPOSE
Source sentences:
text: This section considers three: (1) a cluster of problems related to the application of primitive predicates to empty terms, (2) the failure of substitutivity salva veritate of co-referential expressions, and (3) the inability of free logic to express sufficient conditions for existence.