Assertion list for term "objective lens".
Results from Ascent++: 1
scope → HasA → objective lens 0.47