Assertion: sequence's subsequence | /r/HasAspect | its own subsequence
Facets:
Source sentences:
text: If every subsequence of a sequence has its own subsequence which converges to the same point, then the original sequence converges to that point.