 
updateSDE( sharp_turn, '1p_all', 20000, 21000 ) :-
assertz( holdsForIESI( sharp_turn(75, bus)=sharp, (20004, 20008)) ),
assertz( holdsForIESI( sharp_turn(75, bus)=sharp, (20013, 20017)) ),
assertz( holdsForIESI( sharp_turn(76, bus)=very_sharp, (20023, 20025)) ),
assertz( holdsForIESI( sharp_turn(77, bus)=very_sharp, (20027, 20029)) ),
assertz( holdsForIESI( sharp_turn(78, bus)=very_sharp, (20035, 20039)) ),
assertz( holdsForIESI( sharp_turn(79, bus)=very_sharp, (20045, 20048)) ),
assertz( holdsForIESI( sharp_turn(79, bus)=very_sharp, (20055, 20057)) ),
assertz( holdsForIESI( sharp_turn(80, bus)=very_sharp, (20058, 20061)) ),
assertz( holdsForIESI( sharp_turn(81, bus)=very_sharp, (20068, 20073)) ),
assertz( holdsForIESI( sharp_turn(82, bus)=sharp, (20075, 20080)) ),
assertz( holdsForIESI( sharp_turn(83, bus)=sharp, (20085, 20089)) ),
assertz( holdsForIESI( sharp_turn(83, bus)=sharp, (20095, 20097)) ),
assertz( holdsForIESI( sharp_turn(84, bus)=very_sharp, (20103, 20105)) ),
assertz( holdsForIESI( sharp_turn(85, bus)=sharp, (20106, 20113)) ),
assertz( holdsForIESI( sharp_turn(86, bus)=sharp, (20117, 20121)) ),
assertz( holdsForIESI( sharp_turn(87, bus)=sharp, (20123, 20125)) ),
assertz( holdsForIESI( sharp_turn(87, bus)=very_sharp, (20133, 20135)) ),
assertz( holdsForIESI( sharp_turn(88, bus)=very_sharp, (20143, 20145)) ),
assertz( holdsForIESI( sharp_turn(89, bus)=very_sharp, (20147, 20153)) ),
assertz( holdsForIESI( sharp_turn(90, bus)=sharp, (20156, 20160)) ),
assertz( holdsForIESI( sharp_turn(91, bus)=sharp, (20164, 20166)) ),
assertz( holdsForIESI( sharp_turn(91, bus)=very_sharp, (20170, 20174)) ),
assertz( holdsForIESI( sharp_turn(92, bus)=very_sharp, (20178, 20180)) ),
assertz( holdsForIESI( sharp_turn(93, bus)=sharp, (20187, 20193)) ),
assertz( holdsForIESI( sharp_turn(94, bus)=very_sharp, (20194, 20201)) ),
assertz( holdsForIESI( sharp_turn(95, bus)=sharp, (20204, 20207)) ),
assertz( holdsForIESI( sharp_turn(95, bus)=sharp, (20213, 20217)) ),
assertz( holdsForIESI( sharp_turn(96, bus)=very_sharp, (20222, 20225)) ),
assertz( holdsForIESI( sharp_turn(97, bus)=very_sharp, (20226, 20231)) ),
assertz( holdsForIESI( sharp_turn(98, bus)=very_sharp, (20234, 20239)) ),
assertz( holdsForIESI( sharp_turn(99, bus)=very_sharp, (20244, 20249)) ),
assertz( holdsForIESI( sharp_turn(99, bus)=sharp, (20254, 20257)) ),
assertz( holdsForIESI( sharp_turn(100, bus)=sharp, (20261, 20264)) ),
assertz( holdsForIESI( sharp_turn(101, bus)=very_sharp, (20270, 20272)) ),
assertz( holdsForIESI( sharp_turn(102, bus)=very_sharp, (20274, 20281)) ),
assertz( holdsForIESI( sharp_turn(103, bus)=sharp, (20284, 20288)) ),
assertz( holdsForIESI( sharp_turn(103, bus)=very_sharp, (20291, 20293)) ),
assertz( holdsForIESI( sharp_turn(104, bus)=sharp, (20300, 20304)) ),
assertz( holdsForIESI( sharp_turn(105, bus)=very_sharp, (20311, 20313)) ),
assertz( holdsForIESI( sharp_turn(106, bus)=very_sharp, (20317, 20321)) ),
assertz( holdsForIESI( sharp_turn(107, bus)=very_sharp, (20322, 20325)) ),
assertz( holdsForIESI( sharp_turn(107, bus)=very_sharp, (20331, 20334)) ),
assertz( holdsForIESI( sharp_turn(108, bus)=sharp, (20339, 20341)) ),
assertz( holdsForIESI( sharp_turn(109, bus)=very_sharp, (20348, 20353)) ),
assertz( holdsForIESI( sharp_turn(110, bus)=very_sharp, (20354, 20357)) ),
assertz( holdsForIESI( sharp_turn(111, bus)=very_sharp, (20362, 20367)) ),
assertz( holdsForIESI( sharp_turn(111, bus)=sharp, (20370, 20372)) ),
assertz( holdsForIESI( sharp_turn(112, bus)=sharp, (20380, 20383)) ),
assertz( holdsForIESI( sharp_turn(113, bus)=sharp, (20391, 20393)) ),
assertz( holdsForIESI( sharp_turn(114, bus)=very_sharp, (20394, 20400)) ),
assertz( holdsForIESI( sharp_turn(115, bus)=sharp, (20403, 20408)) ),
assertz( holdsForIESI( sharp_turn(115, bus)=sharp, (20412, 20417)) ),
assertz( holdsForIESI( sharp_turn(116, bus)=very_sharp, (20422, 20425)) ),
assertz( holdsForIESI( sharp_turn(117, bus)=sharp, (20427, 20432)) ),
assertz( holdsForIESI( sharp_turn(118, bus)=very_sharp, (20437, 20440)) ),
assertz( holdsForIESI( sharp_turn(119, bus)=sharp, (20444, 20447)) ),
assertz( holdsForIESI( sharp_turn(119, bus)=very_sharp, (20453, 20457)) ),
assertz( holdsForIESI( sharp_turn(120, bus)=very_sharp, (20458, 20463)) ),
assertz( holdsForIESI( sharp_turn(121, bus)=very_sharp, (20466, 20472)) ),
assertz( holdsForIESI( sharp_turn(122, bus)=very_sharp, (20476, 20478)) ),
assertz( holdsForIESI( sharp_turn(123, bus)=sharp, (20483, 20489)) ),
assertz( holdsForIESI( sharp_turn(123, bus)=sharp, (20495, 20497)) ),
assertz( holdsForIESI( sharp_turn(124, bus)=sharp, (20502, 20505)) ),
assertz( holdsForIESI( sharp_turn(125, bus)=very_sharp, (20506, 20509)) ),
assertz( holdsForIESI( sharp_turn(126, bus)=very_sharp, (20515, 20519)) ),
assertz( holdsForIESI( sharp_turn(127, bus)=sharp, (20524, 20529)) ),
assertz( holdsForIESI( sharp_turn(127, bus)=very_sharp, (20531, 20537)) ),
assertz( holdsForIESI( sharp_turn(128, bus)=very_sharp, (20543, 20545)) ),
assertz( holdsForIESI( sharp_turn(129, bus)=very_sharp, (20546, 20548)) ),
assertz( holdsForIESI( sharp_turn(130, bus)=very_sharp, (20555, 20559)) ),
assertz( holdsForIESI( sharp_turn(131, bus)=sharp, (20562, 20565)) ),
assertz( holdsForIESI( sharp_turn(131, bus)=sharp, (20572, 20577)) ),
assertz( holdsForIESI( sharp_turn(132, bus)=very_sharp, (20581, 20584)) ),
assertz( holdsForIESI( sharp_turn(133, bus)=very_sharp, (20586, 20590)) ),
assertz( holdsForIESI( sharp_turn(134, bus)=very_sharp, (20594, 20597)) ),
assertz( holdsForIESI( sharp_turn(135, bus)=very_sharp, (20605, 20609)) ),
assertz( holdsForIESI( sharp_turn(135, bus)=sharp, (20614, 20616)) ),
assertz( holdsForIESI( sharp_turn(136, bus)=very_sharp, (20621, 20624)) ),
assertz( holdsForIESI( sharp_turn(137, bus)=very_sharp, (20631, 20633)) ),
assertz( holdsForIESI( sharp_turn(138, bus)=sharp, (20635, 20640)) ),
assertz( holdsForIESI( sharp_turn(139, bus)=sharp, (20644, 20646)) ),
assertz( holdsForIESI( sharp_turn(139, bus)=very_sharp, (20652, 20654)) ),
assertz( holdsForIESI( sharp_turn(140, bus)=very_sharp, (20661, 20663)) ),
assertz( holdsForIESI( sharp_turn(141, bus)=very_sharp, (20671, 20673)) ),
assertz( holdsForIESI( sharp_turn(142, bus)=sharp, (20674, 20678)) ),
assertz( holdsForIESI( sharp_turn(143, bus)=sharp, (20686, 20688)) ),
assertz( holdsForIESI( sharp_turn(143, bus)=very_sharp, (20693, 20697)) ),
assertz( holdsForIESI( sharp_turn(144, bus)=very_sharp, (20702, 20705)) ),
assertz( holdsForIESI( sharp_turn(145, bus)=very_sharp, (20707, 20710)) ),
assertz( holdsForIESI( sharp_turn(146, bus)=sharp, (20715, 20720)) ),
assertz( holdsForIESI( sharp_turn(147, bus)=sharp, (20724, 20729)) ),
assertz( holdsForIESI( sharp_turn(147, bus)=very_sharp, (20730, 20736)) ),
assertz( holdsForIESI( sharp_turn(148, bus)=sharp, (20738, 20743)) ),
assertz( holdsForIESI( sharp_turn(149, bus)=very_sharp, (20746, 20750)) ),
assertz( holdsForIESI( sharp_turn(150, bus)=sharp, (20757, 20761)) ),
assertz( holdsForIESI( sharp_turn(151, bus)=sharp, (20765, 20768)) ),
assertz( holdsForIESI( sharp_turn(151, bus)=sharp, (20770, 20774)) ),
assertz( holdsForIESI( sharp_turn(152, bus)=very_sharp, (20779, 20785)) ),
assertz( holdsForIESI( sharp_turn(153, bus)=sharp, (20786, 20789)) ),
assertz( holdsForIESI( sharp_turn(154, bus)=sharp, (20796, 20799)) ),
assertz( holdsForIESI( sharp_turn(155, bus)=very_sharp, (20802, 20805)) ),
assertz( holdsForIESI( sharp_turn(155, bus)=very_sharp, (20812, 20817)) ),
assertz( holdsForIESI( sharp_turn(156, bus)=very_sharp, (20822, 20824)) ),
assertz( holdsForIESI( sharp_turn(157, bus)=sharp, (20829, 20832)) ),
assertz( holdsForIESI( sharp_turn(158, bus)=very_sharp, (20834, 20837)) ),
assertz( holdsForIESI( sharp_turn(159, bus)=sharp, (20844, 20849)) ),
assertz( holdsForIESI( sharp_turn(159, bus)=sharp, (20853, 20855)) ),
assertz( holdsForIESI( sharp_turn(160, bus)=sharp, (20861, 20864)) ),
assertz( holdsForIESI( sharp_turn(161, bus)=very_sharp, (20870, 20873)) ),
assertz( holdsForIESI( sharp_turn(162, bus)=very_sharp, (20875, 20877)) ),
assertz( holdsForIESI( sharp_turn(163, bus)=very_sharp, (20882, 20886)) ),
assertz( holdsForIESI( sharp_turn(163, bus)=sharp, (20892, 20895)) ),
assertz( holdsForIESI( sharp_turn(164, bus)=sharp, (20900, 20905)) ),
assertz( holdsForIESI( sharp_turn(165, bus)=sharp, (20906, 20908)) ),
assertz( holdsForIESI( sharp_turn(166, bus)=very_sharp, (20919, 20921)) ),
assertz( holdsForIESI( sharp_turn(167, bus)=very_sharp, (20927, 20929)) ),
assertz( holdsForIESI( sharp_turn(167, bus)=very_sharp, (20934, 20936)) ),
assertz( holdsForIESI( sharp_turn(168, bus)=very_sharp, (20939, 20944)) ),
assertz( holdsForIESI( sharp_turn(169, bus)=sharp, (20948, 20951)) ),
assertz( holdsForIESI( sharp_turn(170, bus)=sharp, (20954, 20957)) ),
assertz( holdsForIESI( sharp_turn(171, bus)=sharp, (20964, 20968)) ),
assertz( holdsForIESI( sharp_turn(171, bus)=very_sharp, (20970, 20973)) ),
assertz( holdsForIESI( sharp_turn(172, bus)=sharp, (20978, 20983)) ),
assertz( holdsForIESI( sharp_turn(173, bus)=sharp, (20990, 20992)) ),
assertz( holdsForIESI( sharp_turn(174, bus)=very_sharp, (20994, 20999)) ).
