Assertion: tree's number | /r/HasProperty | 2n−1 compositions of n ≥
Facets:
value: specifically
type: MANNER
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.