Assertion list
power (aspect of telescope ) → HasProperty
Results from Ascent++: 1
power → HasProperty → proportional 0.25