Assertion list
convex lens (subgroup of lens ) → CapableOf
Results from Ascent++: 2
convex lens → CapableOf → form image 0.48
convex lens → CapableOf → converge light rays 0.25