Assertion list for term "show subsequent four steps".

Results from Ascent++: 1
curve CapableOfshow subsequent four steps 0.25