 
updateSDE( internal_temperature_change, '1p_all', 11000, 12000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 11008) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 11016) ),
assertz( happensAtIE( internal_temperature_change(76, bus, very_warm), 11018) ),
assertz( happensAtIE( internal_temperature_change(77, bus, very_cold), 11028) ),
assertz( happensAtIE( internal_temperature_change(78, bus, warm), 11035) ),
assertz( happensAtIE( internal_temperature_change(79, bus, warm), 11048) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_warm), 11055) ),
assertz( happensAtIE( internal_temperature_change(80, bus, warm), 11065) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_warm), 11066) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_warm), 11081) ),
assertz( happensAtIE( internal_temperature_change(83, bus, cold), 11084) ),
assertz( happensAtIE( internal_temperature_change(83, bus, cold), 11094) ),
assertz( happensAtIE( internal_temperature_change(84, bus, normal), 11104) ),
assertz( happensAtIE( internal_temperature_change(85, bus, very_warm), 11108) ),
assertz( happensAtIE( internal_temperature_change(86, bus, cold), 11117) ),
assertz( happensAtIE( internal_temperature_change(87, bus, cold), 11128) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_warm), 11135) ),
assertz( happensAtIE( internal_temperature_change(88, bus, very_warm), 11138) ),
assertz( happensAtIE( internal_temperature_change(89, bus, cold), 11147) ),
assertz( happensAtIE( internal_temperature_change(90, bus, very_warm), 11157) ),
assertz( happensAtIE( internal_temperature_change(91, bus, warm), 11164) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 11174) ),
assertz( happensAtIE( internal_temperature_change(92, bus, cold), 11185) ),
assertz( happensAtIE( internal_temperature_change(93, bus, warm), 11191) ),
assertz( happensAtIE( internal_temperature_change(94, bus, normal), 11196) ),
assertz( happensAtIE( internal_temperature_change(95, bus, cold), 11203) ),
assertz( happensAtIE( internal_temperature_change(95, bus, normal), 11215) ),
assertz( happensAtIE( internal_temperature_change(96, bus, very_cold), 11219) ),
assertz( happensAtIE( internal_temperature_change(97, bus, normal), 11228) ),
assertz( happensAtIE( internal_temperature_change(98, bus, normal), 11239) ),
assertz( happensAtIE( internal_temperature_change(99, bus, cold), 11246) ),
assertz( happensAtIE( internal_temperature_change(99, bus, warm), 11257) ),
assertz( happensAtIE( internal_temperature_change(100, bus, normal), 11264) ),
assertz( happensAtIE( internal_temperature_change(101, bus, very_warm), 11269) ),
assertz( happensAtIE( internal_temperature_change(102, bus, cold), 11276) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_warm), 11285) ),
assertz( happensAtIE( internal_temperature_change(103, bus, very_warm), 11296) ),
assertz( happensAtIE( internal_temperature_change(104, bus, cold), 11302) ),
assertz( happensAtIE( internal_temperature_change(105, bus, cold), 11308) ),
assertz( happensAtIE( internal_temperature_change(106, bus, normal), 11314) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_cold), 11325) ),
assertz( happensAtIE( internal_temperature_change(107, bus, cold), 11332) ),
assertz( happensAtIE( internal_temperature_change(108, bus, warm), 11339) ),
assertz( happensAtIE( internal_temperature_change(109, bus, warm), 11350) ),
assertz( happensAtIE( internal_temperature_change(110, bus, very_warm), 11357) ),
assertz( happensAtIE( internal_temperature_change(111, bus, cold), 11362) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 11377) ),
assertz( happensAtIE( internal_temperature_change(112, bus, cold), 11379) ),
assertz( happensAtIE( internal_temperature_change(113, bus, cold), 11388) ),
assertz( happensAtIE( internal_temperature_change(114, bus, warm), 11395) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_warm), 11406) ),
assertz( happensAtIE( internal_temperature_change(115, bus, cold), 11416) ),
assertz( happensAtIE( internal_temperature_change(116, bus, very_warm), 11418) ),
assertz( happensAtIE( internal_temperature_change(117, bus, very_cold), 11433) ),
assertz( happensAtIE( internal_temperature_change(118, bus, very_cold), 11440) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 11443) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 11457) ),
assertz( happensAtIE( internal_temperature_change(120, bus, cold), 11463) ),
assertz( happensAtIE( internal_temperature_change(121, bus, very_cold), 11470) ),
assertz( happensAtIE( internal_temperature_change(122, bus, cold), 11480) ),
assertz( happensAtIE( internal_temperature_change(123, bus, warm), 11482) ),
assertz( happensAtIE( internal_temperature_change(123, bus, warm), 11496) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_warm), 11499) ),
assertz( happensAtIE( internal_temperature_change(125, bus, warm), 11506) ),
assertz( happensAtIE( internal_temperature_change(126, bus, normal), 11519) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_warm), 11526) ),
assertz( happensAtIE( internal_temperature_change(127, bus, warm), 11536) ),
assertz( happensAtIE( internal_temperature_change(128, bus, cold), 11538) ),
assertz( happensAtIE( internal_temperature_change(129, bus, cold), 11551) ),
assertz( happensAtIE( internal_temperature_change(130, bus, warm), 11554) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 11569) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 11574) ),
assertz( happensAtIE( internal_temperature_change(132, bus, normal), 11581) ),
assertz( happensAtIE( internal_temperature_change(133, bus, very_warm), 11591) ),
assertz( happensAtIE( internal_temperature_change(134, bus, cold), 11601) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_cold), 11607) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_cold), 11610) ),
assertz( happensAtIE( internal_temperature_change(136, bus, warm), 11619) ),
assertz( happensAtIE( internal_temperature_change(137, bus, normal), 11630) ),
assertz( happensAtIE( internal_temperature_change(138, bus, very_warm), 11637) ),
assertz( happensAtIE( internal_temperature_change(139, bus, normal), 11646) ),
assertz( happensAtIE( internal_temperature_change(139, bus, cold), 11657) ),
assertz( happensAtIE( internal_temperature_change(140, bus, very_cold), 11661) ),
assertz( happensAtIE( internal_temperature_change(141, bus, cold), 11667) ),
assertz( happensAtIE( internal_temperature_change(142, bus, very_warm), 11674) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 11684) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 11694) ),
assertz( happensAtIE( internal_temperature_change(144, bus, warm), 11701) ),
assertz( happensAtIE( internal_temperature_change(145, bus, cold), 11711) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_warm), 11718) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_cold), 11724) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 11730) ),
assertz( happensAtIE( internal_temperature_change(148, bus, cold), 11740) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_warm), 11750) ),
assertz( happensAtIE( internal_temperature_change(150, bus, warm), 11757) ),
assertz( happensAtIE( internal_temperature_change(151, bus, warm), 11767) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 11773) ),
assertz( happensAtIE( internal_temperature_change(152, bus, cold), 11778) ),
assertz( happensAtIE( internal_temperature_change(153, bus, cold), 11792) ),
assertz( happensAtIE( internal_temperature_change(154, bus, warm), 11795) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_cold), 11805) ),
assertz( happensAtIE( internal_temperature_change(155, bus, warm), 11812) ),
assertz( happensAtIE( internal_temperature_change(156, bus, cold), 11822) ),
assertz( happensAtIE( internal_temperature_change(157, bus, normal), 11829) ),
assertz( happensAtIE( internal_temperature_change(158, bus, normal), 11834) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 11849) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_cold), 11852) ),
assertz( happensAtIE( internal_temperature_change(160, bus, warm), 11858) ),
assertz( happensAtIE( internal_temperature_change(161, bus, very_cold), 11868) ),
assertz( happensAtIE( internal_temperature_change(162, bus, very_cold), 11879) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 11887) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 11892) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_cold), 11901) ),
assertz( happensAtIE( internal_temperature_change(165, bus, very_warm), 11910) ),
assertz( happensAtIE( internal_temperature_change(166, bus, normal), 11921) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_cold), 11922) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_cold), 11933) ),
assertz( happensAtIE( internal_temperature_change(168, bus, cold), 11938) ),
assertz( happensAtIE( internal_temperature_change(169, bus, very_cold), 11948) ),
assertz( happensAtIE( internal_temperature_change(170, bus, very_cold), 11957) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_cold), 11964) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_cold), 11975) ),
assertz( happensAtIE( internal_temperature_change(172, bus, very_warm), 11984) ),
assertz( happensAtIE( internal_temperature_change(173, bus, very_cold), 11987) ),
assertz( happensAtIE( internal_temperature_change(174, bus, very_warm), 11995) ).
