Assertion list
waste heat (subgroup of heat ) → CapableOf
Results from Ascent++: 1
waste heat → CapableOf → go unused 0.19