Assertion: tree's number | /r/CapableOf | produce finite number
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.