Assertion list
trajectory (aspect of comet ) → ReceivesAction
Results from Ascent++: 1
trajectory → ReceivesAction → modified 0.25