Assertion list
mm lens (subgroup of lens ) → HasA
Results from Ascent++: 1
mm lens → HasA → same lens-film distance 0.25