Assertion list
convex lens (subgroup of lens ) → HasA
Results from Ascent++: 1
convex lens → HasA → focal length of 10 cm 0.25