Assertion list
convex lens (subgroup of lens ) → HasProperty
Results from Ascent++: 1
convex lens → HasProperty → thicker 0.68