LANE:
   (BERTHOLD_L2 BERTHOLD_L1 DURLACHEROST_L3 DURLACHEROST_L1 DURLACHEROST_L4 DURLACHERWEST_L3 DURLACHERWEST_L1 DURLACHERSUED_L2 DURLACHERSUED_L1 EGOLANE_T3 DURLACHERWEST_L2 EGOLANE_T1 DURLACHEROST_L2) 
(AND LANE ONEWAYENTERING):
   (DURLACHEROST_L3 DURLACHEROST_L1 DURLACHEROST_L4 DURLACHERSUED_L2 DURLACHERSUED_L1 EGOLANE_T1 DURLACHEROST_L2) 
(AND LANE ONEWAYEXITING):
   (BERTHOLD_L2 BERTHOLD_L1 DURLACHERWEST_L3 DURLACHERWEST_L1 EGOLANE_T3 DURLACHERWEST_L2) 
(AND LANE (NOT ONEWAY)):
   NIL 
TURNINGLANE:
   (DURLACHEROST_L3 DURLACHEROST_L1 DURLACHEROST_L4 DURLACHERSUED_L2 DURLACHERSUED_L1 EGOLANE_T1 DURLACHEROST_L2) 
STRAIGHTAHEADLANE:
   (EGOLANE_T1 DURLACHEROST_L2 DURLACHEROST_L3 DURLACHEROST_L1 DURLACHERSUED_L2 DURLACHERSUED_L1) 
RIGHTTURNLANE:
   (DURLACHEROST_L4) 
LEFTTURNLANE:
   NIL 
(AND TURNINGLANE (NOT STRAIGHTAHEADLANE)):
   (DURLACHEROST_L4) 
(AND TURNINGLANE (NOT RIGHTTURNLANE)):
   (DURLACHEROST_L1 EGOLANE_T1 DURLACHEROST_L2 DURLACHERSUED_L2 DURLACHEROST_L3 DURLACHERSUED_L1) 
(AND TURNINGLANE (NOT LEFTTURNLANE)):
   (EGOLANE_T1 DURLACHEROST_L2 DURLACHERSUED_L1 DURLACHEROST_L3 DURLACHERSUED_L2 DURLACHEROST_L4 DURLACHEROST_L1) 
OBJECTHYPOTHESIS:
   (TR-DURLACHERWEST_L1-DURLACHEROST_L4 TR-DURLACHERWEST_L1-DURLACHEROST_L1 TR-DURLACHERWEST_L1-DURLACHEROST_L2 TR-DURLACHERWEST_L1-DURLACHEROST_L3 TR-DURLACHERWEST_L2-DURLACHEROST_L4 TR-DURLACHERWEST_L2-DURLACHEROST_L1 TR-DURLACHERWEST_L2-DURLACHEROST_L2 TR-DURLACHERWEST_L2-DURLACHEROST_L3 TR-DURLACHERWEST_L3-DURLACHEROST_L4 TR-DURLACHERWEST_L3-DURLACHEROST_L1 TR-DURLACHERWEST_L3-DURLACHEROST_L2 TR-DURLACHERWEST_L3-DURLACHEROST_L3 TR-BERTHOLD_L1-DURLACHEROST_L4 TR-BERTHOLD_L1-DURLACHEROST_L1 TR-BERTHOLD_L1-DURLACHEROST_L2 TR-BERTHOLD_L1-DURLACHEROST_L3 TR-BERTHOLD_L2-DURLACHEROST_L4 TR-BERTHOLD_L2-DURLACHEROST_L1 TR-BERTHOLD_L2-DURLACHEROST_L2 TR-BERTHOLD_L2-DURLACHEROST_L3 TR-BERTHOLD_L1-DURLACHERWEST_L1 TR-BERTHOLD_L1-DURLACHERWEST_L2 TR-BERTHOLD_L1-DURLACHERWEST_L3 TR-BERTHOLD_L2-DURLACHERWEST_L1 TR-BERTHOLD_L2-DURLACHERWEST_L2 TR-BERTHOLD_L2-DURLACHERWEST_L3 TR-DURLACHERSUED_L1-DURLACHEROST_L4 TR-DURLACHERSUED_L1-DURLACHEROST_L1 TR-DURLACHERSUED_L1-DURLACHEROST_L2 TR-DURLACHERSUED_L1-DURLACHEROST_L3 TR-DURLACHERSUED_L2-DURLACHEROST_L4 TR-DURLACHERSUED_L2-DURLACHEROST_L1 TR-DURLACHERSUED_L2-DURLACHEROST_L2 TR-DURLACHERSUED_L2-DURLACHEROST_L3 TR-DURLACHERSUED_L1-DURLACHERWEST_L1 TR-DURLACHERSUED_L1-DURLACHERWEST_L2 TR-DURLACHERSUED_L1-DURLACHERWEST_L3 TR-DURLACHERSUED_L2-DURLACHERWEST_L1 TR-DURLACHERSUED_L2-DURLACHERWEST_L2 TR-DURLACHERSUED_L2-DURLACHERWEST_L3 TR-DURLACHERSUED_L1-BERTHOLD_L1 TR-DURLACHERSUED_L1-BERTHOLD_L2 TR-DURLACHERSUED_L2-BERTHOLD_L1 TR-DURLACHERSUED_L2-BERTHOLD_L2 EGOLANE_T2) 
LANETRANSITION:
   (TR-DURLACHERWEST_L1-DURLACHEROST_L3 TR-DURLACHERWEST_L2-DURLACHEROST_L2 TR-DURLACHERWEST_L3-DURLACHEROST_L1 TR-BERTHOLD_L2-DURLACHEROST_L4 TR-DURLACHERSUED_L1-BERTHOLD_L2 TR-DURLACHERSUED_L2-BERTHOLD_L1 EGOLANE_T2) 
GP1:
   (TR-DURLACHERWEST_L1-DURLACHEROST_L3 TR-DURLACHERWEST_L2-DURLACHEROST_L2 TR-DURLACHERWEST_L3-DURLACHEROST_L1 TR-DURLACHERSUED_L1-BERTHOLD_L2 TR-DURLACHERSUED_L2-BERTHOLD_L1 EGOLANE_T2) 
GP2:
   NIL 
GP3:
   (TR-BERTHOLD_L2-DURLACHEROST_L4) 
BICYCLELANE:
   (DURLACHEROST_L1 DURLACHERWEST_L3) 
MOTORVEHLANE:
   (BERTHOLD_L2 BERTHOLD_L1 DURLACHEROST_L3 DURLACHEROST_L4 DURLACHERWEST_L1 DURLACHERSUED_L2 DURLACHERSUED_L1 EGOLANE_T3 DURLACHERWEST_L2 EGOLANE_T1 DURLACHEROST_L2)