Assertion list
heat (primary) → IsA

Results from Ascent++: 4
heatIsA energy 0.70
heatIsA the transfer of energy 0.44
heatIsA a temperature difference 0.41
heatIsA temperature 0.31