Assertion list for term "negative magnification factor".
Results from Ascent++: 2
lens (aspect of telescope) → HasA → negative magnification factor 0.55
lens → HasA → negative magnification factor 0.31