Assertion: tree's element | /r/HasProperty | accessed before previous time element
Facets:
Source sentences:
text: At any time during the sequence, let t ( x ) {\displaystyle t(x)} be the number of distinct elements accessed before the previous time element x was accessed.