 
updateSDE( abrupt_deceleration, '1p_all', 20000, 21000 ) :-
assertz( holdsForIESI( abrupt_deceleration(75, bus)=very_abrupt, (20006, 20009)) ),
assertz( holdsForIESI( abrupt_deceleration(75, bus)=very_abrupt, (20013, 20015)) ),
assertz( holdsForIESI( abrupt_deceleration(76, bus)=abrupt, (20023, 20025)) ),
assertz( holdsForIESI( abrupt_deceleration(77, bus)=abrupt, (20026, 20030)) ),
assertz( holdsForIESI( abrupt_deceleration(78, bus)=very_abrupt, (20035, 20037)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=very_abrupt, (20044, 20048)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=abrupt, (20052, 20056)) ),
assertz( holdsForIESI( abrupt_deceleration(80, bus)=abrupt, (20062, 20065)) ),
assertz( holdsForIESI( abrupt_deceleration(81, bus)=abrupt, (20066, 20070)) ),
assertz( holdsForIESI( abrupt_deceleration(82, bus)=abrupt, (20075, 20079)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=abrupt, (20084, 20088)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=very_abrupt, (20093, 20097)) ),
assertz( holdsForIESI( abrupt_deceleration(84, bus)=very_abrupt, (20101, 20104)) ),
assertz( holdsForIESI( abrupt_deceleration(85, bus)=abrupt, (20106, 20112)) ),
assertz( holdsForIESI( abrupt_deceleration(86, bus)=very_abrupt, (20115, 20121)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=very_abrupt, (20124, 20129)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=abrupt, (20132, 20136)) ),
assertz( holdsForIESI( abrupt_deceleration(88, bus)=abrupt, (20142, 20144)) ),
assertz( holdsForIESI( abrupt_deceleration(89, bus)=abrupt, (20147, 20149)) ),
assertz( holdsForIESI( abrupt_deceleration(90, bus)=abrupt, (20154, 20156)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=abrupt, (20162, 20164)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=abrupt, (20173, 20177)) ),
assertz( holdsForIESI( abrupt_deceleration(92, bus)=very_abrupt, (20182, 20185)) ),
assertz( holdsForIESI( abrupt_deceleration(93, bus)=very_abrupt, (20188, 20190)) ),
assertz( holdsForIESI( abrupt_deceleration(94, bus)=abrupt, (20194, 20198)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (20204, 20206)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=very_abrupt, (20213, 20217)) ),
assertz( holdsForIESI( abrupt_deceleration(96, bus)=very_abrupt, (20219, 20222)) ),
assertz( holdsForIESI( abrupt_deceleration(97, bus)=abrupt, (20229, 20231)) ),
assertz( holdsForIESI( abrupt_deceleration(98, bus)=abrupt, (20234, 20241)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=abrupt, (20246, 20249)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=very_abrupt, (20252, 20256)) ),
assertz( holdsForIESI( abrupt_deceleration(100, bus)=very_abrupt, (20260, 20263)) ),
assertz( holdsForIESI( abrupt_deceleration(101, bus)=abrupt, (20269, 20273)) ),
assertz( holdsForIESI( abrupt_deceleration(102, bus)=abrupt, (20279, 20281)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=abrupt, (20282, 20289)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=very_abrupt, (20291, 20295)) ),
assertz( holdsForIESI( abrupt_deceleration(104, bus)=very_abrupt, (20298, 20305)) ),
assertz( holdsForIESI( abrupt_deceleration(105, bus)=abrupt, (20309, 20311)) ),
assertz( holdsForIESI( abrupt_deceleration(106, bus)=abrupt, (20319, 20321)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=very_abrupt, (20327, 20329)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (20330, 20337)) ),
assertz( holdsForIESI( abrupt_deceleration(108, bus)=abrupt, (20339, 20341)) ),
assertz( holdsForIESI( abrupt_deceleration(109, bus)=very_abrupt, (20347, 20351)) ),
assertz( holdsForIESI( abrupt_deceleration(110, bus)=abrupt, (20357, 20359)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (20363, 20367)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=very_abrupt, (20371, 20377)) ),
assertz( holdsForIESI( abrupt_deceleration(112, bus)=abrupt, (20380, 20382)) ),
assertz( holdsForIESI( abrupt_deceleration(113, bus)=abrupt, (20391, 20393)) ),
assertz( holdsForIESI( abrupt_deceleration(114, bus)=very_abrupt, (20399, 20401)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=abrupt, (20405, 20408)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=abrupt, (20411, 20416)) ),
assertz( holdsForIESI( abrupt_deceleration(116, bus)=very_abrupt, (20419, 20425)) ),
assertz( holdsForIESI( abrupt_deceleration(117, bus)=very_abrupt, (20427, 20432)) ),
assertz( holdsForIESI( abrupt_deceleration(118, bus)=abrupt, (20439, 20441)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=abrupt, (20443, 20448)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (20452, 20457)) ),
assertz( holdsForIESI( abrupt_deceleration(120, bus)=very_abrupt, (20460, 20465)) ),
assertz( holdsForIESI( abrupt_deceleration(121, bus)=abrupt, (20467, 20473)) ),
assertz( holdsForIESI( abrupt_deceleration(122, bus)=abrupt, (20477, 20481)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=very_abrupt, (20482, 20484)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=abrupt, (20490, 20492)) ),
assertz( holdsForIESI( abrupt_deceleration(124, bus)=very_abrupt, (20499, 20503)) ),
assertz( holdsForIESI( abrupt_deceleration(125, bus)=abrupt, (20511, 20513)) ),
assertz( holdsForIESI( abrupt_deceleration(126, bus)=abrupt, (20514, 20516)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=abrupt, (20524, 20529)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=very_abrupt, (20533, 20537)) ),
assertz( holdsForIESI( abrupt_deceleration(128, bus)=very_abrupt, (20540, 20542)) ),
assertz( holdsForIESI( abrupt_deceleration(129, bus)=very_abrupt, (20550, 20552)) ),
assertz( holdsForIESI( abrupt_deceleration(130, bus)=abrupt, (20554, 20560)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (20563, 20568)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (20572, 20574)) ),
assertz( holdsForIESI( abrupt_deceleration(132, bus)=abrupt, (20580, 20583)) ),
assertz( holdsForIESI( abrupt_deceleration(133, bus)=abrupt, (20586, 20592)) ),
assertz( holdsForIESI( abrupt_deceleration(134, bus)=very_abrupt, (20596, 20599)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (20603, 20607)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (20613, 20617)) ),
assertz( holdsForIESI( abrupt_deceleration(136, bus)=abrupt, (20620, 20622)) ),
assertz( holdsForIESI( abrupt_deceleration(137, bus)=very_abrupt, (20626, 20631)) ),
assertz( holdsForIESI( abrupt_deceleration(138, bus)=abrupt, (20635, 20638)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=abrupt, (20645, 20648)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=very_abrupt, (20654, 20657)) ),
assertz( holdsForIESI( abrupt_deceleration(140, bus)=very_abrupt, (20662, 20664)) ),
assertz( holdsForIESI( abrupt_deceleration(141, bus)=abrupt, (20671, 20673)) ),
assertz( holdsForIESI( abrupt_deceleration(142, bus)=very_abrupt, (20675, 20678)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (20683, 20687)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=very_abrupt, (20694, 20696)) ),
assertz( holdsForIESI( abrupt_deceleration(144, bus)=abrupt, (20702, 20705)) ),
assertz( holdsForIESI( abrupt_deceleration(145, bus)=abrupt, (20706, 20711)) ),
assertz( holdsForIESI( abrupt_deceleration(146, bus)=abrupt, (20715, 20718)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=very_abrupt, (20724, 20726)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=abrupt, (20733, 20737)) ),
assertz( holdsForIESI( abrupt_deceleration(148, bus)=abrupt, (20743, 20745)) ),
assertz( holdsForIESI( abrupt_deceleration(149, bus)=very_abrupt, (20746, 20750)) ),
assertz( holdsForIESI( abrupt_deceleration(150, bus)=abrupt, (20754, 20761)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=very_abrupt, (20763, 20766)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=abrupt, (20773, 20777)) ),
assertz( holdsForIESI( abrupt_deceleration(152, bus)=very_abrupt, (20778, 20783)) ),
assertz( holdsForIESI( abrupt_deceleration(153, bus)=abrupt, (20786, 20792)) ),
assertz( holdsForIESI( abrupt_deceleration(154, bus)=very_abrupt, (20795, 20799)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (20804, 20808)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (20814, 20816)) ),
assertz( holdsForIESI( abrupt_deceleration(156, bus)=abrupt, (20818, 20822)) ),
assertz( holdsForIESI( abrupt_deceleration(157, bus)=abrupt, (20827, 20830)) ),
assertz( holdsForIESI( abrupt_deceleration(158, bus)=very_abrupt, (20834, 20838)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (20843, 20845)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (20853, 20857)) ),
assertz( holdsForIESI( abrupt_deceleration(160, bus)=very_abrupt, (20861, 20863)) ),
assertz( holdsForIESI( abrupt_deceleration(161, bus)=abrupt, (20871, 20873)) ),
assertz( holdsForIESI( abrupt_deceleration(162, bus)=very_abrupt, (20875, 20880)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=very_abrupt, (20883, 20885)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=very_abrupt, (20893, 20895)) ),
assertz( holdsForIESI( abrupt_deceleration(164, bus)=abrupt, (20898, 20903)) ),
assertz( holdsForIESI( abrupt_deceleration(165, bus)=abrupt, (20908, 20912)) ),
assertz( holdsForIESI( abrupt_deceleration(166, bus)=very_abrupt, (20915, 20917)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (20924, 20928)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (20931, 20933)) ),
assertz( holdsForIESI( abrupt_deceleration(168, bus)=abrupt, (20942, 20944)) ),
assertz( holdsForIESI( abrupt_deceleration(169, bus)=abrupt, (20946, 20951)) ),
assertz( holdsForIESI( abrupt_deceleration(170, bus)=abrupt, (20956, 20959)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=very_abrupt, (20962, 20969)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=very_abrupt, (20974, 20976)) ),
assertz( holdsForIESI( abrupt_deceleration(172, bus)=abrupt, (20982, 20984)) ),
assertz( holdsForIESI( abrupt_deceleration(173, bus)=abrupt, (20986, 20990)) ),
assertz( holdsForIESI( abrupt_deceleration(174, bus)=very_abrupt, (20994, 20999)) ).
