 
updateSDE( abrupt_deceleration, '1p_all', 0, 1000 ) :-
assertz( holdsForIESI( abrupt_deceleration(75, bus)=very_abrupt, (3, 5)) ),
assertz( holdsForIESI( abrupt_deceleration(75, bus)=abrupt, (10, 17)) ),
assertz( holdsForIESI( abrupt_deceleration(76, bus)=abrupt, (18, 23)) ),
assertz( holdsForIESI( abrupt_deceleration(77, bus)=abrupt, (26, 31)) ),
assertz( holdsForIESI( abrupt_deceleration(78, bus)=abrupt, (34, 39)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=abrupt, (44, 48)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=abrupt, (51, 53)) ),
assertz( holdsForIESI( abrupt_deceleration(80, bus)=very_abrupt, (63, 65)) ),
assertz( holdsForIESI( abrupt_deceleration(81, bus)=very_abrupt, (66, 71)) ),
assertz( holdsForIESI( abrupt_deceleration(82, bus)=abrupt, (76, 81)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=abrupt, (83, 89)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=very_abrupt, (92, 94)) ),
assertz( holdsForIESI( abrupt_deceleration(84, bus)=very_abrupt, (101, 103)) ),
assertz( holdsForIESI( abrupt_deceleration(85, bus)=very_abrupt, (106, 108)) ),
assertz( holdsForIESI( abrupt_deceleration(86, bus)=very_abrupt, (115, 119)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=abrupt, (124, 129)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=abrupt, (132, 134)) ),
assertz( holdsForIESI( abrupt_deceleration(88, bus)=abrupt, (140, 144)) ),
assertz( holdsForIESI( abrupt_deceleration(89, bus)=abrupt, (149, 151)) ),
assertz( holdsForIESI( abrupt_deceleration(90, bus)=abrupt, (154, 159)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=abrupt, (167, 169)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=very_abrupt, (172, 176)) ),
assertz( holdsForIESI( abrupt_deceleration(92, bus)=abrupt, (180, 185)) ),
assertz( holdsForIESI( abrupt_deceleration(93, bus)=very_abrupt, (190, 193)) ),
assertz( holdsForIESI( abrupt_deceleration(94, bus)=very_abrupt, (196, 199)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (207, 209)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=abrupt, (212, 215)) ),
assertz( holdsForIESI( abrupt_deceleration(96, bus)=abrupt, (219, 225)) ),
assertz( holdsForIESI( abrupt_deceleration(97, bus)=very_abrupt, (227, 230)) ),
assertz( holdsForIESI( abrupt_deceleration(98, bus)=very_abrupt, (239, 241)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=very_abrupt, (244, 247)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=very_abrupt, (254, 256)) ),
assertz( holdsForIESI( abrupt_deceleration(100, bus)=very_abrupt, (259, 261)) ),
assertz( holdsForIESI( abrupt_deceleration(101, bus)=very_abrupt, (269, 272)) ),
assertz( holdsForIESI( abrupt_deceleration(102, bus)=very_abrupt, (275, 277)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=abrupt, (283, 288)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=very_abrupt, (291, 297)) ),
assertz( holdsForIESI( abrupt_deceleration(104, bus)=very_abrupt, (298, 304)) ),
assertz( holdsForIESI( abrupt_deceleration(105, bus)=very_abrupt, (307, 312)) ),
assertz( holdsForIESI( abrupt_deceleration(106, bus)=abrupt, (315, 318)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (322, 326)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (333, 335)) ),
assertz( holdsForIESI( abrupt_deceleration(108, bus)=very_abrupt, (341, 343)) ),
assertz( holdsForIESI( abrupt_deceleration(109, bus)=abrupt, (347, 352)) ),
assertz( holdsForIESI( abrupt_deceleration(110, bus)=very_abrupt, (359, 361)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=very_abrupt, (367, 369)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (372, 376)) ),
assertz( holdsForIESI( abrupt_deceleration(112, bus)=very_abrupt, (382, 384)) ),
assertz( holdsForIESI( abrupt_deceleration(113, bus)=very_abrupt, (390, 393)) ),
assertz( holdsForIESI( abrupt_deceleration(114, bus)=abrupt, (396, 401)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=abrupt, (404, 407)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=very_abrupt, (410, 414)) ),
assertz( holdsForIESI( abrupt_deceleration(116, bus)=very_abrupt, (422, 425)) ),
assertz( holdsForIESI( abrupt_deceleration(117, bus)=very_abrupt, (427, 429)) ),
assertz( holdsForIESI( abrupt_deceleration(118, bus)=very_abrupt, (434, 440)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (446, 449)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=abrupt, (451, 456)) ),
assertz( holdsForIESI( abrupt_deceleration(120, bus)=abrupt, (462, 464)) ),
assertz( holdsForIESI( abrupt_deceleration(121, bus)=very_abrupt, (466, 473)) ),
assertz( holdsForIESI( abrupt_deceleration(122, bus)=abrupt, (474, 479)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=very_abrupt, (484, 487)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=abrupt, (490, 493)) ),
assertz( holdsForIESI( abrupt_deceleration(124, bus)=very_abrupt, (502, 504)) ),
assertz( holdsForIESI( abrupt_deceleration(125, bus)=abrupt, (508, 511)) ),
assertz( holdsForIESI( abrupt_deceleration(126, bus)=abrupt, (515, 521)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=abrupt, (525, 529)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=abrupt, (533, 535)) ),
assertz( holdsForIESI( abrupt_deceleration(128, bus)=very_abrupt, (538, 545)) ),
assertz( holdsForIESI( abrupt_deceleration(129, bus)=abrupt, (550, 553)) ),
assertz( holdsForIESI( abrupt_deceleration(130, bus)=abrupt, (554, 556)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (567, 569)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=abrupt, (570, 575)) ),
assertz( holdsForIESI( abrupt_deceleration(132, bus)=very_abrupt, (581, 583)) ),
assertz( holdsForIESI( abrupt_deceleration(133, bus)=abrupt, (588, 591)) ),
assertz( holdsForIESI( abrupt_deceleration(134, bus)=very_abrupt, (599, 601)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (602, 609)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=very_abrupt, (610, 612)) ),
assertz( holdsForIESI( abrupt_deceleration(136, bus)=abrupt, (621, 625)) ),
assertz( holdsForIESI( abrupt_deceleration(137, bus)=abrupt, (627, 630)) ),
assertz( holdsForIESI( abrupt_deceleration(138, bus)=abrupt, (639, 641)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=abrupt, (644, 647)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=very_abrupt, (651, 654)) ),
assertz( holdsForIESI( abrupt_deceleration(140, bus)=very_abrupt, (659, 662)) ),
assertz( holdsForIESI( abrupt_deceleration(141, bus)=abrupt, (667, 672)) ),
assertz( holdsForIESI( abrupt_deceleration(142, bus)=very_abrupt, (676, 679)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (685, 689)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (690, 697)) ),
assertz( holdsForIESI( abrupt_deceleration(144, bus)=abrupt, (703, 705)) ),
assertz( holdsForIESI( abrupt_deceleration(145, bus)=very_abrupt, (711, 713)) ),
assertz( holdsForIESI( abrupt_deceleration(146, bus)=very_abrupt, (714, 718)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=abrupt, (724, 728)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=abrupt, (731, 733)) ),
assertz( holdsForIESI( abrupt_deceleration(148, bus)=abrupt, (740, 744)) ),
assertz( holdsForIESI( abrupt_deceleration(149, bus)=abrupt, (746, 752)) ),
assertz( holdsForIESI( abrupt_deceleration(150, bus)=abrupt, (756, 758)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=very_abrupt, (764, 768)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=very_abrupt, (770, 776)) ),
assertz( holdsForIESI( abrupt_deceleration(152, bus)=very_abrupt, (780, 784)) ),
assertz( holdsForIESI( abrupt_deceleration(153, bus)=very_abrupt, (790, 793)) ),
assertz( holdsForIESI( abrupt_deceleration(154, bus)=very_abrupt, (794, 800)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (803, 806)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (813, 815)) ),
assertz( holdsForIESI( abrupt_deceleration(156, bus)=very_abrupt, (818, 820)) ),
assertz( holdsForIESI( abrupt_deceleration(157, bus)=abrupt, (826, 829)) ),
assertz( holdsForIESI( abrupt_deceleration(158, bus)=abrupt, (838, 841)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=abrupt, (843, 845)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (851, 856)) ),
assertz( holdsForIESI( abrupt_deceleration(160, bus)=very_abrupt, (863, 865)) ),
assertz( holdsForIESI( abrupt_deceleration(161, bus)=very_abrupt, (871, 873)) ),
assertz( holdsForIESI( abrupt_deceleration(162, bus)=very_abrupt, (876, 878)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=abrupt, (883, 886)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=very_abrupt, (894, 896)) ),
assertz( holdsForIESI( abrupt_deceleration(164, bus)=abrupt, (900, 903)) ),
assertz( holdsForIESI( abrupt_deceleration(165, bus)=abrupt, (910, 913)) ),
assertz( holdsForIESI( abrupt_deceleration(166, bus)=very_abrupt, (915, 917)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (922, 928)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (931, 935)) ),
assertz( holdsForIESI( abrupt_deceleration(168, bus)=abrupt, (941, 944)) ),
assertz( holdsForIESI( abrupt_deceleration(169, bus)=very_abrupt, (951, 953)) ),
assertz( holdsForIESI( abrupt_deceleration(170, bus)=abrupt, (954, 956)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=very_abrupt, (963, 965)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=abrupt, (970, 975)) ),
assertz( holdsForIESI( abrupt_deceleration(172, bus)=abrupt, (979, 985)) ),
assertz( holdsForIESI( abrupt_deceleration(173, bus)=very_abrupt, (989, 992)) ),
assertz( holdsForIESI( abrupt_deceleration(174, bus)=very_abrupt, (994, 999)) ).
