Assertion list
field (aspect of telescope ) → ReceivesAction

Results from Ascent++: 1
fieldReceivesAction measured in degree 0.25