 
updateSDE( internal_temperature_change, '1p_all', 15000, 16000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, very_warm), 15007) ),
assertz( happensAtIE( internal_temperature_change(75, bus, cold), 15016) ),
assertz( happensAtIE( internal_temperature_change(76, bus, warm), 15025) ),
assertz( happensAtIE( internal_temperature_change(77, bus, warm), 15027) ),
assertz( happensAtIE( internal_temperature_change(78, bus, very_warm), 15037) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_warm), 15044) ),
assertz( happensAtIE( internal_temperature_change(79, bus, cold), 15055) ),
assertz( happensAtIE( internal_temperature_change(80, bus, normal), 15061) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_cold), 15067) ),
assertz( happensAtIE( internal_temperature_change(82, bus, warm), 15081) ),
assertz( happensAtIE( internal_temperature_change(83, bus, normal), 15084) ),
assertz( happensAtIE( internal_temperature_change(83, bus, warm), 15097) ),
assertz( happensAtIE( internal_temperature_change(84, bus, very_cold), 15099) ),
assertz( happensAtIE( internal_temperature_change(85, bus, very_cold), 15109) ),
assertz( happensAtIE( internal_temperature_change(86, bus, cold), 15116) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_warm), 15129) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 15136) ),
assertz( happensAtIE( internal_temperature_change(88, bus, warm), 15138) ),
assertz( happensAtIE( internal_temperature_change(89, bus, normal), 15148) ),
assertz( happensAtIE( internal_temperature_change(90, bus, normal), 15155) ),
assertz( happensAtIE( internal_temperature_change(91, bus, warm), 15165) ),
assertz( happensAtIE( internal_temperature_change(91, bus, cold), 15172) ),
assertz( happensAtIE( internal_temperature_change(92, bus, normal), 15178) ),
assertz( happensAtIE( internal_temperature_change(93, bus, warm), 15193) ),
assertz( happensAtIE( internal_temperature_change(94, bus, cold), 15195) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_cold), 15208) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_cold), 15211) ),
assertz( happensAtIE( internal_temperature_change(96, bus, warm), 15220) ),
assertz( happensAtIE( internal_temperature_change(97, bus, very_cold), 15227) ),
assertz( happensAtIE( internal_temperature_change(98, bus, very_warm), 15238) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_cold), 15247) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_cold), 15257) ),
assertz( happensAtIE( internal_temperature_change(100, bus, normal), 15264) ),
assertz( happensAtIE( internal_temperature_change(101, bus, cold), 15266) ),
assertz( happensAtIE( internal_temperature_change(102, bus, very_cold), 15277) ),
assertz( happensAtIE( internal_temperature_change(103, bus, normal), 15286) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_cold), 15296) ),
assertz( happensAtIE( internal_temperature_change(104, bus, warm), 15303) ),
assertz( happensAtIE( internal_temperature_change(105, bus, warm), 15310) ),
assertz( happensAtIE( internal_temperature_change(106, bus, cold), 15320) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 15327) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_cold), 15330) ),
assertz( happensAtIE( internal_temperature_change(108, bus, cold), 15339) ),
assertz( happensAtIE( internal_temperature_change(109, bus, normal), 15350) ),
assertz( happensAtIE( internal_temperature_change(110, bus, warm), 15356) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 15366) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_warm), 15377) ),
assertz( happensAtIE( internal_temperature_change(112, bus, warm), 15384) ),
assertz( happensAtIE( internal_temperature_change(113, bus, normal), 15389) ),
assertz( happensAtIE( internal_temperature_change(114, bus, very_warm), 15396) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_cold), 15406) ),
assertz( happensAtIE( internal_temperature_change(115, bus, cold), 15416) ),
assertz( happensAtIE( internal_temperature_change(116, bus, cold), 15420) ),
assertz( happensAtIE( internal_temperature_change(117, bus, normal), 15430) ),
assertz( happensAtIE( internal_temperature_change(118, bus, cold), 15440) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_warm), 15443) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 15450) ),
assertz( happensAtIE( internal_temperature_change(120, bus, very_warm), 15459) ),
assertz( happensAtIE( internal_temperature_change(121, bus, warm), 15470) ),
assertz( happensAtIE( internal_temperature_change(122, bus, cold), 15476) ),
assertz( happensAtIE( internal_temperature_change(123, bus, normal), 15489) ),
assertz( happensAtIE( internal_temperature_change(123, bus, cold), 15497) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_cold), 15500) ),
assertz( happensAtIE( internal_temperature_change(125, bus, very_warm), 15506) ),
assertz( happensAtIE( internal_temperature_change(126, bus, very_cold), 15516) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 15526) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_warm), 15530) ),
assertz( happensAtIE( internal_temperature_change(128, bus, very_warm), 15544) ),
assertz( happensAtIE( internal_temperature_change(129, bus, normal), 15550) ),
assertz( happensAtIE( internal_temperature_change(130, bus, cold), 15561) ),
assertz( happensAtIE( internal_temperature_change(131, bus, normal), 15563) ),
assertz( happensAtIE( internal_temperature_change(131, bus, cold), 15570) ),
assertz( happensAtIE( internal_temperature_change(132, bus, very_warm), 15580) ),
assertz( happensAtIE( internal_temperature_change(133, bus, warm), 15590) ),
assertz( happensAtIE( internal_temperature_change(134, bus, very_warm), 15600) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_cold), 15607) ),
assertz( happensAtIE( internal_temperature_change(135, bus, normal), 15610) ),
assertz( happensAtIE( internal_temperature_change(136, bus, very_warm), 15619) ),
assertz( happensAtIE( internal_temperature_change(137, bus, very_warm), 15626) ),
assertz( happensAtIE( internal_temperature_change(138, bus, normal), 15636) ),
assertz( happensAtIE( internal_temperature_change(139, bus, cold), 15644) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 15654) ),
assertz( happensAtIE( internal_temperature_change(140, bus, warm), 15661) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_cold), 15671) ),
assertz( happensAtIE( internal_temperature_change(142, bus, cold), 15681) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 15688) ),
assertz( happensAtIE( internal_temperature_change(143, bus, very_cold), 15693) ),
assertz( happensAtIE( internal_temperature_change(144, bus, normal), 15700) ),
assertz( happensAtIE( internal_temperature_change(145, bus, very_warm), 15711) ),
assertz( happensAtIE( internal_temperature_change(146, bus, cold), 15720) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 15727) ),
assertz( happensAtIE( internal_temperature_change(147, bus, cold), 15730) ),
assertz( happensAtIE( internal_temperature_change(148, bus, very_cold), 15744) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_warm), 15750) ),
assertz( happensAtIE( internal_temperature_change(150, bus, warm), 15755) ),
assertz( happensAtIE( internal_temperature_change(151, bus, warm), 15765) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_cold), 15775) ),
assertz( happensAtIE( internal_temperature_change(152, bus, warm), 15782) ),
assertz( happensAtIE( internal_temperature_change(153, bus, very_cold), 15792) ),
assertz( happensAtIE( internal_temperature_change(154, bus, very_warm), 15794) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_cold), 15804) ),
assertz( happensAtIE( internal_temperature_change(155, bus, warm), 15811) ),
assertz( happensAtIE( internal_temperature_change(156, bus, cold), 15820) ),
assertz( happensAtIE( internal_temperature_change(157, bus, normal), 15831) ),
assertz( happensAtIE( internal_temperature_change(158, bus, very_cold), 15838) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 15843) ),
assertz( happensAtIE( internal_temperature_change(159, bus, normal), 15850) ),
assertz( happensAtIE( internal_temperature_change(160, bus, normal), 15858) ),
assertz( happensAtIE( internal_temperature_change(161, bus, very_cold), 15872) ),
assertz( happensAtIE( internal_temperature_change(162, bus, very_warm), 15877) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 15884) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 15893) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_cold), 15904) ),
assertz( happensAtIE( internal_temperature_change(165, bus, warm), 15911) ),
assertz( happensAtIE( internal_temperature_change(166, bus, very_warm), 15916) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_warm), 15929) ),
assertz( happensAtIE( internal_temperature_change(167, bus, normal), 15931) ),
assertz( happensAtIE( internal_temperature_change(168, bus, very_warm), 15941) ),
assertz( happensAtIE( internal_temperature_change(169, bus, normal), 15948) ),
assertz( happensAtIE( internal_temperature_change(170, bus, normal), 15958) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_warm), 15967) ),
assertz( happensAtIE( internal_temperature_change(171, bus, cold), 15970) ),
assertz( happensAtIE( internal_temperature_change(172, bus, very_warm), 15985) ),
assertz( happensAtIE( internal_temperature_change(173, bus, warm), 15986) ),
assertz( happensAtIE( internal_temperature_change(174, bus, very_warm), 15996) ).
