Assertion list
convex lens (subgroup of lens ) → IsA
Results from Ascent++: 1
convex lens → IsA → converging lens 0.61