Assertion: tree's key | /r/AtLocation | left sub-tree
Facets:
Source sentences:
text: The tree additionally satisfies the binary search property: the key in each node is greater than or equal to any key stored in the left sub-tree, and less than or equal to any key stored in the right sub-tree.:287