Assertion: tree | /r/DefinedAs | a data type
Facets:
value: symbolically:
type: MANNER
value: with a list of trees
type: OTHER
value: recursively
type: MANNER
Source sentences:
text: Recursively, as a data type a tree is defined as a value (of some data type, possibly empty), together with a list of trees (possibly an empty list), the subtrees of its children; symbolically: