Assertion list
lens (aspect of telescope ) → ReceivesAction

Results from Ascent++: 1
lensReceivesAction placed 0.55