Assertion: tree's key | /r/HasProperty | ordered array of keys
Facets:
Source sentences:
text: For this purpose, keys from the current node, the new key inserted, one key from the parent node and keys from the sibling node are seen as an ordered array of keys.