Assertion: node's child | /r/CapableOf | define ordered forest
Facets:
value: given a node in a tree
type: OTHER
Source sentences:
text: Given a node in a tree, its children define an ordered forest (the union of subtrees given by all the children, or equivalently taking the subtree given by the node itself and erasing the root).
text: Given a node in a tree, its children define an ordered forest (the union of subtrees given by all the children, or equivalently taking the subtree given by the node itself and erasing the root).