Assertion: tree | /r/MadeOf | previous tree
Facets:
Source sentences:
text: For example, American mathematician Joseph Kruskal proved that any TREE(n) will ultimately result in a tree that contains a previous tree, meaning every number for n in Tree(n) will produce a finite number.