Assertion list for term "arrive at the bottom".

Results from Ascent++: 1
marble CapableOfarrive at the bottom 0.41