Assertion list
thermostat (primary) → IsA
Results from Ascent++: 2
thermostat → IsA → device 0.59
thermostat → IsA → simple devices 0.42