Assertion list for term "rise to the topmost part".

Results from Ascent++: 1
solid CapableOfrise to the topmost part 0.22