Assertion list for term "more expensive than heat".
Results from Ascent++: 1
electric heat (subgroup of heat) → HasProperty → more expensive than heat 0.62