Assertion list
total momentum (subgroup of momentum ) → ReceivesAction
Results from Ascent++: 1
total momentum → ReceivesAction → conserved 0.68