Assertion list
linear momentum (subgroup of momentum ) → ReceivesAction

Results from Ascent++: 2
linear momentumReceivesAction conserved 0.68
linear momentumReceivesAction stored in spinning disk 0.09