Assertion: truth's truth maker | /r/HasProperty | entity
Facets:
Source sentences:
text: A truth-maker is an entity x which makes a proposition ytrue iff the fact that x exists grounds the fact that y is true.
text: A truth-maker is an entity x which makes a proposition y true iff y is true because x exists.