Ascent++
Search
electric heat
subgroup of
heat
,
2
assertions
HasProperty
2
more expensive than heat
0.62
inefficient
0.16