Assertion list
motion (aspect of kinetic energy ) → HasProperty
Results from Ascent++: 2
motion → HasProperty → relative 0.84
motion → HasProperty → possible 0.09