Assertion list
lens aperture (subgroup of aperture ) → HasProperty
Results from Ascent++: 2
lens aperture → HasProperty → open 0.68
lens aperture → HasProperty → wide 0.35