 
updateSDE( abrupt_deceleration, '1p_all', 24000, 25000 ) :-
assertz( holdsForIESI( abrupt_deceleration(75, bus)=very_abrupt, (24006, 24008)) ),
assertz( holdsForIESI( abrupt_deceleration(75, bus)=abrupt, (24010, 24017)) ),
assertz( holdsForIESI( abrupt_deceleration(76, bus)=very_abrupt, (24018, 24021)) ),
assertz( holdsForIESI( abrupt_deceleration(77, bus)=very_abrupt, (24026, 24030)) ),
assertz( holdsForIESI( abrupt_deceleration(78, bus)=very_abrupt, (24036, 24041)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=abrupt, (24046, 24048)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=very_abrupt, (24050, 24053)) ),
assertz( holdsForIESI( abrupt_deceleration(80, bus)=abrupt, (24059, 24061)) ),
assertz( holdsForIESI( abrupt_deceleration(81, bus)=very_abrupt, (24066, 24068)) ),
assertz( holdsForIESI( abrupt_deceleration(82, bus)=very_abrupt, (24076, 24079)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=abrupt, (24086, 24089)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=very_abrupt, (24090, 24092)) ),
assertz( holdsForIESI( abrupt_deceleration(84, bus)=abrupt, (24098, 24103)) ),
assertz( holdsForIESI( abrupt_deceleration(85, bus)=abrupt, (24106, 24112)) ),
assertz( holdsForIESI( abrupt_deceleration(86, bus)=very_abrupt, (24116, 24120)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=very_abrupt, (24125, 24129)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=very_abrupt, (24133, 24137)) ),
assertz( holdsForIESI( abrupt_deceleration(88, bus)=abrupt, (24142, 24145)) ),
assertz( holdsForIESI( abrupt_deceleration(89, bus)=abrupt, (24148, 24153)) ),
assertz( holdsForIESI( abrupt_deceleration(90, bus)=very_abrupt, (24156, 24161)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=very_abrupt, (24162, 24165)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=very_abrupt, (24175, 24177)) ),
assertz( holdsForIESI( abrupt_deceleration(92, bus)=very_abrupt, (24180, 24184)) ),
assertz( holdsForIESI( abrupt_deceleration(93, bus)=abrupt, (24186, 24192)) ),
assertz( holdsForIESI( abrupt_deceleration(94, bus)=abrupt, (24194, 24197)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (24203, 24205)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (24213, 24215)) ),
assertz( holdsForIESI( abrupt_deceleration(96, bus)=very_abrupt, (24223, 24225)) ),
assertz( holdsForIESI( abrupt_deceleration(97, bus)=abrupt, (24231, 24233)) ),
assertz( holdsForIESI( abrupt_deceleration(98, bus)=very_abrupt, (24239, 24241)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=very_abrupt, (24244, 24249)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=very_abrupt, (24253, 24257)) ),
assertz( holdsForIESI( abrupt_deceleration(100, bus)=very_abrupt, (24263, 24265)) ),
assertz( holdsForIESI( abrupt_deceleration(101, bus)=very_abrupt, (24269, 24271)) ),
assertz( holdsForIESI( abrupt_deceleration(102, bus)=abrupt, (24279, 24281)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=very_abrupt, (24282, 24284)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=very_abrupt, (24292, 24295)) ),
assertz( holdsForIESI( abrupt_deceleration(104, bus)=very_abrupt, (24300, 24304)) ),
assertz( holdsForIESI( abrupt_deceleration(105, bus)=abrupt, (24310, 24312)) ),
assertz( holdsForIESI( abrupt_deceleration(106, bus)=abrupt, (24315, 24319)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=very_abrupt, (24324, 24329)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=very_abrupt, (24331, 24333)) ),
assertz( holdsForIESI( abrupt_deceleration(108, bus)=very_abrupt, (24343, 24345)) ),
assertz( holdsForIESI( abrupt_deceleration(109, bus)=very_abrupt, (24350, 24352)) ),
assertz( holdsForIESI( abrupt_deceleration(110, bus)=very_abrupt, (24354, 24359)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (24362, 24365)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (24372, 24377)) ),
assertz( holdsForIESI( abrupt_deceleration(112, bus)=abrupt, (24382, 24385)) ),
assertz( holdsForIESI( abrupt_deceleration(113, bus)=very_abrupt, (24386, 24390)) ),
assertz( holdsForIESI( abrupt_deceleration(114, bus)=abrupt, (24395, 24400)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=very_abrupt, (24404, 24408)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=abrupt, (24410, 24413)) ),
assertz( holdsForIESI( abrupt_deceleration(116, bus)=very_abrupt, (24421, 24424)) ),
assertz( holdsForIESI( abrupt_deceleration(117, bus)=very_abrupt, (24431, 24433)) ),
assertz( holdsForIESI( abrupt_deceleration(118, bus)=abrupt, (24434, 24440)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=abrupt, (24444, 24447)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (24450, 24453)) ),
assertz( holdsForIESI( abrupt_deceleration(120, bus)=very_abrupt, (24461, 24464)) ),
assertz( holdsForIESI( abrupt_deceleration(121, bus)=abrupt, (24471, 24473)) ),
assertz( holdsForIESI( abrupt_deceleration(122, bus)=abrupt, (24474, 24478)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=very_abrupt, (24483, 24487)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=abrupt, (24492, 24495)) ),
assertz( holdsForIESI( abrupt_deceleration(124, bus)=abrupt, (24503, 24505)) ),
assertz( holdsForIESI( abrupt_deceleration(125, bus)=very_abrupt, (24507, 24510)) ),
assertz( holdsForIESI( abrupt_deceleration(126, bus)=very_abrupt, (24514, 24519)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=very_abrupt, (24526, 24528)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=very_abrupt, (24534, 24536)) ),
assertz( holdsForIESI( abrupt_deceleration(128, bus)=abrupt, (24539, 24542)) ),
assertz( holdsForIESI( abrupt_deceleration(129, bus)=very_abrupt, (24547, 24550)) ),
assertz( holdsForIESI( abrupt_deceleration(130, bus)=abrupt, (24554, 24557)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (24563, 24569)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=abrupt, (24573, 24577)) ),
assertz( holdsForIESI( abrupt_deceleration(132, bus)=abrupt, (24579, 24582)) ),
assertz( holdsForIESI( abrupt_deceleration(133, bus)=very_abrupt, (24588, 24593)) ),
assertz( holdsForIESI( abrupt_deceleration(134, bus)=very_abrupt, (24594, 24596)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (24607, 24609)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (24612, 24615)) ),
assertz( holdsForIESI( abrupt_deceleration(136, bus)=abrupt, (24618, 24623)) ),
assertz( holdsForIESI( abrupt_deceleration(137, bus)=very_abrupt, (24628, 24632)) ),
assertz( holdsForIESI( abrupt_deceleration(138, bus)=very_abrupt, (24638, 24641)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=abrupt, (24646, 24649)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=abrupt, (24650, 24654)) ),
assertz( holdsForIESI( abrupt_deceleration(140, bus)=very_abrupt, (24659, 24664)) ),
assertz( holdsForIESI( abrupt_deceleration(141, bus)=very_abrupt, (24668, 24673)) ),
assertz( holdsForIESI( abrupt_deceleration(142, bus)=abrupt, (24678, 24681)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=very_abrupt, (24686, 24689)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (24691, 24695)) ),
assertz( holdsForIESI( abrupt_deceleration(144, bus)=abrupt, (24703, 24705)) ),
assertz( holdsForIESI( abrupt_deceleration(145, bus)=very_abrupt, (24709, 24712)) ),
assertz( holdsForIESI( abrupt_deceleration(146, bus)=very_abrupt, (24718, 24720)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=very_abrupt, (24722, 24729)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=abrupt, (24730, 24734)) ),
assertz( holdsForIESI( abrupt_deceleration(148, bus)=abrupt, (24738, 24742)) ),
assertz( holdsForIESI( abrupt_deceleration(149, bus)=abrupt, (24749, 24752)) ),
assertz( holdsForIESI( abrupt_deceleration(150, bus)=very_abrupt, (24758, 24760)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=very_abrupt, (24766, 24769)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=abrupt, (24774, 24777)) ),
assertz( holdsForIESI( abrupt_deceleration(152, bus)=abrupt, (24778, 24782)) ),
assertz( holdsForIESI( abrupt_deceleration(153, bus)=very_abrupt, (24787, 24790)) ),
assertz( holdsForIESI( abrupt_deceleration(154, bus)=very_abrupt, (24795, 24800)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (24804, 24809)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=very_abrupt, (24814, 24817)) ),
assertz( holdsForIESI( abrupt_deceleration(156, bus)=abrupt, (24818, 24822)) ),
assertz( holdsForIESI( abrupt_deceleration(157, bus)=abrupt, (24827, 24831)) ),
assertz( holdsForIESI( abrupt_deceleration(158, bus)=very_abrupt, (24835, 24837)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (24844, 24848)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=abrupt, (24853, 24856)) ),
assertz( holdsForIESI( abrupt_deceleration(160, bus)=abrupt, (24858, 24861)) ),
assertz( holdsForIESI( abrupt_deceleration(161, bus)=abrupt, (24866, 24869)) ),
assertz( holdsForIESI( abrupt_deceleration(162, bus)=very_abrupt, (24874, 24881)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=very_abrupt, (24885, 24889)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=abrupt, (24892, 24897)) ),
assertz( holdsForIESI( abrupt_deceleration(164, bus)=abrupt, (24902, 24905)) ),
assertz( holdsForIESI( abrupt_deceleration(165, bus)=very_abrupt, (24911, 24913)) ),
assertz( holdsForIESI( abrupt_deceleration(166, bus)=abrupt, (24915, 24919)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=very_abrupt, (24924, 24926)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (24934, 24937)) ),
assertz( holdsForIESI( abrupt_deceleration(168, bus)=very_abrupt, (24938, 24945)) ),
assertz( holdsForIESI( abrupt_deceleration(169, bus)=abrupt, (24947, 24953)) ),
assertz( holdsForIESI( abrupt_deceleration(170, bus)=very_abrupt, (24956, 24961)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=abrupt, (24966, 24968)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=very_abrupt, (24974, 24977)) ),
assertz( holdsForIESI( abrupt_deceleration(172, bus)=very_abrupt, (24978, 24980)) ),
assertz( holdsForIESI( abrupt_deceleration(173, bus)=abrupt, (24986, 24989)) ),
assertz( holdsForIESI( abrupt_deceleration(174, bus)=abrupt, (24994, 24999)) ).
