 
updateSDE( abrupt_acceleration, '1p_all', 22000, 23000 ) :-
assertz( holdsForIESI( abrupt_acceleration(75, bus)=abrupt, (22002, 22008)) ),
assertz( holdsForIESI( abrupt_acceleration(75, bus)=very_abrupt, (22012, 22015)) ),
assertz( holdsForIESI( abrupt_acceleration(76, bus)=abrupt, (22022, 22025)) ),
assertz( holdsForIESI( abrupt_acceleration(77, bus)=abrupt, (22026, 22032)) ),
assertz( holdsForIESI( abrupt_acceleration(78, bus)=abrupt, (22039, 22041)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=very_abrupt, (22047, 22049)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=very_abrupt, (22052, 22056)) ),
assertz( holdsForIESI( abrupt_acceleration(80, bus)=very_abrupt, (22061, 22064)) ),
assertz( holdsForIESI( abrupt_acceleration(81, bus)=very_abrupt, (22070, 22072)) ),
assertz( holdsForIESI( abrupt_acceleration(82, bus)=abrupt, (22074, 22078)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=abrupt, (22083, 22086)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=very_abrupt, (22092, 22096)) ),
assertz( holdsForIESI( abrupt_acceleration(84, bus)=abrupt, (22100, 22102)) ),
assertz( holdsForIESI( abrupt_acceleration(85, bus)=abrupt, (22109, 22111)) ),
assertz( holdsForIESI( abrupt_acceleration(86, bus)=abrupt, (22114, 22118)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=abrupt, (22125, 22129)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=very_abrupt, (22132, 22136)) ),
assertz( holdsForIESI( abrupt_acceleration(88, bus)=abrupt, (22138, 22145)) ),
assertz( holdsForIESI( abrupt_acceleration(89, bus)=very_abrupt, (22146, 22153)) ),
assertz( holdsForIESI( abrupt_acceleration(90, bus)=very_abrupt, (22155, 22158)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=abrupt, (22164, 22167)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=very_abrupt, (22175, 22177)) ),
assertz( holdsForIESI( abrupt_acceleration(92, bus)=very_abrupt, (22182, 22184)) ),
assertz( holdsForIESI( abrupt_acceleration(93, bus)=abrupt, (22189, 22193)) ),
assertz( holdsForIESI( abrupt_acceleration(94, bus)=abrupt, (22194, 22201)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (22203, 22207)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (22212, 22214)) ),
assertz( holdsForIESI( abrupt_acceleration(96, bus)=abrupt, (22221, 22225)) ),
assertz( holdsForIESI( abrupt_acceleration(97, bus)=abrupt, (22231, 22233)) ),
assertz( holdsForIESI( abrupt_acceleration(98, bus)=abrupt, (22234, 22236)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=abrupt, (22242, 22246)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=very_abrupt, (22251, 22256)) ),
assertz( holdsForIESI( abrupt_acceleration(100, bus)=abrupt, (22261, 22265)) ),
assertz( holdsForIESI( abrupt_acceleration(101, bus)=very_abrupt, (22268, 22271)) ),
assertz( holdsForIESI( abrupt_acceleration(102, bus)=abrupt, (22277, 22280)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=abrupt, (22282, 22287)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=abrupt, (22290, 22292)) ),
assertz( holdsForIESI( abrupt_acceleration(104, bus)=very_abrupt, (22299, 22302)) ),
assertz( holdsForIESI( abrupt_acceleration(105, bus)=abrupt, (22309, 22311)) ),
assertz( holdsForIESI( abrupt_acceleration(106, bus)=very_abrupt, (22318, 22320)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=abrupt, (22322, 22328)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=very_abrupt, (22331, 22335)) ),
assertz( holdsForIESI( abrupt_acceleration(108, bus)=very_abrupt, (22339, 22342)) ),
assertz( holdsForIESI( abrupt_acceleration(109, bus)=abrupt, (22346, 22353)) ),
assertz( holdsForIESI( abrupt_acceleration(110, bus)=very_abrupt, (22356, 22360)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=very_abrupt, (22367, 22369)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=abrupt, (22370, 22376)) ),
assertz( holdsForIESI( abrupt_acceleration(112, bus)=abrupt, (22380, 22384)) ),
assertz( holdsForIESI( abrupt_acceleration(113, bus)=very_abrupt, (22390, 22392)) ),
assertz( holdsForIESI( abrupt_acceleration(114, bus)=very_abrupt, (22394, 22398)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (22402, 22407)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (22412, 22415)) ),
assertz( holdsForIESI( abrupt_acceleration(116, bus)=very_abrupt, (22420, 22422)) ),
assertz( holdsForIESI( abrupt_acceleration(117, bus)=abrupt, (22430, 22433)) ),
assertz( holdsForIESI( abrupt_acceleration(118, bus)=abrupt, (22435, 22438)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=very_abrupt, (22443, 22448)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=abrupt, (22453, 22456)) ),
assertz( holdsForIESI( abrupt_acceleration(120, bus)=very_abrupt, (22463, 22465)) ),
assertz( holdsForIESI( abrupt_acceleration(121, bus)=abrupt, (22466, 22472)) ),
assertz( holdsForIESI( abrupt_acceleration(122, bus)=abrupt, (22475, 22479)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=abrupt, (22482, 22485)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=very_abrupt, (22492, 22494)) ),
assertz( holdsForIESI( abrupt_acceleration(124, bus)=very_abrupt, (22501, 22503)) ),
assertz( holdsForIESI( abrupt_acceleration(125, bus)=abrupt, (22506, 22512)) ),
assertz( holdsForIESI( abrupt_acceleration(126, bus)=abrupt, (22515, 22517)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=very_abrupt, (22524, 22526)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (22533, 22536)) ),
assertz( holdsForIESI( abrupt_acceleration(128, bus)=abrupt, (22538, 22545)) ),
assertz( holdsForIESI( abrupt_acceleration(129, bus)=abrupt, (22546, 22551)) ),
assertz( holdsForIESI( abrupt_acceleration(130, bus)=abrupt, (22559, 22561)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=very_abrupt, (22564, 22568)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=very_abrupt, (22570, 22575)) ),
assertz( holdsForIESI( abrupt_acceleration(132, bus)=very_abrupt, (22579, 22583)) ),
assertz( holdsForIESI( abrupt_acceleration(133, bus)=abrupt, (22589, 22591)) ),
assertz( holdsForIESI( abrupt_acceleration(134, bus)=abrupt, (22594, 22598)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=abrupt, (22603, 22607)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=very_abrupt, (22612, 22615)) ),
assertz( holdsForIESI( abrupt_acceleration(136, bus)=abrupt, (22621, 22623)) ),
assertz( holdsForIESI( abrupt_acceleration(137, bus)=very_abrupt, (22631, 22633)) ),
assertz( holdsForIESI( abrupt_acceleration(138, bus)=very_abrupt, (22638, 22640)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=abrupt, (22643, 22645)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=very_abrupt, (22651, 22655)) ),
assertz( holdsForIESI( abrupt_acceleration(140, bus)=very_abrupt, (22658, 22661)) ),
assertz( holdsForIESI( abrupt_acceleration(141, bus)=very_abrupt, (22670, 22672)) ),
assertz( holdsForIESI( abrupt_acceleration(142, bus)=abrupt, (22678, 22681)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=abrupt, (22683, 22686)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (22692, 22697)) ),
assertz( holdsForIESI( abrupt_acceleration(144, bus)=very_abrupt, (22701, 22704)) ),
assertz( holdsForIESI( abrupt_acceleration(145, bus)=abrupt, (22709, 22712)) ),
assertz( holdsForIESI( abrupt_acceleration(146, bus)=abrupt, (22717, 22721)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=abrupt, (22722, 22726)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=abrupt, (22731, 22734)) ),
assertz( holdsForIESI( abrupt_acceleration(148, bus)=very_abrupt, (22739, 22742)) ),
assertz( holdsForIESI( abrupt_acceleration(149, bus)=abrupt, (22750, 22752)) ),
assertz( holdsForIESI( abrupt_acceleration(150, bus)=very_abrupt, (22758, 22761)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=very_abrupt, (22762, 22765)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=very_abrupt, (22770, 22776)) ),
assertz( holdsForIESI( abrupt_acceleration(152, bus)=very_abrupt, (22781, 22783)) ),
assertz( holdsForIESI( abrupt_acceleration(153, bus)=very_abrupt, (22789, 22793)) ),
assertz( holdsForIESI( abrupt_acceleration(154, bus)=abrupt, (22796, 22798)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=abrupt, (22807, 22809)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=very_abrupt, (22810, 22817)) ),
assertz( holdsForIESI( abrupt_acceleration(156, bus)=abrupt, (22820, 22822)) ),
assertz( holdsForIESI( abrupt_acceleration(157, bus)=abrupt, (22830, 22832)) ),
assertz( holdsForIESI( abrupt_acceleration(158, bus)=abrupt, (22839, 22841)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (22843, 22849)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (22854, 22856)) ),
assertz( holdsForIESI( abrupt_acceleration(160, bus)=abrupt, (22861, 22863)) ),
assertz( holdsForIESI( abrupt_acceleration(161, bus)=abrupt, (22870, 22873)) ),
assertz( holdsForIESI( abrupt_acceleration(162, bus)=abrupt, (22875, 22881)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=very_abrupt, (22883, 22886)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=very_abrupt, (22890, 22892)) ),
assertz( holdsForIESI( abrupt_acceleration(164, bus)=very_abrupt, (22903, 22905)) ),
assertz( holdsForIESI( abrupt_acceleration(165, bus)=very_abrupt, (22907, 22911)) ),
assertz( holdsForIESI( abrupt_acceleration(166, bus)=abrupt, (22917, 22919)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=abrupt, (22923, 22927)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=very_abrupt, (22933, 22937)) ),
assertz( holdsForIESI( abrupt_acceleration(168, bus)=very_abrupt, (22941, 22945)) ),
assertz( holdsForIESI( abrupt_acceleration(169, bus)=abrupt, (22946, 22950)) ),
assertz( holdsForIESI( abrupt_acceleration(170, bus)=abrupt, (22954, 22957)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=abrupt, (22963, 22966)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=abrupt, (22970, 22972)) ),
assertz( holdsForIESI( abrupt_acceleration(172, bus)=very_abrupt, (22980, 22982)) ),
assertz( holdsForIESI( abrupt_acceleration(173, bus)=very_abrupt, (22989, 22992)) ),
assertz( holdsForIESI( abrupt_acceleration(174, bus)=very_abrupt, (22994, 22999)) ).
