 
updateSDE( internal_temperature_change, '1p_all', 24000, 25000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, cold), 24008) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_warm), 24013) ),
assertz( happensAtIE( internal_temperature_change(76, bus, cold), 24020) ),
assertz( happensAtIE( internal_temperature_change(77, bus, normal), 24026) ),
assertz( happensAtIE( internal_temperature_change(78, bus, very_cold), 24037) ),
assertz( happensAtIE( internal_temperature_change(79, bus, cold), 24047) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 24057) ),
assertz( happensAtIE( internal_temperature_change(80, bus, warm), 24064) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_warm), 24066) ),
assertz( happensAtIE( internal_temperature_change(82, bus, cold), 24076) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_warm), 24083) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 24094) ),
assertz( happensAtIE( internal_temperature_change(84, bus, cold), 24101) ),
assertz( happensAtIE( internal_temperature_change(85, bus, very_cold), 24106) ),
assertz( happensAtIE( internal_temperature_change(86, bus, normal), 24120) ),
assertz( happensAtIE( internal_temperature_change(87, bus, warm), 24123) ),
assertz( happensAtIE( internal_temperature_change(87, bus, cold), 24130) ),
assertz( happensAtIE( internal_temperature_change(88, bus, very_cold), 24145) ),
assertz( happensAtIE( internal_temperature_change(89, bus, warm), 24147) ),
assertz( happensAtIE( internal_temperature_change(90, bus, cold), 24154) ),
assertz( happensAtIE( internal_temperature_change(91, bus, warm), 24168) ),
assertz( happensAtIE( internal_temperature_change(91, bus, normal), 24174) ),
assertz( happensAtIE( internal_temperature_change(92, bus, normal), 24185) ),
assertz( happensAtIE( internal_temperature_change(93, bus, warm), 24192) ),
assertz( happensAtIE( internal_temperature_change(94, bus, very_warm), 24194) ),
assertz( happensAtIE( internal_temperature_change(95, bus, warm), 24204) ),
assertz( happensAtIE( internal_temperature_change(95, bus, normal), 24211) ),
assertz( happensAtIE( internal_temperature_change(96, bus, normal), 24221) ),
assertz( happensAtIE( internal_temperature_change(97, bus, warm), 24231) ),
assertz( happensAtIE( internal_temperature_change(98, bus, normal), 24234) ),
assertz( happensAtIE( internal_temperature_change(99, bus, warm), 24247) ),
assertz( happensAtIE( internal_temperature_change(99, bus, cold), 24250) ),
assertz( happensAtIE( internal_temperature_change(100, bus, cold), 24265) ),
assertz( happensAtIE( internal_temperature_change(101, bus, warm), 24266) ),
assertz( happensAtIE( internal_temperature_change(102, bus, warm), 24277) ),
assertz( happensAtIE( internal_temperature_change(103, bus, normal), 24284) ),
assertz( happensAtIE( internal_temperature_change(103, bus, normal), 24294) ),
assertz( happensAtIE( internal_temperature_change(104, bus, warm), 24304) ),
assertz( happensAtIE( internal_temperature_change(105, bus, cold), 24306) ),
assertz( happensAtIE( internal_temperature_change(106, bus, normal), 24321) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 24323) ),
assertz( happensAtIE( internal_temperature_change(107, bus, cold), 24334) ),
assertz( happensAtIE( internal_temperature_change(108, bus, normal), 24341) ),
assertz( happensAtIE( internal_temperature_change(109, bus, very_warm), 24351) ),
assertz( happensAtIE( internal_temperature_change(110, bus, warm), 24358) ),
assertz( happensAtIE( internal_temperature_change(111, bus, normal), 24369) ),
assertz( happensAtIE( internal_temperature_change(111, bus, normal), 24376) ),
assertz( happensAtIE( internal_temperature_change(112, bus, cold), 24378) ),
assertz( happensAtIE( internal_temperature_change(113, bus, very_warm), 24388) ),
assertz( happensAtIE( internal_temperature_change(114, bus, very_warm), 24394) ),
assertz( happensAtIE( internal_temperature_change(115, bus, warm), 24405) ),
assertz( happensAtIE( internal_temperature_change(115, bus, cold), 24415) ),
assertz( happensAtIE( internal_temperature_change(116, bus, cold), 24418) ),
assertz( happensAtIE( internal_temperature_change(117, bus, warm), 24432) ),
assertz( happensAtIE( internal_temperature_change(118, bus, very_cold), 24435) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 24445) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 24452) ),
assertz( happensAtIE( internal_temperature_change(120, bus, normal), 24462) ),
assertz( happensAtIE( internal_temperature_change(121, bus, very_cold), 24467) ),
assertz( happensAtIE( internal_temperature_change(122, bus, normal), 24480) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 24487) ),
assertz( happensAtIE( internal_temperature_change(123, bus, warm), 24497) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_warm), 24499) ),
assertz( happensAtIE( internal_temperature_change(125, bus, very_warm), 24513) ),
assertz( happensAtIE( internal_temperature_change(126, bus, very_cold), 24516) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_cold), 24526) ),
assertz( happensAtIE( internal_temperature_change(127, bus, cold), 24536) ),
assertz( happensAtIE( internal_temperature_change(128, bus, normal), 24543) ),
assertz( happensAtIE( internal_temperature_change(129, bus, very_warm), 24553) ),
assertz( happensAtIE( internal_temperature_change(130, bus, very_warm), 24555) ),
assertz( happensAtIE( internal_temperature_change(131, bus, warm), 24562) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_cold), 24575) ),
assertz( happensAtIE( internal_temperature_change(132, bus, very_warm), 24580) ),
assertz( happensAtIE( internal_temperature_change(133, bus, warm), 24591) ),
assertz( happensAtIE( internal_temperature_change(134, bus, warm), 24600) ),
assertz( happensAtIE( internal_temperature_change(135, bus, normal), 24607) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_warm), 24610) ),
assertz( happensAtIE( internal_temperature_change(136, bus, warm), 24619) ),
assertz( happensAtIE( internal_temperature_change(137, bus, normal), 24629) ),
assertz( happensAtIE( internal_temperature_change(138, bus, very_warm), 24636) ),
assertz( happensAtIE( internal_temperature_change(139, bus, warm), 24647) ),
assertz( happensAtIE( internal_temperature_change(139, bus, normal), 24657) ),
assertz( happensAtIE( internal_temperature_change(140, bus, normal), 24664) ),
assertz( happensAtIE( internal_temperature_change(141, bus, normal), 24666) ),
assertz( happensAtIE( internal_temperature_change(142, bus, very_cold), 24681) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 24686) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 24691) ),
assertz( happensAtIE( internal_temperature_change(144, bus, warm), 24701) ),
assertz( happensAtIE( internal_temperature_change(145, bus, warm), 24711) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_warm), 24718) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 24729) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 24735) ),
assertz( happensAtIE( internal_temperature_change(148, bus, cold), 24741) ),
assertz( happensAtIE( internal_temperature_change(149, bus, cold), 24748) ),
assertz( happensAtIE( internal_temperature_change(150, bus, very_warm), 24758) ),
assertz( happensAtIE( internal_temperature_change(151, bus, warm), 24768) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 24775) ),
assertz( happensAtIE( internal_temperature_change(152, bus, very_warm), 24785) ),
assertz( happensAtIE( internal_temperature_change(153, bus, very_cold), 24792) ),
assertz( happensAtIE( internal_temperature_change(154, bus, cold), 24797) ),
assertz( happensAtIE( internal_temperature_change(155, bus, cold), 24802) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_warm), 24812) ),
assertz( happensAtIE( internal_temperature_change(156, bus, very_warm), 24822) ),
assertz( happensAtIE( internal_temperature_change(157, bus, normal), 24829) ),
assertz( happensAtIE( internal_temperature_change(158, bus, warm), 24839) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_warm), 24848) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 24851) ),
assertz( happensAtIE( internal_temperature_change(160, bus, warm), 24858) ),
assertz( happensAtIE( internal_temperature_change(161, bus, cold), 24866) ),
assertz( happensAtIE( internal_temperature_change(162, bus, very_cold), 24876) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 24886) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 24893) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_warm), 24904) ),
assertz( happensAtIE( internal_temperature_change(165, bus, warm), 24913) ),
assertz( happensAtIE( internal_temperature_change(166, bus, very_cold), 24920) ),
assertz( happensAtIE( internal_temperature_change(167, bus, warm), 24922) ),
assertz( happensAtIE( internal_temperature_change(167, bus, normal), 24932) ),
assertz( happensAtIE( internal_temperature_change(168, bus, warm), 24943) ),
assertz( happensAtIE( internal_temperature_change(169, bus, very_cold), 24949) ),
assertz( happensAtIE( internal_temperature_change(170, bus, cold), 24960) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 24962) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_cold), 24975) ),
assertz( happensAtIE( internal_temperature_change(172, bus, very_cold), 24978) ),
assertz( happensAtIE( internal_temperature_change(173, bus, cold), 24987) ),
assertz( happensAtIE( internal_temperature_change(174, bus, cold), 24996) ).
