Assertion list
helium atom (subgroup of atom ) → HasA
Results from Ascent++: 3
helium atom → HasA → two protons 0.84
helium atom → HasA → two electrons 0.47
helium atom → HasA → 2 neutrons 0.38