Assertion list
total momentum (subgroup of momentum ) → HasProperty
Results from Ascent++: 2
total momentum → HasProperty → zero 0.56
total momentum → HasProperty → equal 0.25