Assertion list
display (aspect of thermostat ) → CapableOf
Results from Ascent++: 5
display → CapableOf → return to normal 0.60
display → CapableOf → flash the word 0.38
display → CapableOf → give the option 0.38
display → CapableOf → show the temperature 0.38
display → CapableOf → switch to the user settings mode 0.25