Assertion list for term "step 1–7".

Results from Ascent++: 1
repeat CapableOfstep 1–7 0.30