Assertion list
free proton (subgroup of proton ) → CapableOf
Results from Ascent++: 1
free proton → CapableOf → bind to electron 0.56