Assertion list
magnifying glass (primary) → IsA
Results from Ascent++: 1
magnifying glass → IsA → convex lens 0.62