Assertion: founded tree | /r/HasProperty | defined
Facets:
value: by forming trees
type: MANNER
value: recursively
type: MANNER
Source sentences:
text: Well-founded trees can be defined recursively – by forming trees from a disjoint union of smaller trees.