Assertion list
charge (aspect of neutrino ) → ReceivesAction

Results from Ascent++: 1
chargeReceivesAction conserved 0.68