Assertion list for term "convexly curved upper surface".
Results from Ascent++: 1
embodiment → HasA → convexly curved upper surface 0.29