Assertion list
energy (aspect of pulsar ) → HasProperty

Results from Ascent++: 1
energyHasProperty enormous 0.16