Assertion list
nest thermostat (subgroup of thermostat ) → ReceivesAction
Results from Ascent++: 1
nest thermostat → ReceivesAction → controlled 0.68