Assertion list
enthalpy (primary) → IsA
Results from Ascent++: 1
enthalpy → IsA → the energy 0.48