Assertion list
zoom lens (subgroup of lens ) → IsA
Results from Ascent++: 1
zoom lens → IsA → lens 0.60