Assertion list
objective (aspect of telescope ) → ReceivesAction

Results from Ascent++: 1
objectiveReceivesAction divided by focal length of the … 0.36