Assertion list for term "run down to the bottom".

Results from Ascent++: 1
marble CapableOfrun down to the bottom 0.35