Assertion list
electric radiator (subgroup of radiator ) → HasProperty

Results from Ascent++: 1
electric radiatorHasProperty efficient 0.59