Assertion list
button (aspect of thermostat ) → ReceivesAction
Results from Ascent++: 2
button → ReceivesAction → pressed 0.52
button → ReceivesAction → depressed 0.41