Assertion list for term "rest on flat base".

Results from Ascent++: 1
clock CapableOfrest on flat base 0.29