Assertion list
waste heat (subgroup of heat ) → UsedFor

Results from Ascent++: 1
waste heatUsedFor heating 0.67