Assertion list for term "step off at 10".

Results from Ascent++: 1
parade CapableOfstep off at 10 0.37