Assertion: tree's number | /r/CapableOf | give traversal
Facets:
Source sentences:
text: formally there are a finite number of compositions of a given natural number, specifically 2n−1 compositions of n ≥ 1), which gives a traversal.