Assertion list
large aperture (subgroup of aperture ) → HasA
Results from Ascent++: 1
large aperture → HasA → larger f-stop numbers 0.25