Assertion list
aperture (aspect of telescope ) → IsA
Results from Ascent++: 1
aperture → IsA → the opening 0.32