Assertion: tree's size | /r/HasProperty | fixed
Facets:
Source sentences:
text: The basic assumption is the key size is fixed and the node size is fixed.