Assertion list
smart thermostat (subgroup of thermostat ) → HasProperty
Results from Ascent++: 3
smart thermostat → HasProperty → compatible 0.69
smart thermostat → HasProperty → smart 0.67
smart thermostat → HasProperty → popular 0.28