Assertion list
charged proton (subgroup of proton ) → CapableOf

Results from Ascent++: 1
charged protonCapableOf repel each other 0.77