Assertion: tree's key | /r/HasProperty | compared with the key of the element
Facets:
Source sentences:
text: When inserting or searching for an element in a binary search tree, the key of each visited node has to be compared with the key of the element to be inserted or found.