Assertion list
programmable thermostat (subgroup of thermostat ) → HasProperty
Results from Ascent++: 2
programmable thermostat → HasProperty → accurate 0.51
programmable thermostat → HasProperty → great 0.32