Assertion list
surface (aspect of glass ) → HasA
Results from Ascent++: 1
surface → HasA → a radius of curvature 0.25