Assertion: tree's node | /r/HasProperty | accessed
Facets:
value: by exactly one path
type: OTHER
Source sentences:
text: When a node x is accessed, a splay operation is performed on x to move it to the root.
text: This can be translated as: Every node is accessible by exactly one path.