Assertion: sequence | /r/HasProperty | the subsequence of another
Facets:
Source sentences:
text: The relation of one sequence being the subsequence of another is a preorder.