Assertion list
new appliance (subgroup of appliance ) → HasProperty

Results from Ascent++: 1
new applianceHasProperty energy-efficient 0.59