Assertion list
display (aspect of thermostat ) → HasProperty
Results from Ascent++: 3
display → HasProperty → blank 0.68
display → HasProperty → clear 0.38
display → HasProperty → bright 0.34