 
updateSDE( abrupt_acceleration, '1p_all', 14000, 15000 ) :-
assertz( holdsForIESI( abrupt_acceleration(75, bus)=very_abrupt, (14004, 14008)) ),
assertz( holdsForIESI( abrupt_acceleration(75, bus)=abrupt, (14014, 14016)) ),
assertz( holdsForIESI( abrupt_acceleration(76, bus)=very_abrupt, (14019, 14023)) ),
assertz( holdsForIESI( abrupt_acceleration(77, bus)=very_abrupt, (14028, 14030)) ),
assertz( holdsForIESI( abrupt_acceleration(78, bus)=very_abrupt, (14034, 14038)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=very_abrupt, (14047, 14049)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=abrupt, (14050, 14053)) ),
assertz( holdsForIESI( abrupt_acceleration(80, bus)=abrupt, (14059, 14063)) ),
assertz( holdsForIESI( abrupt_acceleration(81, bus)=very_abrupt, (14069, 14072)) ),
assertz( holdsForIESI( abrupt_acceleration(82, bus)=very_abrupt, (14079, 14081)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=very_abrupt, (14087, 14089)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=very_abrupt, (14090, 14093)) ),
assertz( holdsForIESI( abrupt_acceleration(84, bus)=abrupt, (14100, 14105)) ),
assertz( holdsForIESI( abrupt_acceleration(85, bus)=very_abrupt, (14111, 14113)) ),
assertz( holdsForIESI( abrupt_acceleration(86, bus)=very_abrupt, (14115, 14119)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=abrupt, (14123, 14127)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=very_abrupt, (14130, 14134)) ),
assertz( holdsForIESI( abrupt_acceleration(88, bus)=very_abrupt, (14140, 14143)) ),
assertz( holdsForIESI( abrupt_acceleration(89, bus)=abrupt, (14146, 14153)) ),
assertz( holdsForIESI( abrupt_acceleration(90, bus)=abrupt, (14155, 14158)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=abrupt, (14163, 14168)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=abrupt, (14175, 14177)) ),
assertz( holdsForIESI( abrupt_acceleration(92, bus)=very_abrupt, (14181, 14183)) ),
assertz( holdsForIESI( abrupt_acceleration(93, bus)=abrupt, (14186, 14191)) ),
assertz( holdsForIESI( abrupt_acceleration(94, bus)=abrupt, (14194, 14197)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=abrupt, (14204, 14209)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (14213, 14215)) ),
assertz( holdsForIESI( abrupt_acceleration(96, bus)=abrupt, (14222, 14225)) ),
assertz( holdsForIESI( abrupt_acceleration(97, bus)=abrupt, (14227, 14230)) ),
assertz( holdsForIESI( abrupt_acceleration(98, bus)=very_abrupt, (14235, 14240)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=abrupt, (14243, 14246)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=very_abrupt, (14252, 14255)) ),
assertz( holdsForIESI( abrupt_acceleration(100, bus)=abrupt, (14262, 14264)) ),
assertz( holdsForIESI( abrupt_acceleration(101, bus)=very_abrupt, (14267, 14269)) ),
assertz( holdsForIESI( abrupt_acceleration(102, bus)=abrupt, (14275, 14279)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=very_abrupt, (14284, 14287)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=abrupt, (14294, 14296)) ),
assertz( holdsForIESI( abrupt_acceleration(104, bus)=very_abrupt, (14303, 14305)) ),
assertz( holdsForIESI( abrupt_acceleration(105, bus)=very_abrupt, (14306, 14310)) ),
assertz( holdsForIESI( abrupt_acceleration(106, bus)=very_abrupt, (14316, 14320)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=abrupt, (14323, 14327)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=very_abrupt, (14330, 14337)) ),
assertz( holdsForIESI( abrupt_acceleration(108, bus)=very_abrupt, (14343, 14345)) ),
assertz( holdsForIESI( abrupt_acceleration(109, bus)=very_abrupt, (14348, 14350)) ),
assertz( holdsForIESI( abrupt_acceleration(110, bus)=abrupt, (14358, 14361)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=abrupt, (14363, 14369)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=very_abrupt, (14372, 14376)) ),
assertz( holdsForIESI( abrupt_acceleration(112, bus)=very_abrupt, (14381, 14385)) ),
assertz( holdsForIESI( abrupt_acceleration(113, bus)=abrupt, (14389, 14393)) ),
assertz( holdsForIESI( abrupt_acceleration(114, bus)=abrupt, (14394, 14400)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (14407, 14409)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (14410, 14417)) ),
assertz( holdsForIESI( abrupt_acceleration(116, bus)=abrupt, (14419, 14424)) ),
assertz( holdsForIESI( abrupt_acceleration(117, bus)=abrupt, (14427, 14431)) ),
assertz( holdsForIESI( abrupt_acceleration(118, bus)=abrupt, (14439, 14441)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=abrupt, (14442, 14449)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=abrupt, (14450, 14452)) ),
assertz( holdsForIESI( abrupt_acceleration(120, bus)=very_abrupt, (14461, 14463)) ),
assertz( holdsForIESI( abrupt_acceleration(121, bus)=very_abrupt, (14468, 14473)) ),
assertz( holdsForIESI( abrupt_acceleration(122, bus)=abrupt, (14476, 14479)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=abrupt, (14486, 14488)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=very_abrupt, (14495, 14497)) ),
assertz( holdsForIESI( abrupt_acceleration(124, bus)=very_abrupt, (14498, 14502)) ),
assertz( holdsForIESI( abrupt_acceleration(125, bus)=very_abrupt, (14508, 14512)) ),
assertz( holdsForIESI( abrupt_acceleration(126, bus)=abrupt, (14515, 14517)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (14526, 14529)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (14530, 14536)) ),
assertz( holdsForIESI( abrupt_acceleration(128, bus)=very_abrupt, (14539, 14541)) ),
assertz( holdsForIESI( abrupt_acceleration(129, bus)=very_abrupt, (14547, 14551)) ),
assertz( holdsForIESI( abrupt_acceleration(130, bus)=very_abrupt, (14559, 14561)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=abrupt, (14562, 14567)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=abrupt, (14571, 14576)) ),
assertz( holdsForIESI( abrupt_acceleration(132, bus)=abrupt, (14581, 14584)) ),
assertz( holdsForIESI( abrupt_acceleration(133, bus)=very_abrupt, (14589, 14592)) ),
assertz( holdsForIESI( abrupt_acceleration(134, bus)=abrupt, (14594, 14599)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=very_abrupt, (14604, 14608)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=very_abrupt, (14613, 14615)) ),
assertz( holdsForIESI( abrupt_acceleration(136, bus)=very_abrupt, (14620, 14625)) ),
assertz( holdsForIESI( abrupt_acceleration(137, bus)=abrupt, (14628, 14631)) ),
assertz( holdsForIESI( abrupt_acceleration(138, bus)=abrupt, (14639, 14641)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=abrupt, (14642, 14647)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=very_abrupt, (14653, 14655)) ),
assertz( holdsForIESI( abrupt_acceleration(140, bus)=very_abrupt, (14659, 14664)) ),
assertz( holdsForIESI( abrupt_acceleration(141, bus)=abrupt, (14669, 14671)) ),
assertz( holdsForIESI( abrupt_acceleration(142, bus)=abrupt, (14679, 14681)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (14682, 14684)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (14692, 14696)) ),
assertz( holdsForIESI( abrupt_acceleration(144, bus)=abrupt, (14700, 14702)) ),
assertz( holdsForIESI( abrupt_acceleration(145, bus)=very_abrupt, (14706, 14712)) ),
assertz( holdsForIESI( abrupt_acceleration(146, bus)=very_abrupt, (14719, 14721)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=abrupt, (14722, 14727)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=abrupt, (14731, 14733)) ),
assertz( holdsForIESI( abrupt_acceleration(148, bus)=abrupt, (14739, 14741)) ),
assertz( holdsForIESI( abrupt_acceleration(149, bus)=abrupt, (14750, 14753)) ),
assertz( holdsForIESI( abrupt_acceleration(150, bus)=abrupt, (14755, 14759)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=abrupt, (14763, 14765)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=abrupt, (14771, 14777)) ),
assertz( holdsForIESI( abrupt_acceleration(152, bus)=very_abrupt, (14778, 14784)) ),
assertz( holdsForIESI( abrupt_acceleration(153, bus)=very_abrupt, (14790, 14792)) ),
assertz( holdsForIESI( abrupt_acceleration(154, bus)=very_abrupt, (14798, 14800)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=abrupt, (14803, 14806)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=very_abrupt, (14813, 14815)) ),
assertz( holdsForIESI( abrupt_acceleration(156, bus)=very_abrupt, (14820, 14823)) ),
assertz( holdsForIESI( abrupt_acceleration(157, bus)=very_abrupt, (14829, 14832)) ),
assertz( holdsForIESI( abrupt_acceleration(158, bus)=abrupt, (14837, 14841)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=abrupt, (14842, 14846)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=abrupt, (14855, 14857)) ),
assertz( holdsForIESI( abrupt_acceleration(160, bus)=very_abrupt, (14858, 14860)) ),
assertz( holdsForIESI( abrupt_acceleration(161, bus)=very_abrupt, (14868, 14873)) ),
assertz( holdsForIESI( abrupt_acceleration(162, bus)=very_abrupt, (14877, 14879)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=very_abrupt, (14884, 14889)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=abrupt, (14894, 14896)) ),
assertz( holdsForIESI( abrupt_acceleration(164, bus)=very_abrupt, (14899, 14902)) ),
assertz( holdsForIESI( abrupt_acceleration(165, bus)=very_abrupt, (14909, 14911)) ),
assertz( holdsForIESI( abrupt_acceleration(166, bus)=abrupt, (14916, 14918)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=abrupt, (14922, 14924)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=abrupt, (14934, 14937)) ),
assertz( holdsForIESI( abrupt_acceleration(168, bus)=very_abrupt, (14943, 14945)) ),
assertz( holdsForIESI( abrupt_acceleration(169, bus)=very_abrupt, (14948, 14953)) ),
assertz( holdsForIESI( abrupt_acceleration(170, bus)=very_abrupt, (14954, 14960)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=very_abrupt, (14964, 14969)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=abrupt, (14975, 14977)) ),
assertz( holdsForIESI( abrupt_acceleration(172, bus)=abrupt, (14981, 14984)) ),
assertz( holdsForIESI( abrupt_acceleration(173, bus)=abrupt, (14986, 14991)) ),
assertz( holdsForIESI( abrupt_acceleration(174, bus)=abrupt, (14994, 14999)) ).
