Assertion: sequence's distance | /r/HasProperty | r/2 of each other
Facets:
Source sentences:
text: r > 0, beyond some fixed point in the original sequence, every term of the subsequence is within distance r/2 of s, and any two terms of the original sequence are within distance r/2 of each other, so every term of the original sequence is within distance r of s.