Assertion: free logic | /r/CapableOf | involve partial functions
Facets:
Source sentences:
text: In applications of free logic involving partial functions, the existence predicate ‘\(\rE!\)’ is often replaced by the postfix definedness predicate ‘