Assertion list
charged ion (subgroup of ion ) → HasA
Results from Ascent++: 1
charged ion → HasA → more electrons 0.25