Assertion: free logic | /r/CapableOf | make \(t=t\
Facets:
Source sentences:
text: Positive free logic and the supervaluations described in Section 3.4 make \(t=t\) true and \((t=t