Assertion list
hydrogen ion (subgroup of ion ) → IsA
Results from Ascent++: 1
hydrogen ion → IsA → proton 0.68