Assertion list
aperture (aspect of lens ) → IsA
Results from Ascent++: 3
aperture → IsA → hole 0.50
aperture → IsA → the opening 0.46
aperture → IsA → the size of the hole 0.34