Assertion list
magnification (aspect of microscope ) → HasProperty
Results from Ascent++: 3
magnification → HasProperty → necessary 0.43
magnification → HasProperty → good 0.16
magnification → HasProperty → low 0.16