 
updateSDE( internal_temperature_change, '1p_all', 47000, 48000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, very_warm), 47008) ),
assertz( happensAtIE( internal_temperature_change(75, bus, normal), 47017) ),
assertz( happensAtIE( internal_temperature_change(76, bus, warm), 47022) ),
assertz( happensAtIE( internal_temperature_change(77, bus, very_warm), 47027) ),
assertz( happensAtIE( internal_temperature_change(78, bus, very_warm), 47038) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_warm), 47046) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 47053) ),
assertz( happensAtIE( internal_temperature_change(80, bus, very_warm), 47064) ),
assertz( happensAtIE( internal_temperature_change(81, bus, warm), 47073) ),
assertz( happensAtIE( internal_temperature_change(82, bus, warm), 47076) ),
assertz( happensAtIE( internal_temperature_change(83, bus, normal), 47083) ),
assertz( happensAtIE( internal_temperature_change(83, bus, normal), 47094) ),
assertz( happensAtIE( internal_temperature_change(84, bus, normal), 47103) ),
assertz( happensAtIE( internal_temperature_change(85, bus, normal), 47110) ),
assertz( happensAtIE( internal_temperature_change(86, bus, warm), 47121) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 47128) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 47133) ),
assertz( happensAtIE( internal_temperature_change(88, bus, warm), 47145) ),
assertz( happensAtIE( internal_temperature_change(89, bus, very_warm), 47148) ),
assertz( happensAtIE( internal_temperature_change(90, bus, normal), 47158) ),
assertz( happensAtIE( internal_temperature_change(91, bus, warm), 47164) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 47175) ),
assertz( happensAtIE( internal_temperature_change(92, bus, normal), 47184) ),
assertz( happensAtIE( internal_temperature_change(93, bus, warm), 47187) ),
assertz( happensAtIE( internal_temperature_change(94, bus, normal), 47194) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_cold), 47205) ),
assertz( happensAtIE( internal_temperature_change(95, bus, cold), 47214) ),
assertz( happensAtIE( internal_temperature_change(96, bus, cold), 47221) ),
assertz( happensAtIE( internal_temperature_change(97, bus, very_warm), 47232) ),
assertz( happensAtIE( internal_temperature_change(98, bus, warm), 47239) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_cold), 47244) ),
assertz( happensAtIE( internal_temperature_change(99, bus, warm), 47257) ),
assertz( happensAtIE( internal_temperature_change(100, bus, normal), 47260) ),
assertz( happensAtIE( internal_temperature_change(101, bus, very_warm), 47269) ),
assertz( happensAtIE( internal_temperature_change(102, bus, cold), 47276) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_cold), 47286) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_warm), 47296) ),
assertz( happensAtIE( internal_temperature_change(104, bus, very_cold), 47298) ),
assertz( happensAtIE( internal_temperature_change(105, bus, cold), 47313) ),
assertz( happensAtIE( internal_temperature_change(106, bus, normal), 47320) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_warm), 47322) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 47334) ),
assertz( happensAtIE( internal_temperature_change(108, bus, cold), 47345) ),
assertz( happensAtIE( internal_temperature_change(109, bus, cold), 47347) ),
assertz( happensAtIE( internal_temperature_change(110, bus, warm), 47357) ),
assertz( happensAtIE( internal_temperature_change(111, bus, normal), 47364) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 47374) ),
assertz( happensAtIE( internal_temperature_change(112, bus, very_warm), 47384) ),
assertz( happensAtIE( internal_temperature_change(113, bus, normal), 47391) ),
assertz( happensAtIE( internal_temperature_change(114, bus, very_cold), 47394) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_cold), 47403) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_warm), 47414) ),
assertz( happensAtIE( internal_temperature_change(116, bus, very_warm), 47421) ),
assertz( happensAtIE( internal_temperature_change(117, bus, warm), 47430) ),
assertz( happensAtIE( internal_temperature_change(118, bus, warm), 47440) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 47445) ),
assertz( happensAtIE( internal_temperature_change(119, bus, cold), 47456) ),
assertz( happensAtIE( internal_temperature_change(120, bus, warm), 47465) ),
assertz( happensAtIE( internal_temperature_change(121, bus, warm), 47468) ),
assertz( happensAtIE( internal_temperature_change(122, bus, normal), 47475) ),
assertz( happensAtIE( internal_temperature_change(123, bus, warm), 47485) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_warm), 47493) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_warm), 47502) ),
assertz( happensAtIE( internal_temperature_change(125, bus, very_warm), 47513) ),
assertz( happensAtIE( internal_temperature_change(126, bus, warm), 47514) ),
assertz( happensAtIE( internal_temperature_change(127, bus, cold), 47525) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 47532) ),
assertz( happensAtIE( internal_temperature_change(128, bus, very_cold), 47543) ),
assertz( happensAtIE( internal_temperature_change(129, bus, warm), 47552) ),
assertz( happensAtIE( internal_temperature_change(130, bus, normal), 47557) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 47567) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_cold), 47574) ),
assertz( happensAtIE( internal_temperature_change(132, bus, very_cold), 47579) ),
assertz( happensAtIE( internal_temperature_change(133, bus, normal), 47586) ),
assertz( happensAtIE( internal_temperature_change(134, bus, cold), 47595) ),
assertz( happensAtIE( internal_temperature_change(135, bus, cold), 47606) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_warm), 47613) ),
assertz( happensAtIE( internal_temperature_change(136, bus, cold), 47623) ),
assertz( happensAtIE( internal_temperature_change(137, bus, very_warm), 47633) ),
assertz( happensAtIE( internal_temperature_change(138, bus, cold), 47636) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 47643) ),
assertz( happensAtIE( internal_temperature_change(139, bus, cold), 47653) ),
assertz( happensAtIE( internal_temperature_change(140, bus, warm), 47663) ),
assertz( happensAtIE( internal_temperature_change(141, bus, cold), 47668) ),
assertz( happensAtIE( internal_temperature_change(142, bus, warm), 47678) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 47685) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 47690) ),
assertz( happensAtIE( internal_temperature_change(144, bus, very_cold), 47705) ),
assertz( happensAtIE( internal_temperature_change(145, bus, warm), 47707) ),
assertz( happensAtIE( internal_temperature_change(146, bus, warm), 47715) ),
assertz( happensAtIE( internal_temperature_change(147, bus, cold), 47725) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 47735) ),
assertz( happensAtIE( internal_temperature_change(148, bus, normal), 47742) ),
assertz( happensAtIE( internal_temperature_change(149, bus, normal), 47753) ),
assertz( happensAtIE( internal_temperature_change(150, bus, very_cold), 47754) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_cold), 47764) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 47771) ),
assertz( happensAtIE( internal_temperature_change(152, bus, very_cold), 47778) ),
assertz( happensAtIE( internal_temperature_change(153, bus, normal), 47788) ),
assertz( happensAtIE( internal_temperature_change(154, bus, very_cold), 47795) ),
assertz( happensAtIE( internal_temperature_change(155, bus, cold), 47809) ),
assertz( happensAtIE( internal_temperature_change(155, bus, cold), 47815) ),
assertz( happensAtIE( internal_temperature_change(156, bus, very_warm), 47818) ),
assertz( happensAtIE( internal_temperature_change(157, bus, very_warm), 47833) ),
assertz( happensAtIE( internal_temperature_change(158, bus, very_warm), 47834) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 47845) ),
assertz( happensAtIE( internal_temperature_change(159, bus, normal), 47852) ),
assertz( happensAtIE( internal_temperature_change(160, bus, normal), 47861) ),
assertz( happensAtIE( internal_temperature_change(161, bus, very_cold), 47870) ),
assertz( happensAtIE( internal_temperature_change(162, bus, very_cold), 47879) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 47889) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 47891) ),
assertz( happensAtIE( internal_temperature_change(164, bus, warm), 47902) ),
assertz( happensAtIE( internal_temperature_change(165, bus, warm), 47908) ),
assertz( happensAtIE( internal_temperature_change(166, bus, cold), 47919) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_cold), 47928) ),
assertz( happensAtIE( internal_temperature_change(167, bus, cold), 47935) ),
assertz( happensAtIE( internal_temperature_change(168, bus, cold), 47938) ),
assertz( happensAtIE( internal_temperature_change(169, bus, cold), 47953) ),
assertz( happensAtIE( internal_temperature_change(170, bus, cold), 47956) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_warm), 47963) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 47973) ),
assertz( happensAtIE( internal_temperature_change(172, bus, very_cold), 47983) ),
assertz( happensAtIE( internal_temperature_change(173, bus, very_cold), 47989) ),
assertz( happensAtIE( internal_temperature_change(174, bus, very_warm), 47999) ).
