Assertion: truth's object | /r/HasProperty | λy
Facets:
Source sentences:
text: That is, according to this definition, “the extension of \(p\) is the abstract object that encodes all and only the properties of the form [λy q] which are constructed out of propositions \(q\) materially equivalent to \(p\)