 
updateSDE( internal_temperature_change, '1p_all', 36000, 37000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 36004) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 36013) ),
assertz( happensAtIE( internal_temperature_change(76, bus, cold), 36018) ),
assertz( happensAtIE( internal_temperature_change(77, bus, warm), 36032) ),
assertz( happensAtIE( internal_temperature_change(78, bus, warm), 36035) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 36045) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 36050) ),
assertz( happensAtIE( internal_temperature_change(80, bus, cold), 36060) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_warm), 36067) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_cold), 36081) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 36087) ),
assertz( happensAtIE( internal_temperature_change(83, bus, warm), 36097) ),
assertz( happensAtIE( internal_temperature_change(84, bus, warm), 36099) ),
assertz( happensAtIE( internal_temperature_change(85, bus, cold), 36106) ),
assertz( happensAtIE( internal_temperature_change(86, bus, normal), 36117) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_warm), 36123) ),
assertz( happensAtIE( internal_temperature_change(87, bus, warm), 36137) ),
assertz( happensAtIE( internal_temperature_change(88, bus, warm), 36144) ),
assertz( happensAtIE( internal_temperature_change(89, bus, very_cold), 36146) ),
assertz( happensAtIE( internal_temperature_change(90, bus, cold), 36154) ),
assertz( happensAtIE( internal_temperature_change(91, bus, normal), 36168) ),
assertz( happensAtIE( internal_temperature_change(91, bus, warm), 36171) ),
assertz( happensAtIE( internal_temperature_change(92, bus, cold), 36178) ),
assertz( happensAtIE( internal_temperature_change(93, bus, very_cold), 36188) ),
assertz( happensAtIE( internal_temperature_change(94, bus, cold), 36198) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_cold), 36209) ),
assertz( happensAtIE( internal_temperature_change(95, bus, normal), 36215) ),
assertz( happensAtIE( internal_temperature_change(96, bus, warm), 36225) ),
assertz( happensAtIE( internal_temperature_change(97, bus, normal), 36227) ),
assertz( happensAtIE( internal_temperature_change(98, bus, warm), 36234) ),
assertz( happensAtIE( internal_temperature_change(99, bus, normal), 36245) ),
assertz( happensAtIE( internal_temperature_change(99, bus, warm), 36252) ),
assertz( happensAtIE( internal_temperature_change(100, bus, cold), 36258) ),
assertz( happensAtIE( internal_temperature_change(101, bus, very_warm), 36272) ),
assertz( happensAtIE( internal_temperature_change(102, bus, very_warm), 36275) ),
assertz( happensAtIE( internal_temperature_change(103, bus, cold), 36282) ),
assertz( happensAtIE( internal_temperature_change(103, bus, warm), 36297) ),
assertz( happensAtIE( internal_temperature_change(104, bus, warm), 36299) ),
assertz( happensAtIE( internal_temperature_change(105, bus, cold), 36309) ),
assertz( happensAtIE( internal_temperature_change(106, bus, normal), 36319) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 36326) ),
assertz( happensAtIE( internal_temperature_change(107, bus, cold), 36337) ),
assertz( happensAtIE( internal_temperature_change(108, bus, normal), 36339) ),
assertz( happensAtIE( internal_temperature_change(109, bus, warm), 36353) ),
assertz( happensAtIE( internal_temperature_change(110, bus, very_cold), 36356) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 36363) ),
assertz( happensAtIE( internal_temperature_change(111, bus, normal), 36377) ),
assertz( happensAtIE( internal_temperature_change(112, bus, very_cold), 36383) ),
assertz( happensAtIE( internal_temperature_change(113, bus, cold), 36386) ),
assertz( happensAtIE( internal_temperature_change(114, bus, normal), 36401) ),
assertz( happensAtIE( internal_temperature_change(115, bus, warm), 36407) ),
assertz( happensAtIE( internal_temperature_change(115, bus, warm), 36410) ),
assertz( happensAtIE( internal_temperature_change(116, bus, cold), 36420) ),
assertz( happensAtIE( internal_temperature_change(117, bus, normal), 36430) ),
assertz( happensAtIE( internal_temperature_change(118, bus, normal), 36437) ),
assertz( happensAtIE( internal_temperature_change(119, bus, cold), 36448) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 36457) ),
assertz( happensAtIE( internal_temperature_change(120, bus, warm), 36464) ),
assertz( happensAtIE( internal_temperature_change(121, bus, warm), 36467) ),
assertz( happensAtIE( internal_temperature_change(122, bus, very_cold), 36474) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_warm), 36487) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 36494) ),
assertz( happensAtIE( internal_temperature_change(124, bus, cold), 36501) ),
assertz( happensAtIE( internal_temperature_change(125, bus, very_warm), 36512) ),
assertz( happensAtIE( internal_temperature_change(126, bus, very_warm), 36519) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 36524) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 36530) ),
assertz( happensAtIE( internal_temperature_change(128, bus, very_cold), 36541) ),
assertz( happensAtIE( internal_temperature_change(129, bus, cold), 36550) ),
assertz( happensAtIE( internal_temperature_change(130, bus, warm), 36557) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 36568) ),
assertz( happensAtIE( internal_temperature_change(131, bus, warm), 36577) ),
assertz( happensAtIE( internal_temperature_change(132, bus, normal), 36580) ),
assertz( happensAtIE( internal_temperature_change(133, bus, very_warm), 36587) ),
assertz( happensAtIE( internal_temperature_change(134, bus, normal), 36596) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_cold), 36607) ),
assertz( happensAtIE( internal_temperature_change(135, bus, warm), 36612) ),
assertz( happensAtIE( internal_temperature_change(136, bus, normal), 36625) ),
assertz( happensAtIE( internal_temperature_change(137, bus, cold), 36632) ),
assertz( happensAtIE( internal_temperature_change(138, bus, very_warm), 36634) ),
assertz( happensAtIE( internal_temperature_change(139, bus, cold), 36643) ),
assertz( happensAtIE( internal_temperature_change(139, bus, warm), 36651) ),
assertz( happensAtIE( internal_temperature_change(140, bus, warm), 36661) ),
assertz( happensAtIE( internal_temperature_change(141, bus, warm), 36668) ),
assertz( happensAtIE( internal_temperature_change(142, bus, very_cold), 36681) ),
assertz( happensAtIE( internal_temperature_change(143, bus, normal), 36688) ),
assertz( happensAtIE( internal_temperature_change(143, bus, very_cold), 36690) ),
assertz( happensAtIE( internal_temperature_change(144, bus, normal), 36700) ),
assertz( happensAtIE( internal_temperature_change(145, bus, warm), 36706) ),
assertz( happensAtIE( internal_temperature_change(146, bus, warm), 36717) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 36725) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_cold), 36735) ),
assertz( happensAtIE( internal_temperature_change(148, bus, very_cold), 36742) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_cold), 36752) ),
assertz( happensAtIE( internal_temperature_change(150, bus, cold), 36754) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 36769) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_cold), 36774) ),
assertz( happensAtIE( internal_temperature_change(152, bus, normal), 36781) ),
assertz( happensAtIE( internal_temperature_change(153, bus, normal), 36792) ),
assertz( happensAtIE( internal_temperature_change(154, bus, warm), 36801) ),
assertz( happensAtIE( internal_temperature_change(155, bus, normal), 36808) ),
assertz( happensAtIE( internal_temperature_change(155, bus, cold), 36810) ),
assertz( happensAtIE( internal_temperature_change(156, bus, cold), 36825) ),
assertz( happensAtIE( internal_temperature_change(157, bus, very_cold), 36831) ),
assertz( happensAtIE( internal_temperature_change(158, bus, warm), 36836) ),
assertz( happensAtIE( internal_temperature_change(159, bus, warm), 36846) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 36853) ),
assertz( happensAtIE( internal_temperature_change(160, bus, very_warm), 36862) ),
assertz( happensAtIE( internal_temperature_change(161, bus, cold), 36872) ),
assertz( happensAtIE( internal_temperature_change(162, bus, cold), 36881) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 36884) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 36896) ),
assertz( happensAtIE( internal_temperature_change(164, bus, cold), 36902) ),
assertz( happensAtIE( internal_temperature_change(165, bus, very_warm), 36909) ),
assertz( happensAtIE( internal_temperature_change(166, bus, warm), 36917) ),
assertz( happensAtIE( internal_temperature_change(167, bus, cold), 36928) ),
assertz( happensAtIE( internal_temperature_change(167, bus, normal), 36935) ),
assertz( happensAtIE( internal_temperature_change(168, bus, warm), 36940) ),
assertz( happensAtIE( internal_temperature_change(169, bus, warm), 36947) ),
assertz( happensAtIE( internal_temperature_change(170, bus, warm), 36957) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_cold), 36967) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 36974) ),
assertz( happensAtIE( internal_temperature_change(172, bus, normal), 36985) ),
assertz( happensAtIE( internal_temperature_change(173, bus, normal), 36992) ),
assertz( happensAtIE( internal_temperature_change(174, bus, very_warm), 36994) ).
