Assertion list for term "step over the edge of the well".

Results from Ascent++: 1
donkey CapableOfstep over the edge of the well 0.40