 
updateSDE( internal_temperature_change, '1p_all', 46000, 47000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 46006) ),
assertz( happensAtIE( internal_temperature_change(75, bus, normal), 46014) ),
assertz( happensAtIE( internal_temperature_change(76, bus, warm), 46023) ),
assertz( happensAtIE( internal_temperature_change(77, bus, normal), 46026) ),
assertz( happensAtIE( internal_temperature_change(78, bus, very_warm), 46035) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_warm), 46048) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_warm), 46051) ),
assertz( happensAtIE( internal_temperature_change(80, bus, cold), 46060) ),
assertz( happensAtIE( internal_temperature_change(81, bus, cold), 46071) ),
assertz( happensAtIE( internal_temperature_change(82, bus, warm), 46078) ),
assertz( happensAtIE( internal_temperature_change(83, bus, warm), 46088) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_warm), 46090) ),
assertz( happensAtIE( internal_temperature_change(84, bus, normal), 46104) ),
assertz( happensAtIE( internal_temperature_change(85, bus, cold), 46107) ),
assertz( happensAtIE( internal_temperature_change(86, bus, cold), 46117) ),
assertz( happensAtIE( internal_temperature_change(87, bus, normal), 46127) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 46135) ),
assertz( happensAtIE( internal_temperature_change(88, bus, very_warm), 46145) ),
assertz( happensAtIE( internal_temperature_change(89, bus, normal), 46147) ),
assertz( happensAtIE( internal_temperature_change(90, bus, very_cold), 46159) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 46169) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_cold), 46171) ),
assertz( happensAtIE( internal_temperature_change(92, bus, warm), 46181) ),
assertz( happensAtIE( internal_temperature_change(93, bus, warm), 46188) ),
assertz( happensAtIE( internal_temperature_change(94, bus, warm), 46198) ),
assertz( happensAtIE( internal_temperature_change(95, bus, cold), 46208) ),
assertz( happensAtIE( internal_temperature_change(95, bus, cold), 46215) ),
assertz( happensAtIE( internal_temperature_change(96, bus, normal), 46218) ),
assertz( happensAtIE( internal_temperature_change(97, bus, very_cold), 46228) ),
assertz( happensAtIE( internal_temperature_change(98, bus, normal), 46238) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_cold), 46245) ),
assertz( happensAtIE( internal_temperature_change(99, bus, cold), 46254) ),
assertz( happensAtIE( internal_temperature_change(100, bus, very_cold), 46265) ),
assertz( happensAtIE( internal_temperature_change(101, bus, normal), 46268) ),
assertz( happensAtIE( internal_temperature_change(102, bus, very_cold), 46274) ),
assertz( happensAtIE( internal_temperature_change(103, bus, cold), 46289) ),
assertz( happensAtIE( internal_temperature_change(103, bus, cold), 46291) ),
assertz( happensAtIE( internal_temperature_change(104, bus, very_cold), 46301) ),
assertz( happensAtIE( internal_temperature_change(105, bus, warm), 46307) ),
assertz( happensAtIE( internal_temperature_change(106, bus, very_cold), 46318) ),
assertz( happensAtIE( internal_temperature_change(107, bus, warm), 46327) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_cold), 46330) ),
assertz( happensAtIE( internal_temperature_change(108, bus, cold), 46339) ),
assertz( happensAtIE( internal_temperature_change(109, bus, very_cold), 46346) ),
assertz( happensAtIE( internal_temperature_change(110, bus, warm), 46357) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 46366) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 46377) ),
assertz( happensAtIE( internal_temperature_change(112, bus, very_warm), 46382) ),
assertz( happensAtIE( internal_temperature_change(113, bus, cold), 46391) ),
assertz( happensAtIE( internal_temperature_change(114, bus, warm), 46401) ),
assertz( happensAtIE( internal_temperature_change(115, bus, normal), 46408) ),
assertz( happensAtIE( internal_temperature_change(115, bus, warm), 46411) ),
assertz( happensAtIE( internal_temperature_change(116, bus, normal), 46421) ),
assertz( happensAtIE( internal_temperature_change(117, bus, cold), 46431) ),
assertz( happensAtIE( internal_temperature_change(118, bus, very_cold), 46435) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 46445) ),
assertz( happensAtIE( internal_temperature_change(119, bus, warm), 46454) ),
assertz( happensAtIE( internal_temperature_change(120, bus, normal), 46459) ),
assertz( happensAtIE( internal_temperature_change(121, bus, warm), 46472) ),
assertz( happensAtIE( internal_temperature_change(122, bus, very_warm), 46479) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 46482) ),
assertz( happensAtIE( internal_temperature_change(123, bus, normal), 46491) ),
assertz( happensAtIE( internal_temperature_change(124, bus, warm), 46498) ),
assertz( happensAtIE( internal_temperature_change(125, bus, cold), 46508) ),
assertz( happensAtIE( internal_temperature_change(126, bus, very_cold), 46515) ),
assertz( happensAtIE( internal_temperature_change(127, bus, cold), 46528) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_cold), 46536) ),
assertz( happensAtIE( internal_temperature_change(128, bus, cold), 46538) ),
assertz( happensAtIE( internal_temperature_change(129, bus, very_warm), 46547) ),
assertz( happensAtIE( internal_temperature_change(130, bus, normal), 46554) ),
assertz( happensAtIE( internal_temperature_change(131, bus, normal), 46564) ),
assertz( happensAtIE( internal_temperature_change(131, bus, warm), 46572) ),
assertz( happensAtIE( internal_temperature_change(132, bus, warm), 46583) ),
assertz( happensAtIE( internal_temperature_change(133, bus, normal), 46589) ),
assertz( happensAtIE( internal_temperature_change(134, bus, very_cold), 46600) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_cold), 46609) ),
assertz( happensAtIE( internal_temperature_change(135, bus, normal), 46616) ),
assertz( happensAtIE( internal_temperature_change(136, bus, very_warm), 46621) ),
assertz( happensAtIE( internal_temperature_change(137, bus, very_cold), 46628) ),
assertz( happensAtIE( internal_temperature_change(138, bus, normal), 46638) ),
assertz( happensAtIE( internal_temperature_change(139, bus, normal), 46648) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_cold), 46655) ),
assertz( happensAtIE( internal_temperature_change(140, bus, cold), 46665) ),
assertz( happensAtIE( internal_temperature_change(141, bus, normal), 46667) ),
assertz( happensAtIE( internal_temperature_change(142, bus, very_warm), 46678) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 46682) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 46693) ),
assertz( happensAtIE( internal_temperature_change(144, bus, warm), 46703) ),
assertz( happensAtIE( internal_temperature_change(145, bus, very_cold), 46710) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_warm), 46720) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 46729) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 46732) ),
assertz( happensAtIE( internal_temperature_change(148, bus, very_warm), 46739) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_cold), 46748) ),
assertz( happensAtIE( internal_temperature_change(150, bus, normal), 46759) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 46766) ),
assertz( happensAtIE( internal_temperature_change(151, bus, warm), 46771) ),
assertz( happensAtIE( internal_temperature_change(152, bus, normal), 46785) ),
assertz( happensAtIE( internal_temperature_change(153, bus, cold), 46788) ),
assertz( happensAtIE( internal_temperature_change(154, bus, warm), 46796) ),
assertz( happensAtIE( internal_temperature_change(155, bus, cold), 46803) ),
assertz( happensAtIE( internal_temperature_change(155, bus, normal), 46813) ),
assertz( happensAtIE( internal_temperature_change(156, bus, normal), 46820) ),
assertz( happensAtIE( internal_temperature_change(157, bus, very_warm), 46826) ),
assertz( happensAtIE( internal_temperature_change(158, bus, cold), 46840) ),
assertz( happensAtIE( internal_temperature_change(159, bus, warm), 46849) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 46852) ),
assertz( happensAtIE( internal_temperature_change(160, bus, warm), 46858) ),
assertz( happensAtIE( internal_temperature_change(161, bus, warm), 46869) ),
assertz( happensAtIE( internal_temperature_change(162, bus, cold), 46880) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 46887) ),
assertz( happensAtIE( internal_temperature_change(163, bus, very_warm), 46896) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_cold), 46898) ),
assertz( happensAtIE( internal_temperature_change(165, bus, cold), 46913) ),
assertz( happensAtIE( internal_temperature_change(166, bus, very_warm), 46919) ),
assertz( happensAtIE( internal_temperature_change(167, bus, cold), 46925) ),
assertz( happensAtIE( internal_temperature_change(167, bus, normal), 46936) ),
assertz( happensAtIE( internal_temperature_change(168, bus, very_cold), 46938) ),
assertz( happensAtIE( internal_temperature_change(169, bus, very_warm), 46950) ),
assertz( happensAtIE( internal_temperature_change(170, bus, warm), 46961) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_warm), 46962) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 46973) ),
assertz( happensAtIE( internal_temperature_change(172, bus, cold), 46979) ),
assertz( happensAtIE( internal_temperature_change(173, bus, warm), 46989) ),
assertz( happensAtIE( internal_temperature_change(174, bus, normal), 46998) ).
