 
updateSDE( internal_temperature_change, '1p_all', 6000, 7000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, cold), 6004) ),
assertz( happensAtIE( internal_temperature_change(75, bus, warm), 6013) ),
assertz( happensAtIE( internal_temperature_change(76, bus, cold), 6023) ),
assertz( happensAtIE( internal_temperature_change(77, bus, cold), 6033) ),
assertz( happensAtIE( internal_temperature_change(78, bus, normal), 6035) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 6042) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 6053) ),
assertz( happensAtIE( internal_temperature_change(80, bus, cold), 6060) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_warm), 6070) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_cold), 6080) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 6085) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 6096) ),
assertz( happensAtIE( internal_temperature_change(84, bus, very_cold), 6103) ),
assertz( happensAtIE( internal_temperature_change(85, bus, very_cold), 6109) ),
assertz( happensAtIE( internal_temperature_change(86, bus, cold), 6115) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_warm), 6126) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 6133) ),
assertz( happensAtIE( internal_temperature_change(88, bus, cold), 6142) ),
assertz( happensAtIE( internal_temperature_change(89, bus, very_warm), 6153) ),
assertz( happensAtIE( internal_temperature_change(90, bus, very_cold), 6160) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 6162) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 6172) ),
assertz( happensAtIE( internal_temperature_change(92, bus, cold), 6183) ),
assertz( happensAtIE( internal_temperature_change(93, bus, normal), 6189) ),
assertz( happensAtIE( internal_temperature_change(94, bus, very_warm), 6200) ),
assertz( happensAtIE( internal_temperature_change(95, bus, normal), 6208) ),
assertz( happensAtIE( internal_temperature_change(95, bus, warm), 6215) ),
assertz( happensAtIE( internal_temperature_change(96, bus, normal), 6225) ),
assertz( happensAtIE( internal_temperature_change(97, bus, very_warm), 6232) ),
assertz( happensAtIE( internal_temperature_change(98, bus, normal), 6237) ),
assertz( happensAtIE( internal_temperature_change(99, bus, warm), 6245) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_cold), 6255) ),
assertz( happensAtIE( internal_temperature_change(100, bus, very_warm), 6262) ),
assertz( happensAtIE( internal_temperature_change(101, bus, warm), 6271) ),
assertz( happensAtIE( internal_temperature_change(102, bus, normal), 6274) ),
assertz( happensAtIE( internal_temperature_change(103, bus, cold), 6289) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_warm), 6291) ),
assertz( happensAtIE( internal_temperature_change(104, bus, cold), 6301) ),
assertz( happensAtIE( internal_temperature_change(105, bus, normal), 6312) ),
assertz( happensAtIE( internal_temperature_change(106, bus, very_warm), 6317) ),
assertz( happensAtIE( internal_temperature_change(107, bus, warm), 6326) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 6337) ),
assertz( happensAtIE( internal_temperature_change(108, bus, cold), 6343) ),
assertz( happensAtIE( internal_temperature_change(109, bus, warm), 6346) ),
assertz( happensAtIE( internal_temperature_change(110, bus, very_cold), 6361) ),
assertz( happensAtIE( internal_temperature_change(111, bus, warm), 6366) ),
assertz( happensAtIE( internal_temperature_change(111, bus, warm), 6373) ),
assertz( happensAtIE( internal_temperature_change(112, bus, normal), 6383) ),
assertz( happensAtIE( internal_temperature_change(113, bus, very_cold), 6393) ),
assertz( happensAtIE( internal_temperature_change(114, bus, normal), 6400) ),
assertz( happensAtIE( internal_temperature_change(115, bus, cold), 6403) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_cold), 6410) ),
assertz( happensAtIE( internal_temperature_change(116, bus, warm), 6423) ),
assertz( happensAtIE( internal_temperature_change(117, bus, normal), 6428) ),
assertz( happensAtIE( internal_temperature_change(118, bus, normal), 6439) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 6445) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_warm), 6455) ),
assertz( happensAtIE( internal_temperature_change(120, bus, very_warm), 6458) ),
assertz( happensAtIE( internal_temperature_change(121, bus, cold), 6472) ),
assertz( happensAtIE( internal_temperature_change(122, bus, normal), 6478) ),
assertz( happensAtIE( internal_temperature_change(123, bus, cold), 6484) ),
assertz( happensAtIE( internal_temperature_change(123, bus, cold), 6493) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_warm), 6503) ),
assertz( happensAtIE( internal_temperature_change(125, bus, very_warm), 6513) ),
assertz( happensAtIE( internal_temperature_change(126, bus, very_warm), 6515) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_cold), 6522) ),
assertz( happensAtIE( internal_temperature_change(127, bus, cold), 6530) ),
assertz( happensAtIE( internal_temperature_change(128, bus, very_cold), 6541) ),
assertz( happensAtIE( internal_temperature_change(129, bus, very_warm), 6547) ),
assertz( happensAtIE( internal_temperature_change(130, bus, very_warm), 6560) ),
assertz( happensAtIE( internal_temperature_change(131, bus, cold), 6567) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 6571) ),
assertz( happensAtIE( internal_temperature_change(132, bus, very_warm), 6580) ),
assertz( happensAtIE( internal_temperature_change(133, bus, normal), 6589) ),
assertz( happensAtIE( internal_temperature_change(134, bus, very_cold), 6600) ),
assertz( happensAtIE( internal_temperature_change(135, bus, cold), 6607) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_cold), 6612) ),
assertz( happensAtIE( internal_temperature_change(136, bus, very_warm), 6625) ),
assertz( happensAtIE( internal_temperature_change(137, bus, normal), 6627) ),
assertz( happensAtIE( internal_temperature_change(138, bus, very_cold), 6637) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_cold), 6643) ),
assertz( happensAtIE( internal_temperature_change(139, bus, cold), 6651) ),
assertz( happensAtIE( internal_temperature_change(140, bus, normal), 6659) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_warm), 6668) ),
assertz( happensAtIE( internal_temperature_change(142, bus, normal), 6679) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 6686) ),
assertz( happensAtIE( internal_temperature_change(143, bus, very_cold), 6695) ),
assertz( happensAtIE( internal_temperature_change(144, bus, cold), 6705) ),
assertz( happensAtIE( internal_temperature_change(145, bus, very_warm), 6712) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_warm), 6718) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 6724) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 6735) ),
assertz( happensAtIE( internal_temperature_change(148, bus, warm), 6745) ),
assertz( happensAtIE( internal_temperature_change(149, bus, normal), 6750) ),
assertz( happensAtIE( internal_temperature_change(150, bus, cold), 6760) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 6767) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 6773) ),
assertz( happensAtIE( internal_temperature_change(152, bus, very_cold), 6779) ),
assertz( happensAtIE( internal_temperature_change(153, bus, normal), 6790) ),
assertz( happensAtIE( internal_temperature_change(154, bus, warm), 6800) ),
assertz( happensAtIE( internal_temperature_change(155, bus, cold), 6806) ),
assertz( happensAtIE( internal_temperature_change(155, bus, warm), 6817) ),
assertz( happensAtIE( internal_temperature_change(156, bus, warm), 6824) ),
assertz( happensAtIE( internal_temperature_change(157, bus, cold), 6829) ),
assertz( happensAtIE( internal_temperature_change(158, bus, normal), 6836) ),
assertz( happensAtIE( internal_temperature_change(159, bus, warm), 6847) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 6853) ),
assertz( happensAtIE( internal_temperature_change(160, bus, normal), 6861) ),
assertz( happensAtIE( internal_temperature_change(161, bus, cold), 6872) ),
assertz( happensAtIE( internal_temperature_change(162, bus, very_warm), 6881) ),
assertz( happensAtIE( internal_temperature_change(163, bus, very_cold), 6884) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 6890) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_cold), 6899) ),
assertz( happensAtIE( internal_temperature_change(165, bus, normal), 6910) ),
assertz( happensAtIE( internal_temperature_change(166, bus, very_warm), 6915) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_warm), 6928) ),
assertz( happensAtIE( internal_temperature_change(167, bus, cold), 6935) ),
assertz( happensAtIE( internal_temperature_change(168, bus, cold), 6938) ),
assertz( happensAtIE( internal_temperature_change(169, bus, very_cold), 6947) ),
assertz( happensAtIE( internal_temperature_change(170, bus, cold), 6954) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 6964) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 6972) ),
assertz( happensAtIE( internal_temperature_change(172, bus, normal), 6985) ),
assertz( happensAtIE( internal_temperature_change(173, bus, warm), 6992) ),
assertz( happensAtIE( internal_temperature_change(174, bus, cold), 6994) ).
