Assertion list
thermal energy (subgroup of energy ) → IsA

Results from Ascent++: 1
thermal energyIsA the energy 0.73