Assertion list
energy (aspect of electron ) → HasA

Results from Ascent++: 2
energyHasA mass 0.63
energyHasA definite elastic rigidity 0.25