 
updateSDE( internal_temperature_change, '1p_all', 12000, 13000 ) :-
assertz( happensAtIE( internal_temperature_change(75, bus, warm), 12006) ),
assertz( happensAtIE( internal_temperature_change(75, bus, very_warm), 12014) ),
assertz( happensAtIE( internal_temperature_change(76, bus, very_cold), 12025) ),
assertz( happensAtIE( internal_temperature_change(77, bus, very_cold), 12032) ),
assertz( happensAtIE( internal_temperature_change(78, bus, very_cold), 12039) ),
assertz( happensAtIE( internal_temperature_change(79, bus, very_cold), 12049) ),
assertz( happensAtIE( internal_temperature_change(79, bus, cold), 12051) ),
assertz( happensAtIE( internal_temperature_change(80, bus, warm), 12061) ),
assertz( happensAtIE( internal_temperature_change(81, bus, cold), 12068) ),
assertz( happensAtIE( internal_temperature_change(82, bus, very_warm), 12079) ),
assertz( happensAtIE( internal_temperature_change(83, bus, normal), 12088) ),
assertz( happensAtIE( internal_temperature_change(83, bus, warm), 12095) ),
assertz( happensAtIE( internal_temperature_change(84, bus, very_cold), 12098) ),
assertz( happensAtIE( internal_temperature_change(85, bus, cold), 12107) ),
assertz( happensAtIE( internal_temperature_change(86, bus, cold), 12118) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_warm), 12124) ),
assertz( happensAtIE( internal_temperature_change(87, bus, very_warm), 12135) ),
assertz( happensAtIE( internal_temperature_change(88, bus, normal), 12143) ),
assertz( happensAtIE( internal_temperature_change(89, bus, cold), 12150) ),
assertz( happensAtIE( internal_temperature_change(90, bus, very_warm), 12160) ),
assertz( happensAtIE( internal_temperature_change(91, bus, very_cold), 12167) ),
assertz( happensAtIE( internal_temperature_change(91, bus, normal), 12173) ),
assertz( happensAtIE( internal_temperature_change(92, bus, cold), 12179) ),
assertz( happensAtIE( internal_temperature_change(93, bus, warm), 12189) ),
assertz( happensAtIE( internal_temperature_change(94, bus, very_cold), 12197) ),
assertz( happensAtIE( internal_temperature_change(95, bus, cold), 12206) ),
assertz( happensAtIE( internal_temperature_change(95, bus, very_cold), 12217) ),
assertz( happensAtIE( internal_temperature_change(96, bus, warm), 12223) ),
assertz( happensAtIE( internal_temperature_change(97, bus, normal), 12229) ),
assertz( happensAtIE( internal_temperature_change(98, bus, cold), 12236) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_warm), 12247) ),
assertz( happensAtIE( internal_temperature_change(99, bus, very_warm), 12252) ),
assertz( happensAtIE( internal_temperature_change(100, bus, warm), 12261) ),
assertz( happensAtIE( internal_temperature_change(101, bus, cold), 12272) ),
assertz( happensAtIE( internal_temperature_change(102, bus, cold), 12279) ),
assertz( happensAtIE( internal_temperature_change(103, bus, normal), 12289) ),
assertz( happensAtIE( internal_temperature_change(103, bus, cold), 12291) ),
assertz( happensAtIE( internal_temperature_change(104, bus, warm), 12301) ),
assertz( happensAtIE( internal_temperature_change(105, bus, normal), 12308) ),
assertz( happensAtIE( internal_temperature_change(106, bus, very_warm), 12319) ),
assertz( happensAtIE( internal_temperature_change(107, bus, normal), 12328) ),
assertz( happensAtIE( internal_temperature_change(107, bus, very_warm), 12335) ),
assertz( happensAtIE( internal_temperature_change(108, bus, very_cold), 12338) ),
assertz( happensAtIE( internal_temperature_change(109, bus, cold), 12347) ),
assertz( happensAtIE( internal_temperature_change(110, bus, very_warm), 12358) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_warm), 12365) ),
assertz( happensAtIE( internal_temperature_change(111, bus, very_warm), 12372) ),
assertz( happensAtIE( internal_temperature_change(112, bus, normal), 12382) ),
assertz( happensAtIE( internal_temperature_change(113, bus, very_warm), 12389) ),
assertz( happensAtIE( internal_temperature_change(114, bus, very_cold), 12394) ),
assertz( happensAtIE( internal_temperature_change(115, bus, normal), 12409) ),
assertz( happensAtIE( internal_temperature_change(115, bus, very_warm), 12412) ),
assertz( happensAtIE( internal_temperature_change(116, bus, warm), 12422) ),
assertz( happensAtIE( internal_temperature_change(117, bus, warm), 12428) ),
assertz( happensAtIE( internal_temperature_change(118, bus, normal), 12438) ),
assertz( happensAtIE( internal_temperature_change(119, bus, normal), 12448) ),
assertz( happensAtIE( internal_temperature_change(119, bus, very_warm), 12451) ),
assertz( happensAtIE( internal_temperature_change(120, bus, warm), 12458) ),
assertz( happensAtIE( internal_temperature_change(121, bus, very_cold), 12468) ),
assertz( happensAtIE( internal_temperature_change(122, bus, cold), 12475) ),
assertz( happensAtIE( internal_temperature_change(123, bus, cold), 12482) ),
assertz( happensAtIE( internal_temperature_change(123, bus, normal), 12494) ),
assertz( happensAtIE( internal_temperature_change(124, bus, very_cold), 12500) ),
assertz( happensAtIE( internal_temperature_change(125, bus, very_cold), 12513) ),
assertz( happensAtIE( internal_temperature_change(126, bus, warm), 12520) ),
assertz( happensAtIE( internal_temperature_change(127, bus, very_cold), 12523) ),
assertz( happensAtIE( internal_temperature_change(127, bus, normal), 12533) ),
assertz( happensAtIE( internal_temperature_change(128, bus, very_warm), 12539) ),
assertz( happensAtIE( internal_temperature_change(129, bus, warm), 12550) ),
assertz( happensAtIE( internal_temperature_change(130, bus, very_cold), 12559) ),
assertz( happensAtIE( internal_temperature_change(131, bus, very_warm), 12569) ),
assertz( happensAtIE( internal_temperature_change(131, bus, cold), 12571) ),
assertz( happensAtIE( internal_temperature_change(132, bus, very_cold), 12584) ),
assertz( happensAtIE( internal_temperature_change(133, bus, normal), 12586) ),
assertz( happensAtIE( internal_temperature_change(134, bus, normal), 12596) ),
assertz( happensAtIE( internal_temperature_change(135, bus, warm), 12606) ),
assertz( happensAtIE( internal_temperature_change(135, bus, cold), 12613) ),
assertz( happensAtIE( internal_temperature_change(136, bus, warm), 12623) ),
assertz( happensAtIE( internal_temperature_change(137, bus, very_cold), 12633) ),
assertz( happensAtIE( internal_temperature_change(138, bus, very_cold), 12640) ),
assertz( happensAtIE( internal_temperature_change(139, bus, very_warm), 12642) ),
assertz( happensAtIE( internal_temperature_change(139, bus, warm), 12652) ),
assertz( happensAtIE( internal_temperature_change(140, bus, very_warm), 12663) ),
assertz( happensAtIE( internal_temperature_change(141, bus, warm), 12670) ),
assertz( happensAtIE( internal_temperature_change(142, bus, warm), 12679) ),
assertz( happensAtIE( internal_temperature_change(143, bus, normal), 12689) ),
assertz( happensAtIE( internal_temperature_change(143, bus, very_warm), 12696) ),
assertz( happensAtIE( internal_temperature_change(144, bus, warm), 12698) ),
assertz( happensAtIE( internal_temperature_change(145, bus, very_cold), 12708) ),
assertz( happensAtIE( internal_temperature_change(146, bus, very_cold), 12718) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 12725) ),
assertz( happensAtIE( internal_temperature_change(147, bus, normal), 12735) ),
assertz( happensAtIE( internal_temperature_change(148, bus, normal), 12745) ),
assertz( happensAtIE( internal_temperature_change(149, bus, very_warm), 12752) ),
assertz( happensAtIE( internal_temperature_change(150, bus, very_warm), 12757) ),
assertz( happensAtIE( internal_temperature_change(151, bus, warm), 12764) ),
assertz( happensAtIE( internal_temperature_change(151, bus, very_warm), 12775) ),
assertz( happensAtIE( internal_temperature_change(152, bus, cold), 12784) ),
assertz( happensAtIE( internal_temperature_change(153, bus, warm), 12791) ),
assertz( happensAtIE( internal_temperature_change(154, bus, warm), 12801) ),
assertz( happensAtIE( internal_temperature_change(155, bus, warm), 12806) ),
assertz( happensAtIE( internal_temperature_change(155, bus, very_cold), 12817) ),
assertz( happensAtIE( internal_temperature_change(156, bus, very_cold), 12819) ),
assertz( happensAtIE( internal_temperature_change(157, bus, cold), 12829) ),
assertz( happensAtIE( internal_temperature_change(158, bus, warm), 12838) ),
assertz( happensAtIE( internal_temperature_change(159, bus, warm), 12845) ),
assertz( happensAtIE( internal_temperature_change(159, bus, warm), 12856) ),
assertz( happensAtIE( internal_temperature_change(160, bus, warm), 12864) ),
assertz( happensAtIE( internal_temperature_change(161, bus, very_cold), 12871) ),
assertz( happensAtIE( internal_temperature_change(162, bus, normal), 12874) ),
assertz( happensAtIE( internal_temperature_change(163, bus, warm), 12883) ),
assertz( happensAtIE( internal_temperature_change(163, bus, cold), 12891) ),
assertz( happensAtIE( internal_temperature_change(164, bus, normal), 12901) ),
assertz( happensAtIE( internal_temperature_change(165, bus, warm), 12908) ),
assertz( happensAtIE( internal_temperature_change(166, bus, cold), 12921) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_warm), 12928) ),
assertz( happensAtIE( internal_temperature_change(167, bus, very_cold), 12930) ),
assertz( happensAtIE( internal_temperature_change(168, bus, very_warm), 12940) ),
assertz( happensAtIE( internal_temperature_change(169, bus, cold), 12947) ),
assertz( happensAtIE( internal_temperature_change(170, bus, cold), 12957) ),
assertz( happensAtIE( internal_temperature_change(171, bus, warm), 12966) ),
assertz( happensAtIE( internal_temperature_change(171, bus, very_warm), 12970) ),
assertz( happensAtIE( internal_temperature_change(172, bus, normal), 12982) ),
assertz( happensAtIE( internal_temperature_change(173, bus, normal), 12993) ),
assertz( happensAtIE( internal_temperature_change(174, bus, normal), 12994) ).
