Assertion list
resolution (aspect of microscope ) → HasProperty
Results from Ascent++: 1
resolution → HasProperty → good 0.16