Assertion list
electric heat (subgroup of heat ) → HasProperty

Results from Ascent++: 2
electric heatHasProperty more expensive than heat 0.62
electric heatHasProperty inefficient 0.16