Assertion list
charged particle (subgroup of atom ) → ReceivesAction

Results from Ascent++: 2
charged particleReceivesAction accelerated 0.25
charged particleReceivesAction formed 0.25