Assertion list
curvature (primary) → HasA
Results from Ascent++: 2
curvature → HasA → property 0.57
curvature → HasA → radius 0.30