Assertion: free logic | /r/CapableOf | distinguish term
Facets:
value: from those
type: OTHER
Source sentences:
text: To distinguish terms that denote members of \(\bD\) from those that do not, free logic often employs the one-place “existence” predicate, ‘\(\rE!\)’