Assertion: tree's value | /r/HasProperty | the subtrees of its children
Facets:
Source sentences:
text: More elegantly, via mutual recursion, of which a tree is one of the most basic examples, a tree can be defined in terms of forest (a list of trees), where a tree consists of a value and a forest (the subtrees of its children):