 
updateSDE( internal_temperature_change, '1p_all', 3000, 4000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, very_cold), 3006) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_warm), 3011) ),
assertz( happensAtIE( internal_temperature_change(76, bus, normal), 3024) ),
assertz( happensAtIE( internal_temperature_change(77, bus, normal), 3031) ),
assertz( happensAtIE( internal_temperature_change(78, bus, very_warm), 3036) ),
assertz( happensAtIE( internal_temperature_change(79, bus, normal), 3044) ),
assertz( happensAtIE( internal_temperature_change(79, bus, cold), 3054) ),
assertz( happensAtIE( internal_temperature_change(80, bus, very_cold), 3065) ),
assertz( happensAtIE( internal_temperature_change(81, bus, warm), 3071) ),
assertz( happensAtIE( internal_temperature_change(82, bus, normal), 3078) ),
assertz( happensAtIE( internal_temperature_change(83, bus, warm), 3082) ),
assertz( happensAtIE( internal_temperature_change(83, bus, very_cold), 3092) ),
assertz( happensAtIE( internal_temperature_change(84, bus, cold), 3103) ),
assertz( happensAtIE( internal_temperature_change(85, bus, very_cold), 3113) ),
assertz( happensAtIE( internal_temperature_change(86, bus, normal), 3116) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_cold), 3125) ),
assertz( happensAtIE( internal_temperature_change(87, bus, warm), 3135) ),
assertz( happensAtIE( internal_temperature_change(88, bus, very_cold), 3145) ),
assertz( happensAtIE( internal_temperature_change(89, bus, warm), 3150) ),
assertz( happensAtIE( internal_temperature_change(90, bus, warm), 3158) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_warm), 3164) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_cold), 3174) ),
assertz( happensAtIE( internal_temperature_change(92, bus, normal), 3184) ),
assertz( happensAtIE( internal_temperature_change(93, bus, very_warm), 3193) ),
assertz( happensAtIE( internal_temperature_change(94, bus, very_warm), 3196) ),
assertz( happensAtIE( internal_temperature_change(95, bus, normal), 3206) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_cold), 3216) ),
assertz( happensAtIE( internal_temperature_change(96, bus, warm), 3219) ),
assertz( happensAtIE( internal_temperature_change(97, bus, very_cold), 3232) ),
assertz( happensAtIE( internal_temperature_change(98, bus, very_cold), 3237) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_warm), 3243) ),
assertz( happensAtIE( internal_temperature_change(99, bus, cold), 3253) ),
assertz( happensAtIE( internal_temperature_change(100, bus, cold), 3264) ),
assertz( happensAtIE( internal_temperature_change(101, bus, normal), 3266) ),
assertz( happensAtIE( internal_temperature_change(102, bus, warm), 3277) ),
assertz( happensAtIE( internal_temperature_change(103, bus, warm), 3285) ),
assertz( happensAtIE( internal_temperature_change(103, bus, warm), 3295) ),
assertz( happensAtIE( internal_temperature_change(104, bus, very_cold), 3298) ),
assertz( happensAtIE( internal_temperature_change(105, bus, cold), 3312) ),
assertz( happensAtIE( internal_temperature_change(106, bus, very_cold), 3319) ),
assertz( happensAtIE( internal_temperature_change(107, bus, cold), 3325) ),
assertz( happensAtIE( internal_temperature_change(107, bus, warm), 3334) ),
assertz( happensAtIE( internal_temperature_change(108, bus, warm), 3342) ),
assertz( happensAtIE( internal_temperature_change(109, bus, very_warm), 3353) ),
assertz( happensAtIE( internal_temperature_change(110, bus, very_cold), 3359) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_warm), 3366) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_cold), 3371) ),
assertz( happensAtIE( internal_temperature_change(112, bus, cold), 3381) ),
assertz( happensAtIE( internal_temperature_change(113, bus, cold), 3389) ),
assertz( happensAtIE( internal_temperature_change(114, bus, warm), 3400) ),
assertz( happensAtIE( internal_temperature_change(115, bus, normal), 3404) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_warm), 3416) ),
assertz( happensAtIE( internal_temperature_change(116, bus, very_cold), 3423) ),
assertz( happensAtIE( internal_temperature_change(117, bus, warm), 3429) ),
assertz( happensAtIE( internal_temperature_change(118, bus, very_cold), 3438) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_cold), 3448) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_warm), 3457) ),
assertz( happensAtIE( internal_temperature_change(120, bus, very_cold), 3461) ),
assertz( happensAtIE( internal_temperature_change(121, bus, warm), 3470) ),
assertz( happensAtIE( internal_temperature_change(122, bus, very_warm), 3476) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_cold), 3485) ),
assertz( happensAtIE( internal_temperature_change(123, bus, very_warm), 3493) ),
assertz( happensAtIE( internal_temperature_change(124, bus, warm), 3505) ),
assertz( happensAtIE( internal_temperature_change(125, bus, cold), 3508) ),
assertz( happensAtIE( internal_temperature_change(126, bus, cold), 3518) ),
assertz( happensAtIE( internal_temperature_change(127, bus, warm), 3528) ),
assertz( happensAtIE( internal_temperature_change(127, bus, warm), 3530) ),
assertz( happensAtIE( internal_temperature_change(128, bus, normal), 3544) ),
assertz( happensAtIE( internal_temperature_change(129, bus, very_warm), 3551) ),
assertz( happensAtIE( internal_temperature_change(130, bus, cold), 3557) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_cold), 3567) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 3577) ),
assertz( happensAtIE( internal_temperature_change(132, bus, very_cold), 3585) ),
assertz( happensAtIE( internal_temperature_change(133, bus, very_warm), 3591) ),
assertz( happensAtIE( internal_temperature_change(134, bus, normal), 3598) ),
assertz( happensAtIE( internal_temperature_change(135, bus, very_warm), 3604) ),
assertz( happensAtIE( internal_temperature_change(135, bus, warm), 3614) ),
assertz( happensAtIE( internal_temperature_change(136, bus, very_warm), 3624) ),
assertz( happensAtIE( internal_temperature_change(137, bus, very_warm), 3632) ),
assertz( happensAtIE( internal_temperature_change(138, bus, normal), 3638) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_cold), 3645) ),
assertz( happensAtIE( internal_temperature_change(139, bus, warm), 3650) ),
assertz( happensAtIE( internal_temperature_change(140, bus, warm), 3660) ),
assertz( happensAtIE( internal_temperature_change(141, bus, very_cold), 3672) ),
assertz( happensAtIE( internal_temperature_change(142, bus, warm), 3680) ),
assertz( happensAtIE( internal_temperature_change(143, bus, warm), 3683) ),
assertz( happensAtIE( internal_temperature_change(143, bus, very_warm), 3695) ),
assertz( happensAtIE( internal_temperature_change(144, bus, normal), 3702) ),
assertz( happensAtIE( internal_temperature_change(145, bus, very_warm), 3708) ),
assertz( happensAtIE( internal_temperature_change(146, bus, warm), 3719) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 3727) ),
assertz( happensAtIE( internal_temperature_change(147, bus, cold), 3737) ),
assertz( happensAtIE( internal_temperature_change(148, bus, warm), 3740) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_cold), 3750) ),
assertz( happensAtIE( internal_temperature_change(150, bus, very_warm), 3761) ),
assertz( happensAtIE( internal_temperature_change(151, bus, warm), 3767) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 3776) ),
assertz( happensAtIE( internal_temperature_change(152, bus, very_cold), 3784) ),
assertz( happensAtIE( internal_temperature_change(153, bus, very_warm), 3788) ),
assertz( happensAtIE( internal_temperature_change(154, bus, normal), 3797) ),
assertz( happensAtIE( internal_temperature_change(155, bus, cold), 3808) ),
assertz( happensAtIE( internal_temperature_change(155, bus, normal), 3810) ),
assertz( happensAtIE( internal_temperature_change(156, bus, warm), 3824) ),
assertz( happensAtIE( internal_temperature_change(157, bus, very_warm), 3829) ),
assertz( happensAtIE( internal_temperature_change(158, bus, warm), 3835) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_cold), 3846) ),
assertz( happensAtIE( internal_temperature_change(159, bus, very_cold), 3856) ),
assertz( happensAtIE( internal_temperature_change(160, bus, very_warm), 3865) ),
assertz( happensAtIE( internal_temperature_change(161, bus, very_cold), 3866) ),
assertz( happensAtIE( internal_temperature_change(162, bus, cold), 3879) ),
assertz( happensAtIE( internal_temperature_change(163, bus, normal), 3889) ),
assertz( happensAtIE( internal_temperature_change(163, bus, normal), 3891) ),
assertz( happensAtIE( internal_temperature_change(164, bus, very_warm), 3900) ),
assertz( happensAtIE( internal_temperature_change(165, bus, very_warm), 3910) ),
assertz( happensAtIE( internal_temperature_change(166, bus, cold), 3921) ),
assertz( happensAtIE( internal_temperature_change(167, bus, normal), 3926) ),
assertz( happensAtIE( internal_temperature_change(167, bus, warm), 3937) ),
assertz( happensAtIE( internal_temperature_change(168, bus, cold), 3944) ),
assertz( happensAtIE( internal_temperature_change(169, bus, very_cold), 3953) ),
assertz( happensAtIE( internal_temperature_change(170, bus, warm), 3959) ),
assertz( happensAtIE( internal_temperature_change(171, bus, normal), 3966) ),
assertz( happensAtIE( internal_temperature_change(171, bus, normal), 3976) ),
assertz( happensAtIE( internal_temperature_change(172, bus, warm), 3982) ),
assertz( happensAtIE( internal_temperature_change(173, bus, warm), 3986) ),
assertz( happensAtIE( internal_temperature_change(174, bus, normal), 3997) ).
