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