Assertion: logic's semantic | /r/CapableOf | permit empty-termed formulas
Facets:
Source sentences:
text: To avoid such irregularity and yet permit empty-termed formulas to be true, other positive semantics allow singular terms to denote, and predicates to be satisfied by, nonmembers of \(\bD\).