Assertion list
liquid hydrogen (subgroup of hydrogen ) → IsA
Results from Ascent++: 1
liquid hydrogen → IsA → cryogen 0.26