Assertion: tree's size | /r/HasProperty | r
Facets:
Source sentences:
text: size( r ) = the number of nodes in the sub-tree rooted at node r (including r ).
text: = log 2 (size( r )).
text: Define size( r ) = the sum of weights of nodes in the sub-tree rooted at node r (including r ).