===== Próba opisu termostat przy pomocy SBVR =====
==== Vocabulary ====
  * office - local, where thermostat is installed
  * business hours (bizhrs) - time, when office is occupied
  * (nbizhrs) - time, when office isn't occupied
  * workday - Monday, Tuesday, Wednesday, Thursday, Friday 
  * weekend - Saturday, Sunday
  * spring - March, April, May
  * summer - June, July, August
  * fall - September, October, November
  * winter - January, February, December
==== Rules ====
  * It is necessary, that in winter, on business hours, on workday, thermostat keep temperature 25 degrees Celsius in office.
  * It is necessary, that in winter, beside business hours, on workday, thermostat keep temperature 18 degrees Celsius in office.
  * It is necessary, that in winter, all weekend, thermostat keep temperature 18 degrees Celsius in office.
  * It is necessary, that in spring, on business hours, on workday, thermostat keep temperature 20 degrees Celsius in office.
  * It is necessary, that in spring, beside business hours, on workday, thermostat keep temperature 15 degrees Celsius in office.
  * It is necessary, that in spring, all weekend, thermostat keep temperature 15 degrees Celsius in office.
  * It is necessary, that in summer, on business hours thermostat keep temperature 24 degrees Celsius in office.
  * It is necessary, that in summer, beside business hours thermostat keep temperature 27 degrees Celsius in office.
  * It is necessary, that in summer, all weekend, thermostat keep temperature 27 degrees Celsius in office.
  * It is necessary, that in fall, on business hours thermostat keep temperature 20 degrees Celsius in office.
  * It is necessary, that in fall, beside business hours thermostat keep temperature 16 degrees Celsius in office.
  * It is necessary, that in fall, all weekend, thermostat keep temperature 16 degrees Celsius in office.