Assertion list
total kinetic energy (subgroup of kinetic energy ) → HasProperty
Results from Ascent++: 1
total kinetic energy → HasProperty → equal 0.68