Assertion list
surface (aspect of mirror ) → HasA
Results from Ascent++: 1
surface → HasA → convex profile 0.36