Assertion: tree's structure | /r/HasProperty | determined by the requirement
Facets:
Source sentences:
text: The structure of the tree is determined by the requirement that it be heap-ordered: that is, the priority number for any non-leaf node must be greater than or equal to the priority of its children.