,idx,requirement,label,conflict
0,32,"If the maximum number of  cooling units is already running, the request will be added to a LIFO queue.",Yes,Yes(31)
1,49,"When the THEMAS system detects a request for an alarm, Generate_Alarm_Data shall store which of the two alarms are being requested.",Yes,Yes(48)
2,29,"When a request to turn on a heating or cooling unit is received, the system shall determine if the request can be honored.",Yes,Yes(30)
3,37,"If that thermostat requires no more heating or cooling unit turned on, this process shall submit a request to turn that unit on.",Yes,Yes(36)
4,45,"When a request to turn on or off a heating or cooling unit is made, Generate_H/C_Request shall generate the appropriate request to carry out that request.",Yes,Yes(46)
5,38,Generate_Unit_Unavailable_Event shall realize the thermostat and heating or cooling information and use this information to generate a specific system event,No,No
6,40,"This system event shall consist of a description of the event type (a request denied event),  and a designation of the heating or cooling unit that was not turned on.",Yes,Yes(39)
7,33,"If the maximum number of heating or cooling units is not running, this process will generate a request to turn on the requested unit.",No,No
8,36,"If that thermostat still needs a heating or cooling unit turned on, this process shall submit a request to turn that unit on.",Yes,Yes(37)
9,27,"LT < = T < = UT This condition indicates the thermostat’s current temperature setting is satisfied. If this condition is true, then the module shall output a request to turn off both the heating unit and the cooling unit.",No,No
10,31,"If the maximum number of heating or cooling units is already running, the request will be added to a LIFO queue.",Yes,Yes(32)
11,20,"If the temperature setting value is strictly less than the lower value of the valid temperature range or if the temperature setting value is strictly greater than the upper value of the valid temperature range, then the THEMAS system shall identify the temperature setting as an invalid temperature and shall output an invalid temperature status.Otherwise, the THEMAS system shall realize the value for that thermostat’s temperature setting.",No,No
12,16,A current temperature value that is received from an individual thermostat shall be compared to the valid temperature range values.,No,No
13,43,"In order to provide an indication of the status of the heating or cooling unit back to the requesting thermostat, Generate_H/C_Signal should output the status information of the heating unit.",Yes,Yes(42)
14,42,"In order to provide an indication of the status of the heating or cooling unit back to the requesting thermostat, Generate_H/C_Signal shall output the status information of the heating or cooling unit.",Yes,Yes(43)
15,28,The THEMAS system shall maintain the ON/OFF status of each heating and cooling unit.,No,No
16,30,"When a request to turn on a heating  unit is received, the system shall determine if the request can be honored.",Yes,Yes(29)
17,39,"This system event shall consist of a description of the event type (a request denied event), a designation of the thermostat that made the request, and a designation of the heating or cooling unit that was not turned on.",Yes,Yes(40)
18,19,A temperature setting value that is received from an individual thermostat shall be compared to the valid temperature range values.,No,No
19,46,"When a request to turn off a heating or cooling unit is made, Generate_H/C_Request shall generate the appropriate request to carry out that request",Yes,Yes(45)
20,35,"If the queue is not empty, this process shall remove one request from the LIFO queue and check the current state of the thermostat for which the queued request was made.",No,No
21,34,"When a request to turn off a heating or cooling unit is received, this process shall check the queue of waiting heating and cooling requests.",No,No
22,48,"When the THEMAS system detects a request for an alarm, Generate_Alarm_Data shall detect which of the two alarms are being requested.",Yes,Yes(49)