Assertion list for term "leave down step".

Results from Ascent++: 1
turn CapableOfleave down step 0.43