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