Assertion list for term "widen at bottom".

Results from Ascent++: 1
cavity CapableOfwiden at bottom 0.25