Assertion: sequence's term | /r/HasProperty | term
Facets:
value: up to the -th
type: TEMPORAL
Source sentences:
text: is bounded (since for some , all terms of the sequence from the -th onwards are within distance 1 of each other, and if is the largest distance between and any terms up to the -th, then no term of the sequence has distance greater than from ).