Assertion list for term "used to correct myopia".
Results from Ascent++: 2
lens → ReceivesAction → used to correct myopia 0.32
lens (aspect of eye) → ReceivesAction → used to correct myopia 0.25