Assertion list for term "overflow into the crater".

Results from Ascent++: 1
flood CapableOfoverflow into the crater 0.25