Assertion: tree | /r/HasProperty | represented by root nodes
Facets:
Source sentences:
text: Via mutual recursion, a forest can be defined as a list of trees (represented by root nodes), where a node (of a tree) consists of a value and a forest (its children):