Assertion list
honeywell thermostat (subgroup of thermostat ) → HasProperty
Results from Ascent++: 1
honeywell thermostat → HasProperty → compatible 0.59