Assertion list
kinetic energy (primary) → DefinedAs

Results from Ascent++: 1
kinetic energyDefinedAs the energy 0.41