 
updateSDE( internal_temperature_change, '1p_all', 45000, 46000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 45005) ),
assertz( happensAtIE( internal_temperature_change(75, bus, normal), 45013) ),
assertz( happensAtIE( internal_temperature_change(76, bus, very_warm), 45023) ),
assertz( happensAtIE( internal_temperature_change(77, bus, normal), 45033) ),
assertz( happensAtIE( internal_temperature_change(78, bus, cold), 45035) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_cold), 45048) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 45050) ),
assertz( happensAtIE( internal_temperature_change(80, bus, cold), 45065) ),
assertz( happensAtIE( internal_temperature_change(81, bus, cold), 45071) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_cold), 45078) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_warm), 45088) ),
assertz( happensAtIE( internal_temperature_change(83, bus, cold), 45095) ),
assertz( happensAtIE( internal_temperature_change(84, bus, very_warm), 45104) ),
assertz( happensAtIE( internal_temperature_change(85, bus, normal), 45107) ),
assertz( happensAtIE( internal_temperature_change(86, bus, very_warm), 45114) ),
assertz( happensAtIE( internal_temperature_change(87, bus, normal), 45128) ),
assertz( happensAtIE( internal_temperature_change(87, bus, normal), 45134) ),
assertz( happensAtIE( internal_temperature_change(88, bus, very_cold), 45145) ),
assertz( happensAtIE( internal_temperature_change(89, bus, normal), 45146) ),
assertz( happensAtIE( internal_temperature_change(90, bus, very_cold), 45159) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 45162) ),
assertz( happensAtIE( internal_temperature_change(91, bus, cold), 45177) ),
assertz( happensAtIE( internal_temperature_change(92, bus, very_warm), 45182) ),
assertz( happensAtIE( internal_temperature_change(93, bus, cold), 45188) ),
assertz( happensAtIE( internal_temperature_change(94, bus, warm), 45199) ),
assertz( happensAtIE( internal_temperature_change(95, bus, normal), 45209) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_warm), 45215) ),
assertz( happensAtIE( internal_temperature_change(96, bus, cold), 45218) ),
assertz( happensAtIE( internal_temperature_change(97, bus, very_warm), 45233) ),
assertz( happensAtIE( internal_temperature_change(98, bus, very_cold), 45238) ),
assertz( happensAtIE( internal_temperature_change(99, bus, cold), 45245) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_cold), 45255) ),
assertz( happensAtIE( internal_temperature_change(100, bus, very_warm), 45265) ),
assertz( happensAtIE( internal_temperature_change(101, bus, cold), 45270) ),
assertz( happensAtIE( internal_temperature_change(102, bus, very_cold), 45280) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_cold), 45282) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_warm), 45292) ),
assertz( happensAtIE( internal_temperature_change(104, bus, very_cold), 45301) ),
assertz( happensAtIE( internal_temperature_change(105, bus, normal), 45308) ),
assertz( happensAtIE( internal_temperature_change(106, bus, very_cold), 45319) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_cold), 45328) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_cold), 45331) ),
assertz( happensAtIE( internal_temperature_change(108, bus, normal), 45345) ),
assertz( happensAtIE( internal_temperature_change(109, bus, very_warm), 45347) ),
assertz( happensAtIE( internal_temperature_change(110, bus, very_cold), 45358) ),
assertz( happensAtIE( internal_temperature_change(111, bus, cold), 45364) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 45377) ),
assertz( happensAtIE( internal_temperature_change(112, bus, very_warm), 45382) ),
assertz( happensAtIE( internal_temperature_change(113, bus, cold), 45392) ),
assertz( happensAtIE( internal_temperature_change(114, bus, cold), 45394) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_warm), 45409) ),
assertz( happensAtIE( internal_temperature_change(115, bus, normal), 45412) ),
assertz( happensAtIE( internal_temperature_change(116, bus, normal), 45421) ),
assertz( happensAtIE( internal_temperature_change(117, bus, cold), 45432) ),
assertz( happensAtIE( internal_temperature_change(118, bus, very_cold), 45438) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 45448) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 45450) ),
assertz( happensAtIE( internal_temperature_change(120, bus, very_warm), 45465) ),
assertz( happensAtIE( internal_temperature_change(121, bus, very_cold), 45470) ),
assertz( happensAtIE( internal_temperature_change(122, bus, cold), 45477) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_warm), 45488) ),
assertz( happensAtIE( internal_temperature_change(123, bus, normal), 45493) ),
assertz( happensAtIE( internal_temperature_change(124, bus, normal), 45502) ),
assertz( happensAtIE( internal_temperature_change(125, bus, very_cold), 45513) ),
assertz( happensAtIE( internal_temperature_change(126, bus, normal), 45520) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_warm), 45525) ),
assertz( happensAtIE( internal_temperature_change(127, bus, warm), 45532) ),
assertz( happensAtIE( internal_temperature_change(128, bus, warm), 45542) ),
assertz( happensAtIE( internal_temperature_change(129, bus, normal), 45552) ),
assertz( happensAtIE( internal_temperature_change(130, bus, very_cold), 45559) ),
assertz( happensAtIE( internal_temperature_change(131, bus, normal), 45569) ),
assertz( happensAtIE( internal_temperature_change(131, bus, normal), 45576) ),
assertz( happensAtIE( internal_temperature_change(132, bus, cold), 45582) ),
assertz( happensAtIE( internal_temperature_change(133, bus, very_warm), 45589) ),
assertz( happensAtIE( internal_temperature_change(134, bus, warm), 45599) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_cold), 45606) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_warm), 45613) ),
assertz( happensAtIE( internal_temperature_change(136, bus, very_warm), 45623) ),
assertz( happensAtIE( internal_temperature_change(137, bus, cold), 45633) ),
assertz( happensAtIE( internal_temperature_change(138, bus, very_cold), 45635) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 45642) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 45652) ),
assertz( happensAtIE( internal_temperature_change(140, bus, warm), 45663) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_warm), 45669) ),
assertz( happensAtIE( internal_temperature_change(142, bus, very_cold), 45675) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 45689) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 45692) ),
assertz( happensAtIE( internal_temperature_change(144, bus, very_warm), 45699) ),
assertz( happensAtIE( internal_temperature_change(145, bus, very_cold), 45706) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_cold), 45717) ),
assertz( happensAtIE( internal_temperature_change(147, bus, cold), 45724) ),
assertz( happensAtIE( internal_temperature_change(147, bus, cold), 45736) ),
assertz( happensAtIE( internal_temperature_change(148, bus, warm), 45743) ),
assertz( happensAtIE( internal_temperature_change(149, bus, warm), 45746) ),
assertz( happensAtIE( internal_temperature_change(150, bus, very_warm), 45756) ),
assertz( happensAtIE( internal_temperature_change(151, bus, cold), 45763) ),
assertz( happensAtIE( internal_temperature_change(151, bus, normal), 45773) ),
assertz( happensAtIE( internal_temperature_change(152, bus, warm), 45780) ),
assertz( happensAtIE( internal_temperature_change(153, bus, very_cold), 45793) ),
assertz( happensAtIE( internal_temperature_change(154, bus, cold), 45800) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_cold), 45802) ),
assertz( happensAtIE( internal_temperature_change(155, bus, warm), 45812) ),
assertz( happensAtIE( internal_temperature_change(156, bus, very_cold), 45825) ),
assertz( happensAtIE( internal_temperature_change(157, bus, cold), 45827) ),
assertz( happensAtIE( internal_temperature_change(158, bus, very_warm), 45837) ),
assertz( happensAtIE( internal_temperature_change(159, bus, warm), 45848) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 45854) ),
assertz( happensAtIE( internal_temperature_change(160, bus, normal), 45865) ),
assertz( happensAtIE( internal_temperature_change(161, bus, very_warm), 45871) ),
assertz( happensAtIE( internal_temperature_change(162, bus, very_warm), 45876) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 45882) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 45892) ),
assertz( happensAtIE( internal_temperature_change(164, bus, normal), 45902) ),
assertz( happensAtIE( internal_temperature_change(165, bus, normal), 45909) ),
assertz( happensAtIE( internal_temperature_change(166, bus, warm), 45919) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_warm), 45928) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_warm), 45931) ),
assertz( happensAtIE( internal_temperature_change(168, bus, very_cold), 45938) ),
assertz( happensAtIE( internal_temperature_change(169, bus, cold), 45949) ),
assertz( happensAtIE( internal_temperature_change(170, bus, normal), 45958) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_cold), 45965) ),
assertz( happensAtIE( internal_temperature_change(171, bus, cold), 45975) ),
assertz( happensAtIE( internal_temperature_change(172, bus, warm), 45985) ),
assertz( happensAtIE( internal_temperature_change(173, bus, normal), 45988) ),
assertz( happensAtIE( internal_temperature_change(174, bus, warm), 45999) ).
