Assertion list
metallic hydrogen (subgroup of hydrogen ) → IsA

Results from Ascent++: 1
metallic hydrogenIsA liquid 0.25