Assertion: free logic | /r/Desires | additional rule
Facets:
value: for some new individual constant \(t\
type: TRANSITIVE-OBJECT
Source sentences:
text: Non-inclusive free logic needs an additional rule that introduces \(\rE!t\) for some new individual constant \(t\) if a path does not already contain a formula of this form.