Assertion list for term "subsequence".

Results from Ascent++: 1
sequence HasAsubsequence 0.52