 
updateSDE( internal_temperature_change, '1p_all', 5000, 6000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, cold), 5005) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_warm), 5013) ),
assertz( happensAtIE( internal_temperature_change(76, bus, warm), 5021) ),
assertz( happensAtIE( internal_temperature_change(77, bus, very_warm), 5031) ),
assertz( happensAtIE( internal_temperature_change(78, bus, cold), 5038) ),
assertz( happensAtIE( internal_temperature_change(79, bus, cold), 5047) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_warm), 5050) ),
assertz( happensAtIE( internal_temperature_change(80, bus, very_cold), 5065) ),
assertz( happensAtIE( internal_temperature_change(81, bus, very_warm), 5067) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_warm), 5077) ),
assertz( happensAtIE( internal_temperature_change(83, bus, warm), 5088) ),
assertz( happensAtIE( internal_temperature_change(83, bus, warm), 5095) ),
assertz( happensAtIE( internal_temperature_change(84, bus, normal), 5105) ),
assertz( happensAtIE( internal_temperature_change(85, bus, very_warm), 5107) ),
assertz( happensAtIE( internal_temperature_change(86, bus, very_cold), 5114) ),
assertz( happensAtIE( internal_temperature_change(87, bus, normal), 5124) ),
assertz( happensAtIE( internal_temperature_change(87, bus, normal), 5137) ),
assertz( happensAtIE( internal_temperature_change(88, bus, cold), 5142) ),
assertz( happensAtIE( internal_temperature_change(89, bus, very_warm), 5149) ),
assertz( happensAtIE( internal_temperature_change(90, bus, very_cold), 5160) ),
assertz( happensAtIE( internal_temperature_change(91, bus, normal), 5167) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 5177) ),
assertz( happensAtIE( internal_temperature_change(92, bus, normal), 5179) ),
assertz( happensAtIE( internal_temperature_change(93, bus, normal), 5186) ),
assertz( happensAtIE( internal_temperature_change(94, bus, very_warm), 5199) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_cold), 5206) ),
assertz( happensAtIE( internal_temperature_change(95, bus, warm), 5216) ),
assertz( happensAtIE( internal_temperature_change(96, bus, cold), 5223) ),
assertz( happensAtIE( internal_temperature_change(97, bus, warm), 5233) ),
assertz( happensAtIE( internal_temperature_change(98, bus, cold), 5236) ),
assertz( happensAtIE( internal_temperature_change(99, bus, warm), 5249) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_warm), 5251) ),
assertz( happensAtIE( internal_temperature_change(100, bus, normal), 5261) ),
assertz( happensAtIE( internal_temperature_change(101, bus, cold), 5271) ),
assertz( happensAtIE( internal_temperature_change(102, bus, very_warm), 5278) ),
assertz( happensAtIE( internal_temperature_change(103, bus, cold), 5288) ),
assertz( happensAtIE( internal_temperature_change(103, bus, normal), 5290) ),
assertz( happensAtIE( internal_temperature_change(104, bus, very_cold), 5305) ),
assertz( happensAtIE( internal_temperature_change(105, bus, cold), 5310) ),
assertz( happensAtIE( internal_temperature_change(106, bus, normal), 5317) ),
assertz( happensAtIE( internal_temperature_change(107, bus, cold), 5328) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 5334) ),
assertz( happensAtIE( internal_temperature_change(108, bus, very_cold), 5344) ),
assertz( happensAtIE( internal_temperature_change(109, bus, cold), 5346) ),
assertz( happensAtIE( internal_temperature_change(110, bus, warm), 5359) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 5365) ),
assertz( happensAtIE( internal_temperature_change(111, bus, cold), 5371) ),
assertz( happensAtIE( internal_temperature_change(112, bus, normal), 5382) ),
assertz( happensAtIE( internal_temperature_change(113, bus, warm), 5392) ),
assertz( happensAtIE( internal_temperature_change(114, bus, normal), 5398) ),
assertz( happensAtIE( internal_temperature_change(115, bus, cold), 5409) ),
assertz( happensAtIE( internal_temperature_change(115, bus, warm), 5416) ),
assertz( happensAtIE( internal_temperature_change(116, bus, very_warm), 5421) ),
assertz( happensAtIE( internal_temperature_change(117, bus, very_cold), 5428) ),
assertz( happensAtIE( internal_temperature_change(118, bus, very_warm), 5437) ),
assertz( happensAtIE( internal_temperature_change(119, bus, cold), 5448) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 5455) ),
assertz( happensAtIE( internal_temperature_change(120, bus, very_cold), 5460) ),
assertz( happensAtIE( internal_temperature_change(121, bus, warm), 5472) ),
assertz( happensAtIE( internal_temperature_change(122, bus, cold), 5475) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 5485) ),
assertz( happensAtIE( internal_temperature_change(123, bus, normal), 5491) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_cold), 5501) ),
assertz( happensAtIE( internal_temperature_change(125, bus, normal), 5511) ),
assertz( happensAtIE( internal_temperature_change(126, bus, cold), 5521) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_cold), 5528) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_warm), 5537) ),
assertz( happensAtIE( internal_temperature_change(128, bus, warm), 5540) ),
assertz( happensAtIE( internal_temperature_change(129, bus, warm), 5547) ),
assertz( happensAtIE( internal_temperature_change(130, bus, very_warm), 5560) ),
assertz( happensAtIE( internal_temperature_change(131, bus, warm), 5567) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_cold), 5570) ),
assertz( happensAtIE( internal_temperature_change(132, bus, warm), 5585) ),
assertz( happensAtIE( internal_temperature_change(133, bus, very_cold), 5592) ),
assertz( happensAtIE( internal_temperature_change(134, bus, very_warm), 5597) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_warm), 5604) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_warm), 5614) ),
assertz( happensAtIE( internal_temperature_change(136, bus, warm), 5624) ),
assertz( happensAtIE( internal_temperature_change(137, bus, normal), 5631) ),
assertz( happensAtIE( internal_temperature_change(138, bus, warm), 5641) ),
assertz( happensAtIE( internal_temperature_change(139, bus, normal), 5642) ),
assertz( happensAtIE( internal_temperature_change(139, bus, cold), 5653) ),
assertz( happensAtIE( internal_temperature_change(140, bus, very_cold), 5660) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_cold), 5671) ),
assertz( happensAtIE( internal_temperature_change(142, bus, warm), 5680) ),
assertz( happensAtIE( internal_temperature_change(143, bus, cold), 5685) ),
assertz( happensAtIE( internal_temperature_change(143, bus, normal), 5695) ),
assertz( happensAtIE( internal_temperature_change(144, bus, very_cold), 5705) ),
assertz( happensAtIE( internal_temperature_change(145, bus, warm), 5707) ),
assertz( happensAtIE( internal_temperature_change(146, bus, warm), 5714) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_cold), 5724) ),
assertz( happensAtIE( internal_temperature_change(147, bus, very_warm), 5734) ),
assertz( happensAtIE( internal_temperature_change(148, bus, warm), 5741) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_warm), 5746) ),
assertz( happensAtIE( internal_temperature_change(150, bus, normal), 5761) ),
assertz( happensAtIE( internal_temperature_change(151, bus, cold), 5763) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 5773) ),
assertz( happensAtIE( internal_temperature_change(152, bus, warm), 5779) ),
assertz( happensAtIE( internal_temperature_change(153, bus, very_cold), 5790) ),
assertz( happensAtIE( internal_temperature_change(154, bus, normal), 5799) ),
assertz( happensAtIE( internal_temperature_change(155, bus, normal), 5809) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_warm), 5816) ),
assertz( happensAtIE( internal_temperature_change(156, bus, normal), 5818) ),
assertz( happensAtIE( internal_temperature_change(157, bus, warm), 5828) ),
assertz( happensAtIE( internal_temperature_change(158, bus, very_cold), 5835) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_cold), 5848) ),
assertz( happensAtIE( internal_temperature_change(159, bus, cold), 5855) ),
assertz( happensAtIE( internal_temperature_change(160, bus, warm), 5865) ),
assertz( happensAtIE( internal_temperature_change(161, bus, cold), 5867) ),
assertz( happensAtIE( internal_temperature_change(162, bus, normal), 5881) ),
assertz( happensAtIE( internal_temperature_change(163, bus, very_cold), 5882) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 5893) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_warm), 5902) ),
assertz( happensAtIE( internal_temperature_change(165, bus, very_warm), 5909) ),
assertz( happensAtIE( internal_temperature_change(166, bus, very_warm), 5919) ),
assertz( happensAtIE( internal_temperature_change(167, bus, normal), 5929) ),
assertz( happensAtIE( internal_temperature_change(167, bus, cold), 5931) ),
assertz( happensAtIE( internal_temperature_change(168, bus, very_warm), 5938) ),
assertz( happensAtIE( internal_temperature_change(169, bus, cold), 5949) ),
assertz( happensAtIE( internal_temperature_change(170, bus, cold), 5959) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_warm), 5963) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 5973) ),
assertz( happensAtIE( internal_temperature_change(172, bus, very_cold), 5983) ),
assertz( happensAtIE( internal_temperature_change(173, bus, normal), 5993) ),
assertz( happensAtIE( internal_temperature_change(174, bus, cold), 5998) ).
