Assertion list
neutral atom (subgroup of atom ) → HasA
Results from Ascent++: 1
neutral atom → HasA → same number of electrons 0.61