Assertion list
magnification (aspect of telescope ) → HasProperty
Results from Ascent++: 1
magnification → HasProperty → important 0.58