Assertion list
energy (aspect of pulsar ) → ReceivesAction

Results from Ascent++: 1
energyReceivesAction released 0.52