Assertion list
button (aspect of thermostat ) → HasProperty
Results from Ascent++: 1
button → HasProperty → responsive 0.16