Assertion list
gaussian curvature (subgroup of curvature ) → HasProperty
Results from Ascent++: 1
gaussian curvature → HasProperty → negative 0.68