Assertion list
programmable thermostat (subgroup of thermostat ) → IsA

Results from Ascent++: 1
programmable thermostatIsA for year 0.30