Assertion list for term "consist of larger sequence".

Results from Ascent++: 1
vector CapableOfconsist of larger sequence 0.30