Assertion list
zoom lens (subgroup of lens ) → HasA
Results from Ascent++: 1
zoom lens → HasA → variable focal length 0.43