Assertion: truth | /r/HasProperty | defined for all of them
Facets:
value: by recursion
type: MANNER
Source sentences:
text: But truth can be defined for all of them by recursion.