 
updateSDE( internal_temperature_change, '1p_all', 33000, 34000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, normal), 33002) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_warm), 33010) ),
assertz( happensAtIE( internal_temperature_change(76, bus, very_cold), 33021) ),
assertz( happensAtIE( internal_temperature_change(77, bus, very_cold), 33028) ),
assertz( happensAtIE( internal_temperature_change(78, bus, normal), 33037) ),
assertz( happensAtIE( internal_temperature_change(79, bus, normal), 33048) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_cold), 33054) ),
assertz( happensAtIE( internal_temperature_change(80, bus, very_warm), 33060) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_warm), 33067) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_warm), 33077) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 33087) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 33091) ),
assertz( happensAtIE( internal_temperature_change(84, bus, cold), 33102) ),
assertz( happensAtIE( internal_temperature_change(85, bus, cold), 33111) ),
assertz( happensAtIE( internal_temperature_change(86, bus, very_cold), 33114) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 33128) ),
assertz( happensAtIE( internal_temperature_change(87, bus, cold), 33130) ),
assertz( happensAtIE( internal_temperature_change(88, bus, very_warm), 33141) ),
assertz( happensAtIE( internal_temperature_change(89, bus, very_warm), 33147) ),
assertz( happensAtIE( internal_temperature_change(90, bus, cold), 33161) ),
assertz( happensAtIE( internal_temperature_change(91, bus, normal), 33168) ),
assertz( happensAtIE( internal_temperature_change(91, bus, cold), 33170) ),
assertz( happensAtIE( internal_temperature_change(92, bus, very_cold), 33185) ),
assertz( happensAtIE( internal_temperature_change(93, bus, very_cold), 33187) ),
assertz( happensAtIE( internal_temperature_change(94, bus, cold), 33197) ),
assertz( happensAtIE( internal_temperature_change(95, bus, cold), 33202) ),
assertz( happensAtIE( internal_temperature_change(95, bus, normal), 33213) ),
assertz( happensAtIE( internal_temperature_change(96, bus, warm), 33223) ),
assertz( happensAtIE( internal_temperature_change(97, bus, warm), 33233) ),
assertz( happensAtIE( internal_temperature_change(98, bus, normal), 33240) ),
assertz( happensAtIE( internal_temperature_change(99, bus, cold), 33242) ),
assertz( happensAtIE( internal_temperature_change(99, bus, normal), 33252) ),
assertz( happensAtIE( internal_temperature_change(100, bus, very_warm), 33259) ),
assertz( happensAtIE( internal_temperature_change(101, bus, cold), 33270) ),
assertz( happensAtIE( internal_temperature_change(102, bus, cold), 33279) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_cold), 33289) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_warm), 33296) ),
assertz( happensAtIE( internal_temperature_change(104, bus, warm), 33299) ),
assertz( happensAtIE( internal_temperature_change(105, bus, normal), 33308) ),
assertz( happensAtIE( internal_temperature_change(106, bus, cold), 33321) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 33323) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_cold), 33331) ),
assertz( happensAtIE( internal_temperature_change(108, bus, very_cold), 33344) ),
assertz( happensAtIE( internal_temperature_change(109, bus, cold), 33350) ),
assertz( happensAtIE( internal_temperature_change(110, bus, warm), 33360) ),
assertz( happensAtIE( internal_temperature_change(111, bus, warm), 33363) ),
assertz( happensAtIE( internal_temperature_change(111, bus, cold), 33377) ),
assertz( happensAtIE( internal_temperature_change(112, bus, very_cold), 33380) ),
assertz( happensAtIE( internal_temperature_change(113, bus, warm), 33390) ),
assertz( happensAtIE( internal_temperature_change(114, bus, very_cold), 33401) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_warm), 33407) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_warm), 33417) ),
assertz( happensAtIE( internal_temperature_change(116, bus, normal), 33419) ),
assertz( happensAtIE( internal_temperature_change(117, bus, warm), 33432) ),
assertz( happensAtIE( internal_temperature_change(118, bus, normal), 33437) ),
assertz( happensAtIE( internal_temperature_change(119, bus, warm), 33444) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 33455) ),
assertz( happensAtIE( internal_temperature_change(120, bus, warm), 33462) ),
assertz( happensAtIE( internal_temperature_change(121, bus, very_cold), 33471) ),
assertz( happensAtIE( internal_temperature_change(122, bus, warm), 33481) ),
assertz( happensAtIE( internal_temperature_change(123, bus, cold), 33482) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 33493) ),
assertz( happensAtIE( internal_temperature_change(124, bus, warm), 33502) ),
assertz( happensAtIE( internal_temperature_change(125, bus, cold), 33509) ),
assertz( happensAtIE( internal_temperature_change(126, bus, cold), 33519) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 33529) ),
assertz( happensAtIE( internal_temperature_change(127, bus, warm), 33532) ),
assertz( happensAtIE( internal_temperature_change(128, bus, very_cold), 33545) ),
assertz( happensAtIE( internal_temperature_change(129, bus, very_warm), 33547) ),
assertz( happensAtIE( internal_temperature_change(130, bus, cold), 33557) ),
assertz( happensAtIE( internal_temperature_change(131, bus, cold), 33564) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 33574) ),
assertz( happensAtIE( internal_temperature_change(132, bus, warm), 33581) ),
assertz( happensAtIE( internal_temperature_change(133, bus, very_cold), 33587) ),
assertz( happensAtIE( internal_temperature_change(134, bus, warm), 33601) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_warm), 33604) ),
assertz( happensAtIE( internal_temperature_change(135, bus, normal), 33613) ),
assertz( happensAtIE( internal_temperature_change(136, bus, normal), 33620) ),
assertz( happensAtIE( internal_temperature_change(137, bus, very_cold), 33631) ),
assertz( happensAtIE( internal_temperature_change(138, bus, warm), 33638) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_cold), 33643) ),
assertz( happensAtIE( internal_temperature_change(139, bus, normal), 33656) ),
assertz( happensAtIE( internal_temperature_change(140, bus, very_warm), 33659) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_warm), 33673) ),
assertz( happensAtIE( internal_temperature_change(142, bus, very_cold), 33675) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 33685) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 33692) ),
assertz( happensAtIE( internal_temperature_change(144, bus, very_warm), 33698) ),
assertz( happensAtIE( internal_temperature_change(145, bus, cold), 33712) ),
assertz( happensAtIE( internal_temperature_change(146, bus, warm), 33715) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 33722) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 33732) ),
assertz( happensAtIE( internal_temperature_change(148, bus, warm), 33742) ),
assertz( happensAtIE( internal_temperature_change(149, bus, normal), 33749) ),
assertz( happensAtIE( internal_temperature_change(150, bus, warm), 33760) ),
assertz( happensAtIE( internal_temperature_change(151, bus, warm), 33767) ),
assertz( happensAtIE( internal_temperature_change(151, bus, normal), 33770) ),
assertz( happensAtIE( internal_temperature_change(152, bus, normal), 33785) ),
assertz( happensAtIE( internal_temperature_change(153, bus, normal), 33787) ),
assertz( happensAtIE( internal_temperature_change(154, bus, very_cold), 33797) ),
assertz( happensAtIE( internal_temperature_change(155, bus, normal), 33804) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_cold), 33814) ),
assertz( happensAtIE( internal_temperature_change(156, bus, cold), 33821) ),
assertz( happensAtIE( internal_temperature_change(157, bus, cold), 33827) ),
assertz( happensAtIE( internal_temperature_change(158, bus, normal), 33834) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 33844) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 33851) ),
assertz( happensAtIE( internal_temperature_change(160, bus, warm), 33860) ),
assertz( happensAtIE( internal_temperature_change(161, bus, normal), 33869) ),
assertz( happensAtIE( internal_temperature_change(162, bus, warm), 33879) ),
assertz( happensAtIE( internal_temperature_change(163, bus, very_cold), 33886) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 33897) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_cold), 33899) ),
assertz( happensAtIE( internal_temperature_change(165, bus, very_cold), 33913) ),
assertz( happensAtIE( internal_temperature_change(166, bus, very_cold), 33916) ),
assertz( happensAtIE( internal_temperature_change(167, bus, warm), 33926) ),
assertz( happensAtIE( internal_temperature_change(167, bus, warm), 33936) ),
assertz( happensAtIE( internal_temperature_change(168, bus, normal), 33941) ),
assertz( happensAtIE( internal_temperature_change(169, bus, normal), 33952) ),
assertz( happensAtIE( internal_temperature_change(170, bus, very_cold), 33961) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_cold), 33968) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_cold), 33970) ),
assertz( happensAtIE( internal_temperature_change(172, bus, very_warm), 33980) ),
assertz( happensAtIE( internal_temperature_change(173, bus, warm), 33990) ),
assertz( happensAtIE( internal_temperature_change(174, bus, very_cold), 33996) ).
