Assertion list
thermal energy (subgroup of energy ) → HasProperty

Results from Ascent++: 1
thermal energyHasProperty high 0.44