Assertion: logic's semantic | /r/CapableOf | treat formulas of the form
Facets:
Source sentences:
text: Positive semantics treat formulas of the form \(t=t\) as true, whether or not \(t\) is empty.