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