Assertion: truth's truth maker | /r/HasProperty | part
Facets:
Source sentences:
text: Smith tries to get around this problem by adding to (Necessitation-T) the further constraint that a truth-maker for a given truth should be part of what that truth is about: “roughly: it should fall within the mereological fusion of all the objects to which reference is made in the judgment” (1999: 6).