Assertion list
reflecting telescope (subgroup of telescope ) → ReceivesAction
Results from Ascent++: 1
reflecting telescope → ReceivesAction → made in larger apertures 0.25