Assertion list for term "define a concave surface".

Results from Ascent++: 1
cup CapableOfdefine a concave surface 0.25