 
updateSDE( abrupt_deceleration, '1p_all', 5000, 6000 ) :-
assertz( holdsForIESI( abrupt_deceleration(75, bus)=abrupt, (5007, 5009)) ),
assertz( holdsForIESI( abrupt_deceleration(75, bus)=abrupt, (5011, 5013)) ),
assertz( holdsForIESI( abrupt_deceleration(76, bus)=very_abrupt, (5019, 5023)) ),
assertz( holdsForIESI( abrupt_deceleration(77, bus)=very_abrupt, (5030, 5032)) ),
assertz( holdsForIESI( abrupt_deceleration(78, bus)=very_abrupt, (5034, 5037)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=very_abrupt, (5042, 5046)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=very_abrupt, (5050, 5055)) ),
assertz( holdsForIESI( abrupt_deceleration(80, bus)=very_abrupt, (5061, 5064)) ),
assertz( holdsForIESI( abrupt_deceleration(81, bus)=very_abrupt, (5071, 5073)) ),
assertz( holdsForIESI( abrupt_deceleration(82, bus)=very_abrupt, (5074, 5076)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=abrupt, (5085, 5089)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=abrupt, (5092, 5097)) ),
assertz( holdsForIESI( abrupt_deceleration(84, bus)=abrupt, (5103, 5105)) ),
assertz( holdsForIESI( abrupt_deceleration(85, bus)=abrupt, (5107, 5109)) ),
assertz( holdsForIESI( abrupt_deceleration(86, bus)=very_abrupt, (5115, 5120)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=very_abrupt, (5125, 5128)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=abrupt, (5130, 5135)) ),
assertz( holdsForIESI( abrupt_deceleration(88, bus)=very_abrupt, (5138, 5144)) ),
assertz( holdsForIESI( abrupt_deceleration(89, bus)=very_abrupt, (5148, 5152)) ),
assertz( holdsForIESI( abrupt_deceleration(90, bus)=very_abrupt, (5157, 5161)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=very_abrupt, (5165, 5169)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=abrupt, (5170, 5176)) ),
assertz( holdsForIESI( abrupt_deceleration(92, bus)=very_abrupt, (5180, 5185)) ),
assertz( holdsForIESI( abrupt_deceleration(93, bus)=abrupt, (5189, 5193)) ),
assertz( holdsForIESI( abrupt_deceleration(94, bus)=abrupt, (5197, 5201)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=very_abrupt, (5205, 5209)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (5213, 5217)) ),
assertz( holdsForIESI( abrupt_deceleration(96, bus)=very_abrupt, (5222, 5225)) ),
assertz( holdsForIESI( abrupt_deceleration(97, bus)=abrupt, (5230, 5233)) ),
assertz( holdsForIESI( abrupt_deceleration(98, bus)=very_abrupt, (5234, 5238)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=very_abrupt, (5243, 5248)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=very_abrupt, (5254, 5256)) ),
assertz( holdsForIESI( abrupt_deceleration(100, bus)=very_abrupt, (5258, 5264)) ),
assertz( holdsForIESI( abrupt_deceleration(101, bus)=very_abrupt, (5269, 5272)) ),
assertz( holdsForIESI( abrupt_deceleration(102, bus)=very_abrupt, (5274, 5281)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=very_abrupt, (5285, 5289)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=abrupt, (5293, 5295)) ),
assertz( holdsForIESI( abrupt_deceleration(104, bus)=abrupt, (5303, 5305)) ),
assertz( holdsForIESI( abrupt_deceleration(105, bus)=very_abrupt, (5306, 5309)) ),
assertz( holdsForIESI( abrupt_deceleration(106, bus)=abrupt, (5318, 5320)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (5326, 5328)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (5330, 5334)) ),
assertz( holdsForIESI( abrupt_deceleration(108, bus)=very_abrupt, (5340, 5343)) ),
assertz( holdsForIESI( abrupt_deceleration(109, bus)=very_abrupt, (5349, 5351)) ),
assertz( holdsForIESI( abrupt_deceleration(110, bus)=abrupt, (5359, 5361)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (5367, 5369)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=very_abrupt, (5371, 5375)) ),
assertz( holdsForIESI( abrupt_deceleration(112, bus)=very_abrupt, (5379, 5381)) ),
assertz( holdsForIESI( abrupt_deceleration(113, bus)=very_abrupt, (5389, 5393)) ),
assertz( holdsForIESI( abrupt_deceleration(114, bus)=abrupt, (5399, 5401)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=abrupt, (5403, 5409)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=abrupt, (5411, 5417)) ),
assertz( holdsForIESI( abrupt_deceleration(116, bus)=abrupt, (5419, 5425)) ),
assertz( holdsForIESI( abrupt_deceleration(117, bus)=very_abrupt, (5429, 5433)) ),
assertz( holdsForIESI( abrupt_deceleration(118, bus)=abrupt, (5437, 5439)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (5442, 5448)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (5452, 5456)) ),
assertz( holdsForIESI( abrupt_deceleration(120, bus)=very_abrupt, (5462, 5464)) ),
assertz( holdsForIESI( abrupt_deceleration(121, bus)=abrupt, (5467, 5469)) ),
assertz( holdsForIESI( abrupt_deceleration(122, bus)=very_abrupt, (5475, 5477)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=very_abrupt, (5486, 5489)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=very_abrupt, (5494, 5497)) ),
assertz( holdsForIESI( abrupt_deceleration(124, bus)=very_abrupt, (5498, 5504)) ),
assertz( holdsForIESI( abrupt_deceleration(125, bus)=very_abrupt, (5507, 5513)) ),
assertz( holdsForIESI( abrupt_deceleration(126, bus)=abrupt, (5517, 5519)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=abrupt, (5525, 5529)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=very_abrupt, (5530, 5532)) ),
assertz( holdsForIESI( abrupt_deceleration(128, bus)=very_abrupt, (5541, 5545)) ),
assertz( holdsForIESI( abrupt_deceleration(129, bus)=abrupt, (5551, 5553)) ),
assertz( holdsForIESI( abrupt_deceleration(130, bus)=abrupt, (5554, 5561)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (5562, 5569)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (5574, 5576)) ),
assertz( holdsForIESI( abrupt_deceleration(132, bus)=abrupt, (5579, 5582)) ),
assertz( holdsForIESI( abrupt_deceleration(133, bus)=abrupt, (5590, 5592)) ),
assertz( holdsForIESI( abrupt_deceleration(134, bus)=very_abrupt, (5599, 5601)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (5602, 5608)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (5612, 5617)) ),
assertz( holdsForIESI( abrupt_deceleration(136, bus)=abrupt, (5622, 5624)) ),
assertz( holdsForIESI( abrupt_deceleration(137, bus)=abrupt, (5627, 5631)) ),
assertz( holdsForIESI( abrupt_deceleration(138, bus)=very_abrupt, (5637, 5640)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=abrupt, (5647, 5649)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=very_abrupt, (5653, 5657)) ),
assertz( holdsForIESI( abrupt_deceleration(140, bus)=abrupt, (5662, 5665)) ),
assertz( holdsForIESI( abrupt_deceleration(141, bus)=abrupt, (5666, 5670)) ),
assertz( holdsForIESI( abrupt_deceleration(142, bus)=very_abrupt, (5675, 5679)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=very_abrupt, (5686, 5688)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (5690, 5695)) ),
assertz( holdsForIESI( abrupt_deceleration(144, bus)=very_abrupt, (5698, 5705)) ),
assertz( holdsForIESI( abrupt_deceleration(145, bus)=abrupt, (5707, 5711)) ),
assertz( holdsForIESI( abrupt_deceleration(146, bus)=very_abrupt, (5718, 5721)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=abrupt, (5726, 5728)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=very_abrupt, (5730, 5735)) ),
assertz( holdsForIESI( abrupt_deceleration(148, bus)=very_abrupt, (5738, 5740)) ),
assertz( holdsForIESI( abrupt_deceleration(149, bus)=very_abrupt, (5749, 5753)) ),
assertz( holdsForIESI( abrupt_deceleration(150, bus)=abrupt, (5759, 5761)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=abrupt, (5762, 5769)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=abrupt, (5770, 5773)) ),
assertz( holdsForIESI( abrupt_deceleration(152, bus)=very_abrupt, (5778, 5785)) ),
assertz( holdsForIESI( abrupt_deceleration(153, bus)=very_abrupt, (5788, 5791)) ),
assertz( holdsForIESI( abrupt_deceleration(154, bus)=very_abrupt, (5797, 5801)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (5802, 5807)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (5810, 5812)) ),
assertz( holdsForIESI( abrupt_deceleration(156, bus)=abrupt, (5819, 5821)) ),
assertz( holdsForIESI( abrupt_deceleration(157, bus)=abrupt, (5827, 5831)) ),
assertz( holdsForIESI( abrupt_deceleration(158, bus)=very_abrupt, (5836, 5839)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=abrupt, (5847, 5849)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (5855, 5857)) ),
assertz( holdsForIESI( abrupt_deceleration(160, bus)=abrupt, (5859, 5861)) ),
assertz( holdsForIESI( abrupt_deceleration(161, bus)=very_abrupt, (5867, 5870)) ),
assertz( holdsForIESI( abrupt_deceleration(162, bus)=very_abrupt, (5879, 5881)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=abrupt, (5882, 5884)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=abrupt, (5890, 5892)) ),
assertz( holdsForIESI( abrupt_deceleration(164, bus)=very_abrupt, (5902, 5904)) ),
assertz( holdsForIESI( abrupt_deceleration(165, bus)=very_abrupt, (5910, 5913)) ),
assertz( holdsForIESI( abrupt_deceleration(166, bus)=very_abrupt, (5918, 5921)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (5923, 5926)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (5931, 5937)) ),
assertz( holdsForIESI( abrupt_deceleration(168, bus)=very_abrupt, (5941, 5944)) ),
assertz( holdsForIESI( abrupt_deceleration(169, bus)=abrupt, (5951, 5953)) ),
assertz( holdsForIESI( abrupt_deceleration(170, bus)=abrupt, (5954, 5958)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=very_abrupt, (5962, 5965)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=abrupt, (5973, 5976)) ),
assertz( holdsForIESI( abrupt_deceleration(172, bus)=abrupt, (5981, 5985)) ),
assertz( holdsForIESI( abrupt_deceleration(173, bus)=abrupt, (5990, 5992)) ),
assertz( holdsForIESI( abrupt_deceleration(174, bus)=very_abrupt, (5994, 5999)) ).
