Assertion list
thermostat (primary) → IsA

Results from Ascent++: 2
thermostatIsA device 0.59
thermostatIsA simple devices 0.42