month
season
in {1;2;12}
= winter
in {3;4;5}
= spring
in {6;7;8}
= summer
in {9;10;11}
= fall
day
today
in {mon;tue;wed;thu;fri}
= workday
in {sat;sun}
= weekend
today
hour
operation
= workday
> 17
= nbizhrs
= weekend
= op:any
= nbizhrs
= workday
< 9
= nbizhrs
= workday
in [9;17]
= bizhrs
operation
season
thermostat_settings
= nbizhrs
= summer
= 27
= bizhrs
= summer
= 24
= nbizhrs
= spring
= 15
= bizhrs
= spring
= 20
= bizhrs
= winter
= 18
= nbizhrs
= winter
= 14
= nbizhrs
= fall
= 16
= bizhrs
= fall
= 20
day
hour
= wed
= 12
month
= 6