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