Assertion list for term "converging lens".

Results from Ascent++: 1
convex lens (subgroup of lens) IsAconverging lens 0.61