Assertion list
charge (aspect of positron ) → ReceivesAction
Results from Ascent++: 1
charge → ReceivesAction → conserved 0.25