Assertion list
prime lens (subgroup of lens ) → HasA
Results from Ascent++: 3
prime lens → HasA → fixed focal length 0.68
prime lens → HasA → only one focal length 0.25
prime lens → HasA → fewer moving parts 0.16