Assertion list
trajectory (aspect of bullet ) → ReceivesAction
Results from Ascent++: 1
trajectory → ReceivesAction → bent 0.49