Assertion list for term "leave at the bottom".

Results from Ascent++: 1
turn CapableOfleave at the bottom 0.32