Assertion list
final momentum (subgroup of momentum ) → HasProperty
Results from Ascent++: 1
final momentum → HasProperty → equal 0.68