Assertion: tree's element | /r/HasProperty | item
Facets:
Source sentences:
text: Binary search requires an order relation by which every element (item) can be compared with every other element in the sense of a total preorder.