 
updateSDE( abrupt_acceleration, '1p_all', 4000, 5000 ) :-
assertz( holdsForIESI( abrupt_acceleration(75, bus)=abrupt, (4002, 4005)) ),
assertz( holdsForIESI( abrupt_acceleration(75, bus)=abrupt, (4012, 4016)) ),
assertz( holdsForIESI( abrupt_acceleration(76, bus)=abrupt, (4019, 4022)) ),
assertz( holdsForIESI( abrupt_acceleration(77, bus)=very_abrupt, (4027, 4033)) ),
assertz( holdsForIESI( abrupt_acceleration(78, bus)=very_abrupt, (4035, 4039)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=abrupt, (4045, 4047)) ),
assertz( holdsForIESI( abrupt_acceleration(79, bus)=abrupt, (4055, 4057)) ),
assertz( holdsForIESI( abrupt_acceleration(80, bus)=abrupt, (4062, 4065)) ),
assertz( holdsForIESI( abrupt_acceleration(81, bus)=abrupt, (4067, 4071)) ),
assertz( holdsForIESI( abrupt_acceleration(82, bus)=abrupt, (4074, 4076)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=abrupt, (4082, 4087)) ),
assertz( holdsForIESI( abrupt_acceleration(83, bus)=very_abrupt, (4093, 4095)) ),
assertz( holdsForIESI( abrupt_acceleration(84, bus)=very_abrupt, (4102, 4105)) ),
assertz( holdsForIESI( abrupt_acceleration(85, bus)=very_abrupt, (4111, 4113)) ),
assertz( holdsForIESI( abrupt_acceleration(86, bus)=abrupt, (4114, 4116)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=abrupt, (4124, 4128)) ),
assertz( holdsForIESI( abrupt_acceleration(87, bus)=abrupt, (4131, 4134)) ),
assertz( holdsForIESI( abrupt_acceleration(88, bus)=abrupt, (4142, 4144)) ),
assertz( holdsForIESI( abrupt_acceleration(89, bus)=very_abrupt, (4150, 4152)) ),
assertz( holdsForIESI( abrupt_acceleration(90, bus)=very_abrupt, (4159, 4161)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=very_abrupt, (4165, 4169)) ),
assertz( holdsForIESI( abrupt_acceleration(91, bus)=abrupt, (4175, 4177)) ),
assertz( holdsForIESI( abrupt_acceleration(92, bus)=abrupt, (4178, 4183)) ),
assertz( holdsForIESI( abrupt_acceleration(93, bus)=abrupt, (4186, 4192)) ),
assertz( holdsForIESI( abrupt_acceleration(94, bus)=abrupt, (4195, 4201)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=abrupt, (4206, 4208)) ),
assertz( holdsForIESI( abrupt_acceleration(95, bus)=very_abrupt, (4214, 4216)) ),
assertz( holdsForIESI( abrupt_acceleration(96, bus)=very_abrupt, (4223, 4225)) ),
assertz( holdsForIESI( abrupt_acceleration(97, bus)=very_abrupt, (4227, 4231)) ),
assertz( holdsForIESI( abrupt_acceleration(98, bus)=very_abrupt, (4236, 4241)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=very_abrupt, (4243, 4248)) ),
assertz( holdsForIESI( abrupt_acceleration(99, bus)=abrupt, (4253, 4255)) ),
assertz( holdsForIESI( abrupt_acceleration(100, bus)=abrupt, (4259, 4264)) ),
assertz( holdsForIESI( abrupt_acceleration(101, bus)=very_abrupt, (4267, 4271)) ),
assertz( holdsForIESI( abrupt_acceleration(102, bus)=very_abrupt, (4274, 4276)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=very_abrupt, (4286, 4288)) ),
assertz( holdsForIESI( abrupt_acceleration(103, bus)=abrupt, (4294, 4297)) ),
assertz( holdsForIESI( abrupt_acceleration(104, bus)=abrupt, (4299, 4301)) ),
assertz( holdsForIESI( abrupt_acceleration(105, bus)=abrupt, (4306, 4310)) ),
assertz( holdsForIESI( abrupt_acceleration(106, bus)=very_abrupt, (4316, 4321)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=very_abrupt, (4325, 4327)) ),
assertz( holdsForIESI( abrupt_acceleration(107, bus)=very_abrupt, (4333, 4336)) ),
assertz( holdsForIESI( abrupt_acceleration(108, bus)=abrupt, (4341, 4345)) ),
assertz( holdsForIESI( abrupt_acceleration(109, bus)=abrupt, (4351, 4353)) ),
assertz( holdsForIESI( abrupt_acceleration(110, bus)=abrupt, (4358, 4361)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=abrupt, (4364, 4367)) ),
assertz( holdsForIESI( abrupt_acceleration(111, bus)=very_abrupt, (4370, 4375)) ),
assertz( holdsForIESI( abrupt_acceleration(112, bus)=very_abrupt, (4380, 4384)) ),
assertz( holdsForIESI( abrupt_acceleration(113, bus)=abrupt, (4390, 4392)) ),
assertz( holdsForIESI( abrupt_acceleration(114, bus)=abrupt, (4397, 4400)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=abrupt, (4402, 4406)) ),
assertz( holdsForIESI( abrupt_acceleration(115, bus)=very_abrupt, (4410, 4416)) ),
assertz( holdsForIESI( abrupt_acceleration(116, bus)=very_abrupt, (4422, 4424)) ),
assertz( holdsForIESI( abrupt_acceleration(117, bus)=abrupt, (4428, 4431)) ),
assertz( holdsForIESI( abrupt_acceleration(118, bus)=abrupt, (4437, 4440)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=very_abrupt, (4446, 4449)) ),
assertz( holdsForIESI( abrupt_acceleration(119, bus)=abrupt, (4451, 4455)) ),
assertz( holdsForIESI( abrupt_acceleration(120, bus)=abrupt, (4458, 4465)) ),
assertz( holdsForIESI( abrupt_acceleration(121, bus)=very_abrupt, (4468, 4472)) ),
assertz( holdsForIESI( abrupt_acceleration(122, bus)=very_abrupt, (4476, 4480)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=very_abrupt, (4486, 4489)) ),
assertz( holdsForIESI( abrupt_acceleration(123, bus)=abrupt, (4491, 4494)) ),
assertz( holdsForIESI( abrupt_acceleration(124, bus)=very_abrupt, (4500, 4504)) ),
assertz( holdsForIESI( abrupt_acceleration(125, bus)=abrupt, (4507, 4510)) ),
assertz( holdsForIESI( abrupt_acceleration(126, bus)=abrupt, (4515, 4519)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (4525, 4527)) ),
assertz( holdsForIESI( abrupt_acceleration(127, bus)=abrupt, (4530, 4535)) ),
assertz( holdsForIESI( abrupt_acceleration(128, bus)=abrupt, (4539, 4542)) ),
assertz( holdsForIESI( abrupt_acceleration(129, bus)=very_abrupt, (4547, 4550)) ),
assertz( holdsForIESI( abrupt_acceleration(130, bus)=abrupt, (4556, 4559)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=abrupt, (4565, 4568)) ),
assertz( holdsForIESI( abrupt_acceleration(131, bus)=abrupt, (4570, 4574)) ),
assertz( holdsForIESI( abrupt_acceleration(132, bus)=abrupt, (4579, 4585)) ),
assertz( holdsForIESI( abrupt_acceleration(133, bus)=abrupt, (4586, 4591)) ),
assertz( holdsForIESI( abrupt_acceleration(134, bus)=very_abrupt, (4594, 4601)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=very_abrupt, (4604, 4606)) ),
assertz( holdsForIESI( abrupt_acceleration(135, bus)=very_abrupt, (4610, 4614)) ),
assertz( holdsForIESI( abrupt_acceleration(136, bus)=abrupt, (4620, 4625)) ),
assertz( holdsForIESI( abrupt_acceleration(137, bus)=very_abrupt, (4631, 4633)) ),
assertz( holdsForIESI( abrupt_acceleration(138, bus)=abrupt, (4639, 4641)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=very_abrupt, (4642, 4647)) ),
assertz( holdsForIESI( abrupt_acceleration(139, bus)=abrupt, (4650, 4657)) ),
assertz( holdsForIESI( abrupt_acceleration(140, bus)=very_abrupt, (4659, 4663)) ),
assertz( holdsForIESI( abrupt_acceleration(141, bus)=abrupt, (4668, 4673)) ),
assertz( holdsForIESI( abrupt_acceleration(142, bus)=abrupt, (4678, 4680)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=very_abrupt, (4687, 4689)) ),
assertz( holdsForIESI( abrupt_acceleration(143, bus)=abrupt, (4690, 4692)) ),
assertz( holdsForIESI( abrupt_acceleration(144, bus)=abrupt, (4699, 4705)) ),
assertz( holdsForIESI( abrupt_acceleration(145, bus)=very_abrupt, (4707, 4709)) ),
assertz( holdsForIESI( abrupt_acceleration(146, bus)=very_abrupt, (4716, 4718)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=abrupt, (4726, 4729)) ),
assertz( holdsForIESI( abrupt_acceleration(147, bus)=abrupt, (4734, 4736)) ),
assertz( holdsForIESI( abrupt_acceleration(148, bus)=abrupt, (4739, 4741)) ),
assertz( holdsForIESI( abrupt_acceleration(149, bus)=very_abrupt, (4746, 4748)) ),
assertz( holdsForIESI( abrupt_acceleration(150, bus)=very_abrupt, (4756, 4758)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=abrupt, (4766, 4768)) ),
assertz( holdsForIESI( abrupt_acceleration(151, bus)=abrupt, (4775, 4777)) ),
assertz( holdsForIESI( abrupt_acceleration(152, bus)=abrupt, (4778, 4784)) ),
assertz( holdsForIESI( abrupt_acceleration(153, bus)=abrupt, (4787, 4790)) ),
assertz( holdsForIESI( abrupt_acceleration(154, bus)=very_abrupt, (4797, 4801)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=very_abrupt, (4804, 4808)) ),
assertz( holdsForIESI( abrupt_acceleration(155, bus)=abrupt, (4813, 4817)) ),
assertz( holdsForIESI( abrupt_acceleration(156, bus)=abrupt, (4818, 4822)) ),
assertz( holdsForIESI( abrupt_acceleration(157, bus)=abrupt, (4831, 4833)) ),
assertz( holdsForIESI( abrupt_acceleration(158, bus)=abrupt, (4834, 4837)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (4843, 4845)) ),
assertz( holdsForIESI( abrupt_acceleration(159, bus)=very_abrupt, (4854, 4857)) ),
assertz( holdsForIESI( abrupt_acceleration(160, bus)=very_abrupt, (4860, 4863)) ),
assertz( holdsForIESI( abrupt_acceleration(161, bus)=abrupt, (4870, 4873)) ),
assertz( holdsForIESI( abrupt_acceleration(162, bus)=abrupt, (4874, 4878)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=very_abrupt, (4885, 4887)) ),
assertz( holdsForIESI( abrupt_acceleration(163, bus)=very_abrupt, (4891, 4897)) ),
assertz( holdsForIESI( abrupt_acceleration(164, bus)=abrupt, (4900, 4904)) ),
assertz( holdsForIESI( abrupt_acceleration(165, bus)=abrupt, (4907, 4912)) ),
assertz( holdsForIESI( abrupt_acceleration(166, bus)=very_abrupt, (4914, 4918)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=very_abrupt, (4923, 4926)) ),
assertz( holdsForIESI( abrupt_acceleration(167, bus)=abrupt, (4935, 4937)) ),
assertz( holdsForIESI( abrupt_acceleration(168, bus)=very_abrupt, (4942, 4944)) ),
assertz( holdsForIESI( abrupt_acceleration(169, bus)=very_abrupt, (4948, 4950)) ),
assertz( holdsForIESI( abrupt_acceleration(170, bus)=abrupt, (4954, 4958)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=abrupt, (4962, 4968)) ),
assertz( holdsForIESI( abrupt_acceleration(171, bus)=abrupt, (4971, 4973)) ),
assertz( holdsForIESI( abrupt_acceleration(172, bus)=abrupt, (4981, 4985)) ),
assertz( holdsForIESI( abrupt_acceleration(173, bus)=very_abrupt, (4989, 4991)) ),
assertz( holdsForIESI( abrupt_acceleration(174, bus)=abrupt, (4994, 4999)) ).
