 
updateSDE( abrupt_acceleration, '1p_all', 6000, 7000 ) :-
assertz( holdsForIESI( abrupt_acceleration(75, bus)=abrupt, (6004, 6008)) ),
assertz( holdsForIESI( abrupt_acceleration(75, bus)=very_abrupt, (6012, 6017)) ),
assertz( holdsForIESI( abrupt_acceleration(76, bus)=abrupt, (6023, 6025)) ),
assertz( holdsForIESI( abrupt_acceleration(77, bus)=abrupt, (6026, 6028)) ),
assertz( holdsForIESI( abrupt_acceleration(78, bus)=abrupt, (6036, 6038)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=very_abrupt, (6044, 6046)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=abrupt, (6051, 6053)) ),
assertz( holdsForIESI( abrupt_acceleration(80, bus)=abrupt, (6062, 6065)) ),
assertz( holdsForIESI( abrupt_acceleration(81, bus)=very_abrupt, (6070, 6072)) ),
assertz( holdsForIESI( abrupt_acceleration(82, bus)=abrupt, (6075, 6081)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=very_abrupt, (6083, 6089)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=very_abrupt, (6092, 6095)) ),
assertz( holdsForIESI( abrupt_acceleration(84, bus)=abrupt, (6102, 6105)) ),
assertz( holdsForIESI( abrupt_acceleration(85, bus)=abrupt, (6106, 6113)) ),
assertz( holdsForIESI( abrupt_acceleration(86, bus)=very_abrupt, (6114, 6121)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=abrupt, (6126, 6129)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=very_abrupt, (6131, 6137)) ),
assertz( holdsForIESI( abrupt_acceleration(88, bus)=abrupt, (6139, 6141)) ),
assertz( holdsForIESI( abrupt_acceleration(89, bus)=abrupt, (6151, 6153)) ),
assertz( holdsForIESI( abrupt_acceleration(90, bus)=very_abrupt, (6157, 6159)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=very_abrupt, (6165, 6168)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=very_abrupt, (6173, 6176)) ),
assertz( holdsForIESI( abrupt_acceleration(92, bus)=abrupt, (6182, 6184)) ),
assertz( holdsForIESI( abrupt_acceleration(93, bus)=abrupt, (6187, 6190)) ),
assertz( holdsForIESI( abrupt_acceleration(94, bus)=very_abrupt, (6194, 6199)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (6207, 6209)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (6212, 6214)) ),
assertz( holdsForIESI( abrupt_acceleration(96, bus)=very_abrupt, (6219, 6224)) ),
assertz( holdsForIESI( abrupt_acceleration(97, bus)=abrupt, (6230, 6233)) ),
assertz( holdsForIESI( abrupt_acceleration(98, bus)=abrupt, (6235, 6237)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=very_abrupt, (6244, 6246)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=very_abrupt, (6250, 6255)) ),
assertz( holdsForIESI( abrupt_acceleration(100, bus)=very_abrupt, (6263, 6265)) ),
assertz( holdsForIESI( abrupt_acceleration(101, bus)=abrupt, (6271, 6273)) ),
assertz( holdsForIESI( abrupt_acceleration(102, bus)=very_abrupt, (6275, 6278)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=abrupt, (6282, 6284)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=very_abrupt, (6291, 6297)) ),
assertz( holdsForIESI( abrupt_acceleration(104, bus)=abrupt, (6299, 6303)) ),
assertz( holdsForIESI( abrupt_acceleration(105, bus)=abrupt, (6310, 6313)) ),
assertz( holdsForIESI( abrupt_acceleration(106, bus)=very_abrupt, (6319, 6321)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=abrupt, (6322, 6325)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=abrupt, (6330, 6332)) ),
assertz( holdsForIESI( abrupt_acceleration(108, bus)=abrupt, (6339, 6343)) ),
assertz( holdsForIESI( abrupt_acceleration(109, bus)=very_abrupt, (6347, 6350)) ),
assertz( holdsForIESI( abrupt_acceleration(110, bus)=abrupt, (6358, 6361)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=abrupt, (6362, 6368)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=abrupt, (6374, 6376)) ),
assertz( holdsForIESI( abrupt_acceleration(112, bus)=abrupt, (6379, 6381)) ),
assertz( holdsForIESI( abrupt_acceleration(113, bus)=very_abrupt, (6388, 6392)) ),
assertz( holdsForIESI( abrupt_acceleration(114, bus)=abrupt, (6398, 6401)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (6406, 6408)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (6411, 6413)) ),
assertz( holdsForIESI( abrupt_acceleration(116, bus)=very_abrupt, (6420, 6422)) ),
assertz( holdsForIESI( abrupt_acceleration(117, bus)=very_abrupt, (6426, 6433)) ),
assertz( holdsForIESI( abrupt_acceleration(118, bus)=very_abrupt, (6437, 6439)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=abrupt, (6445, 6449)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=abrupt, (6451, 6457)) ),
assertz( holdsForIESI( abrupt_acceleration(120, bus)=very_abrupt, (6458, 6463)) ),
assertz( holdsForIESI( abrupt_acceleration(121, bus)=very_abrupt, (6467, 6473)) ),
assertz( holdsForIESI( abrupt_acceleration(122, bus)=abrupt, (6477, 6479)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=very_abrupt, (6486, 6489)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=abrupt, (6495, 6497)) ),
assertz( holdsForIESI( abrupt_acceleration(124, bus)=very_abrupt, (6498, 6502)) ),
assertz( holdsForIESI( abrupt_acceleration(125, bus)=very_abrupt, (6508, 6511)) ),
assertz( holdsForIESI( abrupt_acceleration(126, bus)=very_abrupt, (6517, 6521)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (6524, 6527)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (6534, 6537)) ),
assertz( holdsForIESI( abrupt_acceleration(128, bus)=abrupt, (6539, 6544)) ),
assertz( holdsForIESI( abrupt_acceleration(129, bus)=very_abrupt, (6547, 6553)) ),
assertz( holdsForIESI( abrupt_acceleration(130, bus)=very_abrupt, (6558, 6561)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=very_abrupt, (6564, 6568)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=abrupt, (6574, 6577)) ),
assertz( holdsForIESI( abrupt_acceleration(132, bus)=abrupt, (6579, 6581)) ),
assertz( holdsForIESI( abrupt_acceleration(133, bus)=very_abrupt, (6588, 6590)) ),
assertz( holdsForIESI( abrupt_acceleration(134, bus)=very_abrupt, (6594, 6599)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=very_abrupt, (6607, 6609)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=very_abrupt, (6614, 6616)) ),
assertz( holdsForIESI( abrupt_acceleration(136, bus)=very_abrupt, (6620, 6625)) ),
assertz( holdsForIESI( abrupt_acceleration(137, bus)=abrupt, (6626, 6632)) ),
assertz( holdsForIESI( abrupt_acceleration(138, bus)=abrupt, (6634, 6636)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=very_abrupt, (6643, 6648)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=abrupt, (6654, 6656)) ),
assertz( holdsForIESI( abrupt_acceleration(140, bus)=very_abrupt, (6662, 6664)) ),
assertz( holdsForIESI( abrupt_acceleration(141, bus)=very_abrupt, (6666, 6670)) ),
assertz( holdsForIESI( abrupt_acceleration(142, bus)=abrupt, (6675, 6678)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (6684, 6689)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (6690, 6694)) ),
assertz( holdsForIESI( abrupt_acceleration(144, bus)=very_abrupt, (6700, 6702)) ),
assertz( holdsForIESI( abrupt_acceleration(145, bus)=abrupt, (6711, 6713)) ),
assertz( holdsForIESI( abrupt_acceleration(146, bus)=very_abrupt, (6714, 6720)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=very_abrupt, (6725, 6728)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=very_abrupt, (6734, 6736)) ),
assertz( holdsForIESI( abrupt_acceleration(148, bus)=abrupt, (6739, 6743)) ),
assertz( holdsForIESI( abrupt_acceleration(149, bus)=very_abrupt, (6746, 6753)) ),
assertz( holdsForIESI( abrupt_acceleration(150, bus)=very_abrupt, (6754, 6756)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=very_abrupt, (6763, 6766)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=abrupt, (6773, 6776)) ),
assertz( holdsForIESI( abrupt_acceleration(152, bus)=very_abrupt, (6783, 6785)) ),
assertz( holdsForIESI( abrupt_acceleration(153, bus)=very_abrupt, (6786, 6790)) ),
assertz( holdsForIESI( abrupt_acceleration(154, bus)=abrupt, (6794, 6796)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=very_abrupt, (6804, 6807)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=abrupt, (6814, 6817)) ),
assertz( holdsForIESI( abrupt_acceleration(156, bus)=very_abrupt, (6818, 6820)) ),
assertz( holdsForIESI( abrupt_acceleration(157, bus)=abrupt, (6826, 6831)) ),
assertz( holdsForIESI( abrupt_acceleration(158, bus)=abrupt, (6834, 6840)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (6844, 6847)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (6852, 6857)) ),
assertz( holdsForIESI( abrupt_acceleration(160, bus)=abrupt, (6863, 6865)) ),
assertz( holdsForIESI( abrupt_acceleration(161, bus)=very_abrupt, (6868, 6872)) ),
assertz( holdsForIESI( abrupt_acceleration(162, bus)=abrupt, (6874, 6876)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=abrupt, (6883, 6887)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=abrupt, (6893, 6896)) ),
assertz( holdsForIESI( abrupt_acceleration(164, bus)=very_abrupt, (6903, 6905)) ),
assertz( holdsForIESI( abrupt_acceleration(165, bus)=abrupt, (6911, 6913)) ),
assertz( holdsForIESI( abrupt_acceleration(166, bus)=very_abrupt, (6919, 6921)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=very_abrupt, (6923, 6925)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=very_abrupt, (6932, 6936)) ),
assertz( holdsForIESI( abrupt_acceleration(168, bus)=very_abrupt, (6941, 6943)) ),
assertz( holdsForIESI( abrupt_acceleration(169, bus)=abrupt, (6950, 6953)) ),
assertz( holdsForIESI( abrupt_acceleration(170, bus)=abrupt, (6955, 6960)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=very_abrupt, (6963, 6969)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=very_abrupt, (6972, 6974)) ),
assertz( holdsForIESI( abrupt_acceleration(172, bus)=very_abrupt, (6978, 6981)) ),
assertz( holdsForIESI( abrupt_acceleration(173, bus)=very_abrupt, (6990, 6993)) ),
assertz( holdsForIESI( abrupt_acceleration(174, bus)=abrupt, (6994, 6999)) ).
