Assertion list for term "start with induction".

Results from Ascent++: 1
reasoning CapableOfstart with induction 0.28