Assertion: tree's number | /r/HasProperty | separated by n binary operators
Facets:
Source sentences:
text: The number of such binary trees of size n is equal to the number of ways of fully parenthesizing a string of n + 1 symbols (representing leaves) separated by n binary operators (representing internal nodes), so as to determine the argument subexpressions of each operator.