Assertion list
new air conditioner (subgroup of air conditioner ) → HasProperty
Results from Ascent++: 2
new air conditioner → HasProperty → efficient 0.26
new air conditioner → HasProperty → sized 0.16