 
updateSDE( internal_temperature_change, '1p_all', 48000, 49000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, warm), 48002) ),
assertz( happensAtIE( internal_temperature_change(75, bus, normal), 48012) ),
assertz( happensAtIE( internal_temperature_change(76, bus, very_cold), 48021) ),
assertz( happensAtIE( internal_temperature_change(77, bus, warm), 48031) ),
assertz( happensAtIE( internal_temperature_change(78, bus, very_cold), 48041) ),
assertz( happensAtIE( internal_temperature_change(79, bus, normal), 48047) ),
assertz( happensAtIE( internal_temperature_change(79, bus, cold), 48050) ),
assertz( happensAtIE( internal_temperature_change(80, bus, very_cold), 48058) ),
assertz( happensAtIE( internal_temperature_change(81, bus, normal), 48068) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_cold), 48075) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 48084) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 48095) ),
assertz( happensAtIE( internal_temperature_change(84, bus, normal), 48102) ),
assertz( happensAtIE( internal_temperature_change(85, bus, very_warm), 48107) ),
assertz( happensAtIE( internal_temperature_change(86, bus, cold), 48114) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_warm), 48124) ),
assertz( happensAtIE( internal_temperature_change(87, bus, warm), 48133) ),
assertz( happensAtIE( internal_temperature_change(88, bus, cold), 48140) ),
assertz( happensAtIE( internal_temperature_change(89, bus, very_warm), 48151) ),
assertz( happensAtIE( internal_temperature_change(90, bus, warm), 48160) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 48163) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 48175) ),
assertz( happensAtIE( internal_temperature_change(92, bus, cold), 48184) ),
assertz( happensAtIE( internal_temperature_change(93, bus, very_warm), 48187) ),
assertz( happensAtIE( internal_temperature_change(94, bus, very_warm), 48194) ),
assertz( happensAtIE( internal_temperature_change(95, bus, warm), 48207) ),
assertz( happensAtIE( internal_temperature_change(95, bus, warm), 48214) ),
assertz( happensAtIE( internal_temperature_change(96, bus, warm), 48224) ),
assertz( happensAtIE( internal_temperature_change(97, bus, cold), 48226) ),
assertz( happensAtIE( internal_temperature_change(98, bus, normal), 48241) ),
assertz( happensAtIE( internal_temperature_change(99, bus, normal), 48243) ),
assertz( happensAtIE( internal_temperature_change(99, bus, normal), 48250) ),
assertz( happensAtIE( internal_temperature_change(100, bus, very_warm), 48263) ),
assertz( happensAtIE( internal_temperature_change(101, bus, cold), 48271) ),
assertz( happensAtIE( internal_temperature_change(102, bus, warm), 48281) ),
assertz( happensAtIE( internal_temperature_change(103, bus, cold), 48288) ),
assertz( happensAtIE( internal_temperature_change(103, bus, normal), 48295) ),
assertz( happensAtIE( internal_temperature_change(104, bus, warm), 48298) ),
assertz( happensAtIE( internal_temperature_change(105, bus, very_warm), 48313) ),
assertz( happensAtIE( internal_temperature_change(106, bus, normal), 48318) ),
assertz( happensAtIE( internal_temperature_change(107, bus, cold), 48325) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_warm), 48336) ),
assertz( happensAtIE( internal_temperature_change(108, bus, very_warm), 48345) ),
assertz( happensAtIE( internal_temperature_change(109, bus, normal), 48352) ),
assertz( happensAtIE( internal_temperature_change(110, bus, normal), 48354) ),
assertz( happensAtIE( internal_temperature_change(111, bus, normal), 48364) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_warm), 48374) ),
assertz( happensAtIE( internal_temperature_change(112, bus, warm), 48381) ),
assertz( happensAtIE( internal_temperature_change(113, bus, warm), 48392) ),
assertz( happensAtIE( internal_temperature_change(114, bus, cold), 48399) ),
assertz( happensAtIE( internal_temperature_change(115, bus, normal), 48406) ),
assertz( happensAtIE( internal_temperature_change(115, bus, normal), 48417) ),
assertz( happensAtIE( internal_temperature_change(116, bus, very_warm), 48418) ),
assertz( happensAtIE( internal_temperature_change(117, bus, normal), 48428) ),
assertz( happensAtIE( internal_temperature_change(118, bus, warm), 48435) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_warm), 48445) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_warm), 48455) ),
assertz( happensAtIE( internal_temperature_change(120, bus, very_warm), 48462) ),
assertz( happensAtIE( internal_temperature_change(121, bus, cold), 48467) ),
assertz( happensAtIE( internal_temperature_change(122, bus, very_warm), 48474) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 48483) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_warm), 48494) ),
assertz( happensAtIE( internal_temperature_change(124, bus, normal), 48498) ),
assertz( happensAtIE( internal_temperature_change(125, bus, normal), 48512) ),
assertz( happensAtIE( internal_temperature_change(126, bus, very_warm), 48519) ),
assertz( happensAtIE( internal_temperature_change(127, bus, cold), 48529) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 48531) ),
assertz( happensAtIE( internal_temperature_change(128, bus, warm), 48545) ),
assertz( happensAtIE( internal_temperature_change(129, bus, very_cold), 48548) ),
assertz( happensAtIE( internal_temperature_change(130, bus, normal), 48557) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_cold), 48568) ),
assertz( happensAtIE( internal_temperature_change(131, bus, warm), 48575) ),
assertz( happensAtIE( internal_temperature_change(132, bus, cold), 48585) ),
assertz( happensAtIE( internal_temperature_change(133, bus, cold), 48587) ),
assertz( happensAtIE( internal_temperature_change(134, bus, cold), 48601) ),
assertz( happensAtIE( internal_temperature_change(135, bus, warm), 48604) ),
assertz( happensAtIE( internal_temperature_change(135, bus, normal), 48612) ),
assertz( happensAtIE( internal_temperature_change(136, bus, cold), 48623) ),
assertz( happensAtIE( internal_temperature_change(137, bus, normal), 48629) ),
assertz( happensAtIE( internal_temperature_change(138, bus, very_cold), 48640) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 48649) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 48656) ),
assertz( happensAtIE( internal_temperature_change(140, bus, warm), 48661) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_cold), 48668) ),
assertz( happensAtIE( internal_temperature_change(142, bus, warm), 48679) ),
assertz( happensAtIE( internal_temperature_change(143, bus, very_cold), 48688) ),
assertz( happensAtIE( internal_temperature_change(143, bus, very_warm), 48695) ),
assertz( happensAtIE( internal_temperature_change(144, bus, cold), 48700) ),
assertz( happensAtIE( internal_temperature_change(145, bus, normal), 48706) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_warm), 48717) ),
assertz( happensAtIE( internal_temperature_change(147, bus, cold), 48725) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 48731) ),
assertz( happensAtIE( internal_temperature_change(148, bus, normal), 48742) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_cold), 48751) ),
assertz( happensAtIE( internal_temperature_change(150, bus, cold), 48754) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_cold), 48763) ),
assertz( happensAtIE( internal_temperature_change(151, bus, normal), 48770) ),
assertz( happensAtIE( internal_temperature_change(152, bus, warm), 48780) ),
assertz( happensAtIE( internal_temperature_change(153, bus, warm), 48790) ),
assertz( happensAtIE( internal_temperature_change(154, bus, warm), 48800) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_warm), 48807) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_cold), 48816) ),
assertz( happensAtIE( internal_temperature_change(156, bus, very_cold), 48819) ),
assertz( happensAtIE( internal_temperature_change(157, bus, cold), 48831) ),
assertz( happensAtIE( internal_temperature_change(158, bus, warm), 48837) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 48844) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 48854) ),
assertz( happensAtIE( internal_temperature_change(160, bus, cold), 48863) ),
assertz( happensAtIE( internal_temperature_change(161, bus, cold), 48873) ),
assertz( happensAtIE( internal_temperature_change(162, bus, warm), 48876) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 48888) ),
assertz( happensAtIE( internal_temperature_change(163, bus, very_warm), 48891) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_warm), 48900) ),
assertz( happensAtIE( internal_temperature_change(165, bus, very_cold), 48907) ),
assertz( happensAtIE( internal_temperature_change(166, bus, cold), 48918) ),
assertz( happensAtIE( internal_temperature_change(167, bus, warm), 48927) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_cold), 48930) ),
assertz( happensAtIE( internal_temperature_change(168, bus, normal), 48944) ),
assertz( happensAtIE( internal_temperature_change(169, bus, very_cold), 48946) ),
assertz( happensAtIE( internal_temperature_change(170, bus, very_cold), 48957) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 48963) ),
assertz( happensAtIE( internal_temperature_change(171, bus, cold), 48974) ),
assertz( happensAtIE( internal_temperature_change(172, bus, warm), 48983) ),
assertz( happensAtIE( internal_temperature_change(173, bus, cold), 48986) ),
assertz( happensAtIE( internal_temperature_change(174, bus, cold), 48998) ).
