 
updateSDE( abrupt_deceleration, '1p_all', 7000, 8000 ) :-
assertz( holdsForIESI( abrupt_deceleration(75, bus)=very_abrupt, (7005, 7009)) ),
assertz( holdsForIESI( abrupt_deceleration(75, bus)=very_abrupt, (7014, 7016)) ),
assertz( holdsForIESI( abrupt_deceleration(76, bus)=abrupt, (7022, 7024)) ),
assertz( holdsForIESI( abrupt_deceleration(77, bus)=abrupt, (7026, 7029)) ),
assertz( holdsForIESI( abrupt_deceleration(78, bus)=abrupt, (7034, 7036)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=very_abrupt, (7044, 7047)) ),
assertz( holdsForIESI( abrupt_deceleration(79, bus)=abrupt, (7053, 7056)) ),
assertz( holdsForIESI( abrupt_deceleration(80, bus)=abrupt, (7058, 7060)) ),
assertz( holdsForIESI( abrupt_deceleration(81, bus)=abrupt, (7066, 7070)) ),
assertz( holdsForIESI( abrupt_deceleration(82, bus)=very_abrupt, (7074, 7077)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=abrupt, (7085, 7089)) ),
assertz( holdsForIESI( abrupt_deceleration(83, bus)=very_abrupt, (7094, 7096)) ),
assertz( holdsForIESI( abrupt_deceleration(84, bus)=abrupt, (7101, 7105)) ),
assertz( holdsForIESI( abrupt_deceleration(85, bus)=abrupt, (7106, 7112)) ),
assertz( holdsForIESI( abrupt_deceleration(86, bus)=very_abrupt, (7119, 7121)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=very_abrupt, (7122, 7128)) ),
assertz( holdsForIESI( abrupt_deceleration(87, bus)=very_abrupt, (7131, 7137)) ),
assertz( holdsForIESI( abrupt_deceleration(88, bus)=abrupt, (7140, 7145)) ),
assertz( holdsForIESI( abrupt_deceleration(89, bus)=abrupt, (7150, 7152)) ),
assertz( holdsForIESI( abrupt_deceleration(90, bus)=very_abrupt, (7154, 7160)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=abrupt, (7165, 7168)) ),
assertz( holdsForIESI( abrupt_deceleration(91, bus)=very_abrupt, (7171, 7177)) ),
assertz( holdsForIESI( abrupt_deceleration(92, bus)=abrupt, (7180, 7182)) ),
assertz( holdsForIESI( abrupt_deceleration(93, bus)=abrupt, (7188, 7191)) ),
assertz( holdsForIESI( abrupt_deceleration(94, bus)=abrupt, (7195, 7201)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=very_abrupt, (7204, 7209)) ),
assertz( holdsForIESI( abrupt_deceleration(95, bus)=very_abrupt, (7210, 7212)) ),
assertz( holdsForIESI( abrupt_deceleration(96, bus)=very_abrupt, (7223, 7225)) ),
assertz( holdsForIESI( abrupt_deceleration(97, bus)=abrupt, (7231, 7233)) ),
assertz( holdsForIESI( abrupt_deceleration(98, bus)=very_abrupt, (7234, 7238)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=abrupt, (7243, 7248)) ),
assertz( holdsForIESI( abrupt_deceleration(99, bus)=abrupt, (7251, 7254)) ),
assertz( holdsForIESI( abrupt_deceleration(100, bus)=abrupt, (7261, 7263)) ),
assertz( holdsForIESI( abrupt_deceleration(101, bus)=abrupt, (7271, 7273)) ),
assertz( holdsForIESI( abrupt_deceleration(102, bus)=abrupt, (7274, 7276)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=abrupt, (7284, 7289)) ),
assertz( holdsForIESI( abrupt_deceleration(103, bus)=very_abrupt, (7291, 7295)) ),
assertz( holdsForIESI( abrupt_deceleration(104, bus)=abrupt, (7303, 7305)) ),
assertz( holdsForIESI( abrupt_deceleration(105, bus)=abrupt, (7306, 7310)) ),
assertz( holdsForIESI( abrupt_deceleration(106, bus)=abrupt, (7314, 7317)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (7322, 7325)) ),
assertz( holdsForIESI( abrupt_deceleration(107, bus)=abrupt, (7333, 7335)) ),
assertz( holdsForIESI( abrupt_deceleration(108, bus)=very_abrupt, (7343, 7345)) ),
assertz( holdsForIESI( abrupt_deceleration(109, bus)=very_abrupt, (7351, 7353)) ),
assertz( holdsForIESI( abrupt_deceleration(110, bus)=abrupt, (7357, 7360)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (7362, 7366)) ),
assertz( holdsForIESI( abrupt_deceleration(111, bus)=abrupt, (7373, 7377)) ),
assertz( holdsForIESI( abrupt_deceleration(112, bus)=very_abrupt, (7380, 7384)) ),
assertz( holdsForIESI( abrupt_deceleration(113, bus)=very_abrupt, (7390, 7392)) ),
assertz( holdsForIESI( abrupt_deceleration(114, bus)=abrupt, (7394, 7399)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=very_abrupt, (7402, 7407)) ),
assertz( holdsForIESI( abrupt_deceleration(115, bus)=very_abrupt, (7411, 7413)) ),
assertz( holdsForIESI( abrupt_deceleration(116, bus)=very_abrupt, (7421, 7425)) ),
assertz( holdsForIESI( abrupt_deceleration(117, bus)=very_abrupt, (7430, 7432)) ),
assertz( holdsForIESI( abrupt_deceleration(118, bus)=abrupt, (7434, 7441)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (7443, 7448)) ),
assertz( holdsForIESI( abrupt_deceleration(119, bus)=very_abrupt, (7450, 7454)) ),
assertz( holdsForIESI( abrupt_deceleration(120, bus)=very_abrupt, (7463, 7465)) ),
assertz( holdsForIESI( abrupt_deceleration(121, bus)=abrupt, (7466, 7472)) ),
assertz( holdsForIESI( abrupt_deceleration(122, bus)=abrupt, (7475, 7480)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=very_abrupt, (7483, 7486)) ),
assertz( holdsForIESI( abrupt_deceleration(123, bus)=abrupt, (7493, 7497)) ),
assertz( holdsForIESI( abrupt_deceleration(124, bus)=very_abrupt, (7500, 7502)) ),
assertz( holdsForIESI( abrupt_deceleration(125, bus)=abrupt, (7510, 7513)) ),
assertz( holdsForIESI( abrupt_deceleration(126, bus)=very_abrupt, (7519, 7521)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=very_abrupt, (7522, 7525)) ),
assertz( holdsForIESI( abrupt_deceleration(127, bus)=very_abrupt, (7533, 7536)) ),
assertz( holdsForIESI( abrupt_deceleration(128, bus)=very_abrupt, (7539, 7545)) ),
assertz( holdsForIESI( abrupt_deceleration(129, bus)=abrupt, (7550, 7553)) ),
assertz( holdsForIESI( abrupt_deceleration(130, bus)=abrupt, (7555, 7561)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=very_abrupt, (7564, 7568)) ),
assertz( holdsForIESI( abrupt_deceleration(131, bus)=abrupt, (7570, 7576)) ),
assertz( holdsForIESI( abrupt_deceleration(132, bus)=very_abrupt, (7579, 7584)) ),
assertz( holdsForIESI( abrupt_deceleration(133, bus)=abrupt, (7590, 7592)) ),
assertz( holdsForIESI( abrupt_deceleration(134, bus)=very_abrupt, (7599, 7601)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=abrupt, (7602, 7606)) ),
assertz( holdsForIESI( abrupt_deceleration(135, bus)=abrupt, (7610, 7615)) ),
assertz( holdsForIESI( abrupt_deceleration(136, bus)=very_abrupt, (7620, 7625)) ),
assertz( holdsForIESI( abrupt_deceleration(137, bus)=abrupt, (7630, 7633)) ),
assertz( holdsForIESI( abrupt_deceleration(138, bus)=very_abrupt, (7639, 7641)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=very_abrupt, (7643, 7649)) ),
assertz( holdsForIESI( abrupt_deceleration(139, bus)=abrupt, (7655, 7657)) ),
assertz( holdsForIESI( abrupt_deceleration(140, bus)=very_abrupt, (7660, 7663)) ),
assertz( holdsForIESI( abrupt_deceleration(141, bus)=very_abrupt, (7669, 7673)) ),
assertz( holdsForIESI( abrupt_deceleration(142, bus)=very_abrupt, (7675, 7678)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (7686, 7689)) ),
assertz( holdsForIESI( abrupt_deceleration(143, bus)=abrupt, (7690, 7692)) ),
assertz( holdsForIESI( abrupt_deceleration(144, bus)=abrupt, (7699, 7702)) ),
assertz( holdsForIESI( abrupt_deceleration(145, bus)=very_abrupt, (7706, 7709)) ),
assertz( holdsForIESI( abrupt_deceleration(146, bus)=very_abrupt, (7717, 7719)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=very_abrupt, (7726, 7729)) ),
assertz( holdsForIESI( abrupt_deceleration(147, bus)=abrupt, (7735, 7737)) ),
assertz( holdsForIESI( abrupt_deceleration(148, bus)=very_abrupt, (7739, 7741)) ),
assertz( holdsForIESI( abrupt_deceleration(149, bus)=abrupt, (7747, 7749)) ),
assertz( holdsForIESI( abrupt_deceleration(150, bus)=abrupt, (7756, 7758)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=very_abrupt, (7763, 7767)) ),
assertz( holdsForIESI( abrupt_deceleration(151, bus)=very_abrupt, (7773, 7777)) ),
assertz( holdsForIESI( abrupt_deceleration(152, bus)=abrupt, (7783, 7785)) ),
assertz( holdsForIESI( abrupt_deceleration(153, bus)=very_abrupt, (7787, 7790)) ),
assertz( holdsForIESI( abrupt_deceleration(154, bus)=very_abrupt, (7797, 7800)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=very_abrupt, (7803, 7807)) ),
assertz( holdsForIESI( abrupt_deceleration(155, bus)=abrupt, (7814, 7816)) ),
assertz( holdsForIESI( abrupt_deceleration(156, bus)=very_abrupt, (7823, 7825)) ),
assertz( holdsForIESI( abrupt_deceleration(157, bus)=very_abrupt, (7826, 7832)) ),
assertz( holdsForIESI( abrupt_deceleration(158, bus)=abrupt, (7835, 7838)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=very_abrupt, (7845, 7847)) ),
assertz( holdsForIESI( abrupt_deceleration(159, bus)=abrupt, (7853, 7855)) ),
assertz( holdsForIESI( abrupt_deceleration(160, bus)=abrupt, (7860, 7865)) ),
assertz( holdsForIESI( abrupt_deceleration(161, bus)=abrupt, (7866, 7873)) ),
assertz( holdsForIESI( abrupt_deceleration(162, bus)=abrupt, (7876, 7878)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=very_abrupt, (7886, 7888)) ),
assertz( holdsForIESI( abrupt_deceleration(163, bus)=abrupt, (7895, 7897)) ),
assertz( holdsForIESI( abrupt_deceleration(164, bus)=very_abrupt, (7903, 7905)) ),
assertz( holdsForIESI( abrupt_deceleration(165, bus)=very_abrupt, (7908, 7910)) ),
assertz( holdsForIESI( abrupt_deceleration(166, bus)=very_abrupt, (7914, 7917)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=very_abrupt, (7924, 7926)) ),
assertz( holdsForIESI( abrupt_deceleration(167, bus)=abrupt, (7934, 7937)) ),
assertz( holdsForIESI( abrupt_deceleration(168, bus)=very_abrupt, (7941, 7945)) ),
assertz( holdsForIESI( abrupt_deceleration(169, bus)=abrupt, (7950, 7952)) ),
assertz( holdsForIESI( abrupt_deceleration(170, bus)=abrupt, (7954, 7959)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=abrupt, (7964, 7967)) ),
assertz( holdsForIESI( abrupt_deceleration(171, bus)=very_abrupt, (7971, 7974)) ),
assertz( holdsForIESI( abrupt_deceleration(172, bus)=abrupt, (7980, 7985)) ),
assertz( holdsForIESI( abrupt_deceleration(173, bus)=abrupt, (7986, 7990)) ),
assertz( holdsForIESI( abrupt_deceleration(174, bus)=very_abrupt, (7994, 7999)) ).
