Assertion: truth's object | /r/HasProperty | fiff
Facets:
Source sentences:
text: These recursions are anchored in a base-clause addressing the satisfaction of primitive predicates: an object o satisfies ‘x is F’ iff