Assertion list
single electron (subgroup of electron ) → ReceivesAction
Results from Ascent++: 1
single electron → ReceivesAction → removed 0.49