Assertion list for term "different radii of curvature".

Results from Ascent++: 1
lens (aspect of eye) HasAdifferent radii of curvature 0.25