Assertion list
momentum (primary) → DefinedAs
Results from Ascent++: 1
momentum → DefinedAs → mass 0.36