Assertion list
lens (aspect of telescope ) → HasA
Results from Ascent++: 1
lens → HasA → negative magnification factor 0.55