Assertion list for term "convex surface".
Results from Ascent++: 2
lens element (aspect of lens) → HasA → convex surface 0.60
die → HasA → convex surface 0.35