 
updateSDE( internal_temperature_change, '1p_all', 22000, 23000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, cold), 22007) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 22016) ),
assertz( happensAtIE( internal_temperature_change(76, bus, very_warm), 22025) ),
assertz( happensAtIE( internal_temperature_change(77, bus, very_cold), 22027) ),
assertz( happensAtIE( internal_temperature_change(78, bus, normal), 22037) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 22044) ),
assertz( happensAtIE( internal_temperature_change(79, bus, normal), 22054) ),
assertz( happensAtIE( internal_temperature_change(80, bus, normal), 22065) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_cold), 22072) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_warm), 22074) ),
assertz( happensAtIE( internal_temperature_change(83, bus, normal), 22082) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_warm), 22092) ),
assertz( happensAtIE( internal_temperature_change(84, bus, normal), 22099) ),
assertz( happensAtIE( internal_temperature_change(85, bus, normal), 22108) ),
assertz( happensAtIE( internal_temperature_change(86, bus, very_warm), 22119) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 22126) ),
assertz( happensAtIE( internal_temperature_change(87, bus, normal), 22137) ),
assertz( happensAtIE( internal_temperature_change(88, bus, normal), 22138) ),
assertz( happensAtIE( internal_temperature_change(89, bus, normal), 22149) ),
assertz( happensAtIE( internal_temperature_change(90, bus, very_cold), 22156) ),
assertz( happensAtIE( internal_temperature_change(91, bus, normal), 22165) ),
assertz( happensAtIE( internal_temperature_change(91, bus, warm), 22176) ),
assertz( happensAtIE( internal_temperature_change(92, bus, very_warm), 22183) ),
assertz( happensAtIE( internal_temperature_change(93, bus, warm), 22193) ),
assertz( happensAtIE( internal_temperature_change(94, bus, very_warm), 22201) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_warm), 22203) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_warm), 22210) ),
assertz( happensAtIE( internal_temperature_change(96, bus, warm), 22219) ),
assertz( happensAtIE( internal_temperature_change(97, bus, cold), 22230) ),
assertz( happensAtIE( internal_temperature_change(98, bus, normal), 22237) ),
assertz( happensAtIE( internal_temperature_change(99, bus, warm), 22248) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_cold), 22255) ),
assertz( happensAtIE( internal_temperature_change(100, bus, normal), 22260) ),
assertz( happensAtIE( internal_temperature_change(101, bus, very_cold), 22266) ),
assertz( happensAtIE( internal_temperature_change(102, bus, warm), 22277) ),
assertz( happensAtIE( internal_temperature_change(103, bus, normal), 22287) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_cold), 22294) ),
assertz( happensAtIE( internal_temperature_change(104, bus, warm), 22304) ),
assertz( happensAtIE( internal_temperature_change(105, bus, cold), 22312) ),
assertz( happensAtIE( internal_temperature_change(106, bus, normal), 22315) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 22329) ),
assertz( happensAtIE( internal_temperature_change(107, bus, warm), 22332) ),
assertz( happensAtIE( internal_temperature_change(108, bus, warm), 22342) ),
assertz( happensAtIE( internal_temperature_change(109, bus, very_cold), 22348) ),
assertz( happensAtIE( internal_temperature_change(110, bus, very_cold), 22359) ),
assertz( happensAtIE( internal_temperature_change(111, bus, cold), 22369) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_warm), 22371) ),
assertz( happensAtIE( internal_temperature_change(112, bus, very_warm), 22378) ),
assertz( happensAtIE( internal_temperature_change(113, bus, cold), 22387) ),
assertz( happensAtIE( internal_temperature_change(114, bus, cold), 22398) ),
assertz( happensAtIE( internal_temperature_change(115, bus, normal), 22405) ),
assertz( happensAtIE( internal_temperature_change(115, bus, cold), 22416) ),
assertz( happensAtIE( internal_temperature_change(116, bus, normal), 22420) ),
assertz( happensAtIE( internal_temperature_change(117, bus, cold), 22426) ),
assertz( happensAtIE( internal_temperature_change(118, bus, warm), 22441) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 22443) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_warm), 22450) ),
assertz( happensAtIE( internal_temperature_change(120, bus, normal), 22459) ),
assertz( happensAtIE( internal_temperature_change(121, bus, cold), 22470) ),
assertz( happensAtIE( internal_temperature_change(122, bus, normal), 22477) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 22482) ),
assertz( happensAtIE( internal_temperature_change(123, bus, cold), 22497) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_warm), 22499) ),
assertz( happensAtIE( internal_temperature_change(125, bus, normal), 22509) ),
assertz( happensAtIE( internal_temperature_change(126, bus, warm), 22516) ),
assertz( happensAtIE( internal_temperature_change(127, bus, cold), 22527) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 22531) ),
assertz( happensAtIE( internal_temperature_change(128, bus, normal), 22545) ),
assertz( happensAtIE( internal_temperature_change(129, bus, normal), 22552) ),
assertz( happensAtIE( internal_temperature_change(130, bus, normal), 22554) ),
assertz( happensAtIE( internal_temperature_change(131, bus, cold), 22569) ),
assertz( happensAtIE( internal_temperature_change(131, bus, normal), 22571) ),
assertz( happensAtIE( internal_temperature_change(132, bus, normal), 22581) ),
assertz( happensAtIE( internal_temperature_change(133, bus, cold), 22588) ),
assertz( happensAtIE( internal_temperature_change(134, bus, very_cold), 22599) ),
assertz( happensAtIE( internal_temperature_change(135, bus, cold), 22608) ),
assertz( happensAtIE( internal_temperature_change(135, bus, warm), 22611) ),
assertz( happensAtIE( internal_temperature_change(136, bus, very_warm), 22618) ),
assertz( happensAtIE( internal_temperature_change(137, bus, very_cold), 22627) ),
assertz( happensAtIE( internal_temperature_change(138, bus, warm), 22638) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 22642) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 22656) ),
assertz( happensAtIE( internal_temperature_change(140, bus, warm), 22663) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_cold), 22673) ),
assertz( happensAtIE( internal_temperature_change(142, bus, very_cold), 22674) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 22689) ),
assertz( happensAtIE( internal_temperature_change(143, bus, normal), 22692) ),
assertz( happensAtIE( internal_temperature_change(144, bus, very_warm), 22699) ),
assertz( happensAtIE( internal_temperature_change(145, bus, normal), 22712) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_warm), 22719) ),
assertz( happensAtIE( internal_temperature_change(147, bus, warm), 22729) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 22731) ),
assertz( happensAtIE( internal_temperature_change(148, bus, very_cold), 22738) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_cold), 22749) ),
assertz( happensAtIE( internal_temperature_change(150, bus, normal), 22756) ),
assertz( happensAtIE( internal_temperature_change(151, bus, cold), 22767) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 22773) ),
assertz( happensAtIE( internal_temperature_change(152, bus, cold), 22784) ),
assertz( happensAtIE( internal_temperature_change(153, bus, cold), 22786) ),
assertz( happensAtIE( internal_temperature_change(154, bus, cold), 22801) ),
assertz( happensAtIE( internal_temperature_change(155, bus, normal), 22803) ),
assertz( happensAtIE( internal_temperature_change(155, bus, normal), 22810) ),
assertz( happensAtIE( internal_temperature_change(156, bus, normal), 22824) ),
assertz( happensAtIE( internal_temperature_change(157, bus, very_warm), 22830) ),
assertz( happensAtIE( internal_temperature_change(158, bus, very_cold), 22841) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 22842) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 22857) ),
assertz( happensAtIE( internal_temperature_change(160, bus, cold), 22860) ),
assertz( happensAtIE( internal_temperature_change(161, bus, cold), 22869) ),
assertz( happensAtIE( internal_temperature_change(162, bus, very_cold), 22876) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 22889) ),
assertz( happensAtIE( internal_temperature_change(163, bus, very_warm), 22895) ),
assertz( happensAtIE( internal_temperature_change(164, bus, warm), 22898) ),
assertz( happensAtIE( internal_temperature_change(165, bus, normal), 22913) ),
assertz( happensAtIE( internal_temperature_change(166, bus, cold), 22920) ),
assertz( happensAtIE( internal_temperature_change(167, bus, normal), 22924) ),
assertz( happensAtIE( internal_temperature_change(167, bus, cold), 22930) ),
assertz( happensAtIE( internal_temperature_change(168, bus, normal), 22941) ),
assertz( happensAtIE( internal_temperature_change(169, bus, very_cold), 22948) ),
assertz( happensAtIE( internal_temperature_change(170, bus, normal), 22961) ),
assertz( happensAtIE( internal_temperature_change(171, bus, normal), 22968) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_warm), 22971) ),
assertz( happensAtIE( internal_temperature_change(172, bus, very_cold), 22978) ),
assertz( happensAtIE( internal_temperature_change(173, bus, very_warm), 22987) ),
assertz( happensAtIE( internal_temperature_change(174, bus, very_cold), 22997) ).
