Assertion list for term "end with introduction".

Results from Ascent++: 1
lecture CapableOfend with introduction 0.28