 
updateSDE( abrupt_deceleration, '1p_all', 17000, 18000 ) :-
assertz( holdsForIESI( abrupt_deceleration(75, bus)=very_abrupt, (17005, 17008)) ),
assertz( holdsForIESI( abrupt_deceleration(75, bus)=abrupt, (17010, 17014)) ),
assertz( holdsForIESI( abrupt_deceleration(76, bus)=abrupt, (17018, 17021)) ),
assertz( holdsForIESI( abrupt_deceleration(77, bus)=very_abrupt, (17030, 17033)) ),
assertz( holdsForIESI( abrupt_deceleration(78, bus)=very_abrupt, (17035, 17040)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=very_abrupt, (17044, 17049)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=abrupt, (17050, 17053)) ),
assertz( holdsForIESI( abrupt_deceleration(80, bus)=very_abrupt, (17060, 17064)) ),
assertz( holdsForIESI( abrupt_deceleration(81, bus)=abrupt, (17070, 17072)) ),
assertz( holdsForIESI( abrupt_deceleration(82, bus)=abrupt, (17079, 17081)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=very_abrupt, (17082, 17089)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=abrupt, (17091, 17097)) ),
assertz( holdsForIESI( abrupt_deceleration(84, bus)=abrupt, (17101, 17103)) ),
assertz( holdsForIESI( abrupt_deceleration(85, bus)=abrupt, (17110, 17113)) ),
assertz( holdsForIESI( abrupt_deceleration(86, bus)=very_abrupt, (17119, 17121)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=abrupt, (17122, 17126)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=abrupt, (17130, 17133)) ),
assertz( holdsForIESI( abrupt_deceleration(88, bus)=very_abrupt, (17139, 17142)) ),
assertz( holdsForIESI( abrupt_deceleration(89, bus)=abrupt, (17148, 17151)) ),
assertz( holdsForIESI( abrupt_deceleration(90, bus)=abrupt, (17158, 17161)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=abrupt, (17167, 17169)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=very_abrupt, (17170, 17177)) ),
assertz( holdsForIESI( abrupt_deceleration(92, bus)=very_abrupt, (17179, 17183)) ),
assertz( holdsForIESI( abrupt_deceleration(93, bus)=very_abrupt, (17191, 17193)) ),
assertz( holdsForIESI( abrupt_deceleration(94, bus)=abrupt, (17199, 17201)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (17203, 17207)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (17211, 17215)) ),
assertz( holdsForIESI( abrupt_deceleration(96, bus)=very_abrupt, (17218, 17223)) ),
assertz( holdsForIESI( abrupt_deceleration(97, bus)=very_abrupt, (17229, 17231)) ),
assertz( holdsForIESI( abrupt_deceleration(98, bus)=abrupt, (17239, 17241)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=abrupt, (17247, 17249)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=abrupt, (17252, 17256)) ),
assertz( holdsForIESI( abrupt_deceleration(100, bus)=very_abrupt, (17261, 17264)) ),
assertz( holdsForIESI( abrupt_deceleration(101, bus)=very_abrupt, (17270, 17273)) ),
assertz( holdsForIESI( abrupt_deceleration(102, bus)=abrupt, (17274, 17280)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=abrupt, (17283, 17289)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=very_abrupt, (17290, 17295)) ),
assertz( holdsForIESI( abrupt_deceleration(104, bus)=very_abrupt, (17303, 17305)) ),
assertz( holdsForIESI( abrupt_deceleration(105, bus)=very_abrupt, (17310, 17313)) ),
assertz( holdsForIESI( abrupt_deceleration(106, bus)=abrupt, (17314, 17316)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (17325, 17328)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=very_abrupt, (17335, 17337)) ),
assertz( holdsForIESI( abrupt_deceleration(108, bus)=abrupt, (17341, 17345)) ),
assertz( holdsForIESI( abrupt_deceleration(109, bus)=abrupt, (17348, 17351)) ),
assertz( holdsForIESI( abrupt_deceleration(110, bus)=very_abrupt, (17357, 17360)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (17365, 17367)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (17370, 17375)) ),
assertz( holdsForIESI( abrupt_deceleration(112, bus)=abrupt, (17378, 17383)) ),
assertz( holdsForIESI( abrupt_deceleration(113, bus)=abrupt, (17387, 17389)) ),
assertz( holdsForIESI( abrupt_deceleration(114, bus)=abrupt, (17398, 17400)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=very_abrupt, (17407, 17409)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=very_abrupt, (17411, 17414)) ),
assertz( holdsForIESI( abrupt_deceleration(116, bus)=abrupt, (17422, 17424)) ),
assertz( holdsForIESI( abrupt_deceleration(117, bus)=abrupt, (17426, 17430)) ),
assertz( holdsForIESI( abrupt_deceleration(118, bus)=abrupt, (17435, 17439)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (17442, 17446)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=abrupt, (17454, 17457)) ),
assertz( holdsForIESI( abrupt_deceleration(120, bus)=very_abrupt, (17463, 17465)) ),
assertz( holdsForIESI( abrupt_deceleration(121, bus)=abrupt, (17467, 17473)) ),
assertz( holdsForIESI( abrupt_deceleration(122, bus)=very_abrupt, (17476, 17479)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=very_abrupt, (17484, 17489)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=abrupt, (17493, 17496)) ),
assertz( holdsForIESI( abrupt_deceleration(124, bus)=abrupt, (17501, 17505)) ),
assertz( holdsForIESI( abrupt_deceleration(125, bus)=abrupt, (17506, 17509)) ),
assertz( holdsForIESI( abrupt_deceleration(126, bus)=abrupt, (17514, 17517)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=abrupt, (17523, 17527)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=abrupt, (17533, 17536)) ),
assertz( holdsForIESI( abrupt_deceleration(128, bus)=abrupt, (17541, 17545)) ),
assertz( holdsForIESI( abrupt_deceleration(129, bus)=abrupt, (17546, 17553)) ),
assertz( holdsForIESI( abrupt_deceleration(130, bus)=abrupt, (17556, 17558)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (17565, 17567)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (17571, 17577)) ),
assertz( holdsForIESI( abrupt_deceleration(132, bus)=abrupt, (17580, 17585)) ),
assertz( holdsForIESI( abrupt_deceleration(133, bus)=abrupt, (17590, 17592)) ),
assertz( holdsForIESI( abrupt_deceleration(134, bus)=abrupt, (17594, 17598)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (17603, 17608)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (17612, 17616)) ),
assertz( holdsForIESI( abrupt_deceleration(136, bus)=abrupt, (17622, 17625)) ),
assertz( holdsForIESI( abrupt_deceleration(137, bus)=abrupt, (17630, 17632)) ),
assertz( holdsForIESI( abrupt_deceleration(138, bus)=abrupt, (17635, 17641)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=very_abrupt, (17642, 17647)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=abrupt, (17651, 17654)) ),
assertz( holdsForIESI( abrupt_deceleration(140, bus)=abrupt, (17659, 17661)) ),
assertz( holdsForIESI( abrupt_deceleration(141, bus)=abrupt, (17669, 17671)) ),
assertz( holdsForIESI( abrupt_deceleration(142, bus)=abrupt, (17678, 17681)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (17682, 17689)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (17691, 17693)) ),
assertz( holdsForIESI( abrupt_deceleration(144, bus)=abrupt, (17701, 17704)) ),
assertz( holdsForIESI( abrupt_deceleration(145, bus)=abrupt, (17709, 17713)) ),
assertz( holdsForIESI( abrupt_deceleration(146, bus)=abrupt, (17714, 17717)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=very_abrupt, (17723, 17726)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=abrupt, (17731, 17737)) ),
assertz( holdsForIESI( abrupt_deceleration(148, bus)=very_abrupt, (17738, 17743)) ),
assertz( holdsForIESI( abrupt_deceleration(149, bus)=very_abrupt, (17748, 17750)) ),
assertz( holdsForIESI( abrupt_deceleration(150, bus)=abrupt, (17758, 17761)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=abrupt, (17763, 17766)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=very_abrupt, (17770, 17772)) ),
assertz( holdsForIESI( abrupt_deceleration(152, bus)=very_abrupt, (17779, 17781)) ),
assertz( holdsForIESI( abrupt_deceleration(153, bus)=very_abrupt, (17789, 17791)) ),
assertz( holdsForIESI( abrupt_deceleration(154, bus)=abrupt, (17799, 17801)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (17802, 17809)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (17814, 17816)) ),
assertz( holdsForIESI( abrupt_deceleration(156, bus)=abrupt, (17818, 17823)) ),
assertz( holdsForIESI( abrupt_deceleration(157, bus)=very_abrupt, (17828, 17831)) ),
assertz( holdsForIESI( abrupt_deceleration(158, bus)=abrupt, (17839, 17841)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (17843, 17845)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (17852, 17854)) ),
assertz( holdsForIESI( abrupt_deceleration(160, bus)=very_abrupt, (17861, 17864)) ),
assertz( holdsForIESI( abrupt_deceleration(161, bus)=abrupt, (17870, 17873)) ),
assertz( holdsForIESI( abrupt_deceleration(162, bus)=abrupt, (17874, 17876)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=very_abrupt, (17883, 17888)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=very_abrupt, (17891, 17896)) ),
assertz( holdsForIESI( abrupt_deceleration(164, bus)=very_abrupt, (17900, 17905)) ),
assertz( holdsForIESI( abrupt_deceleration(165, bus)=abrupt, (17908, 17913)) ),
assertz( holdsForIESI( abrupt_deceleration(166, bus)=abrupt, (17918, 17921)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (17922, 17926)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (17932, 17934)) ),
assertz( holdsForIESI( abrupt_deceleration(168, bus)=very_abrupt, (17940, 17943)) ),
assertz( holdsForIESI( abrupt_deceleration(169, bus)=abrupt, (17950, 17952)) ),
assertz( holdsForIESI( abrupt_deceleration(170, bus)=abrupt, (17959, 17961)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=abrupt, (17963, 17966)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=very_abrupt, (17970, 17976)) ),
assertz( holdsForIESI( abrupt_deceleration(172, bus)=very_abrupt, (17978, 17984)) ),
assertz( holdsForIESI( abrupt_deceleration(173, bus)=abrupt, (17987, 17993)) ),
assertz( holdsForIESI( abrupt_deceleration(174, bus)=abrupt, (17994, 17999)) ).
