Assertion list for term "step 2–4".

Results from Ascent++: 1
repeat CapableOfstep 2–4 0.57