Assertion list
enthalpy (primary) → HasA

Results from Ascent++: 1
enthalpyHasA opposite sign 0.25