Assertion list for term "rise to roof level".

Results from Ascent++: 1
stairway CapableOfrise to roof level 0.33