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