Assertion: tree's size | /r/HasProperty | the number n of internal nodes
Facets:
Source sentences:
text: The size of the tree is taken to be the number n of internal nodes (those with two children); the other nodes are leaf nodes and there are n + 1 of them.