Assertion list for term "correct lens".

Results from Ascent++: 1
astigmatism CapableOfcorrect lens 0.25