Assertion list for term "7 protons".

Results from Ascent++: 1
atom HasA7 protons 0.57