Assertion list
terminal (aspect of thermostat ) → ReceivesAction
Results from Ascent++: 2
terminal → ReceivesAction → connected 0.84
terminal → ReceivesAction → connected through switch 0.25