Assertion list
resolution (aspect of telescope ) → HasProperty
Results from Ascent++: 3
resolution → HasProperty → higher 0.68
resolution → HasProperty → good 0.59
resolution → HasProperty → possible 0.25