Assertion list for term "stop at the level".

Results from Ascent++: 1
lift CapableOfstop at the level 0.27