Assertion list
wi fi thermostat (subgroup of thermostat ) → HasProperty
Results from Ascent++: 1
wi fi thermostat → HasProperty → compatible 0.74