Assertion list
convex lens (subgroup of lens ) → ReceivesAction
Results from Ascent++: 2
convex lens → ReceivesAction → arranged at position 0.42
convex lens → ReceivesAction → used as magnifying glass 0.25