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