 
updateSDE( abrupt_acceleration, '1p_all', 5000, 6000 ) :-
assertz( holdsForIESI( abrupt_acceleration(75, bus)=very_abrupt, (5005, 5009)) ),
assertz( holdsForIESI( abrupt_acceleration(75, bus)=abrupt, (5015, 5017)) ),
assertz( holdsForIESI( abrupt_acceleration(76, bus)=very_abrupt, (5020, 5025)) ),
assertz( holdsForIESI( abrupt_acceleration(77, bus)=very_abrupt, (5027, 5029)) ),
assertz( holdsForIESI( abrupt_acceleration(78, bus)=very_abrupt, (5035, 5041)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=abrupt, (5045, 5048)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=abrupt, (5054, 5057)) ),
assertz( holdsForIESI( abrupt_acceleration(80, bus)=very_abrupt, (5058, 5060)) ),
assertz( holdsForIESI( abrupt_acceleration(81, bus)=very_abrupt, (5068, 5073)) ),
assertz( holdsForIESI( abrupt_acceleration(82, bus)=very_abrupt, (5077, 5080)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=very_abrupt, (5084, 5086)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=abrupt, (5093, 5095)) ),
assertz( holdsForIESI( abrupt_acceleration(84, bus)=abrupt, (5098, 5102)) ),
assertz( holdsForIESI( abrupt_acceleration(85, bus)=abrupt, (5106, 5113)) ),
assertz( holdsForIESI( abrupt_acceleration(86, bus)=very_abrupt, (5116, 5119)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=very_abrupt, (5126, 5128)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=very_abrupt, (5135, 5137)) ),
assertz( holdsForIESI( abrupt_acceleration(88, bus)=abrupt, (5138, 5140)) ),
assertz( holdsForIESI( abrupt_acceleration(89, bus)=very_abrupt, (5148, 5152)) ),
assertz( holdsForIESI( abrupt_acceleration(90, bus)=very_abrupt, (5157, 5159)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=very_abrupt, (5162, 5165)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=very_abrupt, (5172, 5176)) ),
assertz( holdsForIESI( abrupt_acceleration(92, bus)=very_abrupt, (5181, 5184)) ),
assertz( holdsForIESI( abrupt_acceleration(93, bus)=abrupt, (5189, 5193)) ),
assertz( holdsForIESI( abrupt_acceleration(94, bus)=abrupt, (5194, 5197)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (5205, 5209)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (5211, 5214)) ),
assertz( holdsForIESI( abrupt_acceleration(96, bus)=abrupt, (5221, 5225)) ),
assertz( holdsForIESI( abrupt_acceleration(97, bus)=abrupt, (5230, 5232)) ),
assertz( holdsForIESI( abrupt_acceleration(98, bus)=abrupt, (5235, 5238)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=very_abrupt, (5244, 5249)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=abrupt, (5250, 5256)) ),
assertz( holdsForIESI( abrupt_acceleration(100, bus)=abrupt, (5258, 5261)) ),
assertz( holdsForIESI( abrupt_acceleration(101, bus)=very_abrupt, (5267, 5270)) ),
assertz( holdsForIESI( abrupt_acceleration(102, bus)=very_abrupt, (5274, 5279)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=abrupt, (5283, 5288)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=abrupt, (5295, 5297)) ),
assertz( holdsForIESI( abrupt_acceleration(104, bus)=very_abrupt, (5301, 5303)) ),
assertz( holdsForIESI( abrupt_acceleration(105, bus)=very_abrupt, (5307, 5313)) ),
assertz( holdsForIESI( abrupt_acceleration(106, bus)=abrupt, (5318, 5320)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=very_abrupt, (5326, 5329)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=very_abrupt, (5335, 5337)) ),
assertz( holdsForIESI( abrupt_acceleration(108, bus)=very_abrupt, (5338, 5340)) ),
assertz( holdsForIESI( abrupt_acceleration(109, bus)=very_abrupt, (5348, 5351)) ),
assertz( holdsForIESI( abrupt_acceleration(110, bus)=very_abrupt, (5357, 5359)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=very_abrupt, (5364, 5368)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=abrupt, (5375, 5377)) ),
assertz( holdsForIESI( abrupt_acceleration(112, bus)=very_abrupt, (5379, 5381)) ),
assertz( holdsForIESI( abrupt_acceleration(113, bus)=abrupt, (5386, 5390)) ),
assertz( holdsForIESI( abrupt_acceleration(114, bus)=very_abrupt, (5394, 5398)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=very_abrupt, (5404, 5408)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (5413, 5415)) ),
assertz( holdsForIESI( abrupt_acceleration(116, bus)=abrupt, (5418, 5425)) ),
assertz( holdsForIESI( abrupt_acceleration(117, bus)=abrupt, (5426, 5431)) ),
assertz( holdsForIESI( abrupt_acceleration(118, bus)=very_abrupt, (5437, 5440)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=very_abrupt, (5443, 5448)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=abrupt, (5454, 5457)) ),
assertz( holdsForIESI( abrupt_acceleration(120, bus)=abrupt, (5458, 5464)) ),
assertz( holdsForIESI( abrupt_acceleration(121, bus)=abrupt, (5468, 5473)) ),
assertz( holdsForIESI( abrupt_acceleration(122, bus)=very_abrupt, (5479, 5481)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=abrupt, (5486, 5489)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=abrupt, (5490, 5493)) ),
assertz( holdsForIESI( abrupt_acceleration(124, bus)=very_abrupt, (5501, 5503)) ),
assertz( holdsForIESI( abrupt_acceleration(125, bus)=very_abrupt, (5508, 5511)) ),
assertz( holdsForIESI( abrupt_acceleration(126, bus)=abrupt, (5519, 5521)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (5524, 5529)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (5530, 5533)) ),
assertz( holdsForIESI( abrupt_acceleration(128, bus)=very_abrupt, (5538, 5543)) ),
assertz( holdsForIESI( abrupt_acceleration(129, bus)=very_abrupt, (5547, 5551)) ),
assertz( holdsForIESI( abrupt_acceleration(130, bus)=abrupt, (5559, 5561)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=very_abrupt, (5562, 5568)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=very_abrupt, (5571, 5573)) ),
assertz( holdsForIESI( abrupt_acceleration(132, bus)=abrupt, (5580, 5582)) ),
assertz( holdsForIESI( abrupt_acceleration(133, bus)=abrupt, (5588, 5592)) ),
assertz( holdsForIESI( abrupt_acceleration(134, bus)=abrupt, (5598, 5600)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=abrupt, (5602, 5606)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=abrupt, (5611, 5614)) ),
assertz( holdsForIESI( abrupt_acceleration(136, bus)=very_abrupt, (5618, 5625)) ),
assertz( holdsForIESI( abrupt_acceleration(137, bus)=very_abrupt, (5627, 5630)) ),
assertz( holdsForIESI( abrupt_acceleration(138, bus)=very_abrupt, (5636, 5639)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=very_abrupt, (5642, 5645)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=very_abrupt, (5655, 5657)) ),
assertz( holdsForIESI( abrupt_acceleration(140, bus)=abrupt, (5662, 5665)) ),
assertz( holdsForIESI( abrupt_acceleration(141, bus)=abrupt, (5666, 5670)) ),
assertz( holdsForIESI( abrupt_acceleration(142, bus)=abrupt, (5676, 5680)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (5683, 5687)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (5693, 5695)) ),
assertz( holdsForIESI( abrupt_acceleration(144, bus)=very_abrupt, (5703, 5705)) ),
assertz( holdsForIESI( abrupt_acceleration(145, bus)=abrupt, (5710, 5712)) ),
assertz( holdsForIESI( abrupt_acceleration(146, bus)=abrupt, (5716, 5721)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=very_abrupt, (5722, 5727)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=very_abrupt, (5733, 5736)) ),
assertz( holdsForIESI( abrupt_acceleration(148, bus)=very_abrupt, (5741, 5744)) ),
assertz( holdsForIESI( abrupt_acceleration(149, bus)=very_abrupt, (5749, 5752)) ),
assertz( holdsForIESI( abrupt_acceleration(150, bus)=abrupt, (5757, 5761)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=abrupt, (5762, 5767)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=abrupt, (5772, 5775)) ),
assertz( holdsForIESI( abrupt_acceleration(152, bus)=abrupt, (5781, 5783)) ),
assertz( holdsForIESI( abrupt_acceleration(153, bus)=very_abrupt, (5789, 5791)) ),
assertz( holdsForIESI( abrupt_acceleration(154, bus)=abrupt, (5797, 5799)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=abrupt, (5803, 5807)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=very_abrupt, (5811, 5817)) ),
assertz( holdsForIESI( abrupt_acceleration(156, bus)=very_abrupt, (5820, 5822)) ),
assertz( holdsForIESI( abrupt_acceleration(157, bus)=abrupt, (5826, 5833)) ),
assertz( holdsForIESI( abrupt_acceleration(158, bus)=very_abrupt, (5837, 5840)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (5845, 5848)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (5851, 5856)) ),
assertz( holdsForIESI( abrupt_acceleration(160, bus)=very_abrupt, (5858, 5862)) ),
assertz( holdsForIESI( abrupt_acceleration(161, bus)=very_abrupt, (5868, 5871)) ),
assertz( holdsForIESI( abrupt_acceleration(162, bus)=abrupt, (5877, 5879)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=abrupt, (5882, 5884)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=abrupt, (5892, 5894)) ),
assertz( holdsForIESI( abrupt_acceleration(164, bus)=very_abrupt, (5898, 5902)) ),
assertz( holdsForIESI( abrupt_acceleration(165, bus)=very_abrupt, (5907, 5909)) ),
assertz( holdsForIESI( abrupt_acceleration(166, bus)=abrupt, (5919, 5921)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=abrupt, (5922, 5924)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=abrupt, (5931, 5934)) ),
assertz( holdsForIESI( abrupt_acceleration(168, bus)=abrupt, (5938, 5940)) ),
assertz( holdsForIESI( abrupt_acceleration(169, bus)=very_abrupt, (5948, 5950)) ),
assertz( holdsForIESI( abrupt_acceleration(170, bus)=abrupt, (5958, 5961)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=abrupt, (5966, 5968)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=abrupt, (5971, 5975)) ),
assertz( holdsForIESI( abrupt_acceleration(172, bus)=very_abrupt, (5980, 5983)) ),
assertz( holdsForIESI( abrupt_acceleration(173, bus)=very_abrupt, (5986, 5988)) ),
assertz( holdsForIESI( abrupt_acceleration(174, bus)=very_abrupt, (5994, 5999)) ).
