Assertion list for term "rest on flat bottom".

Results from Ascent++: 1
box CapableOfrest on flat bottom 0.44