LANE:
   (BERTHOLDNORD_L3 BERTHOLDNORD_L1 BERTHOLDSUED_L2 EGOLANE_T3 BERTHOLDNORD_L2 EGOLANE_T1 BERTHOLDSUED_L1) 
(AND LANE ONEWAYENTERING):
   (BERTHOLDSUED_L2 EGOLANE_T1 BERTHOLDSUED_L1) 
(AND LANE ONEWAYEXITING):
   (BERTHOLDNORD_L3 BERTHOLDNORD_L1 EGOLANE_T3 BERTHOLDNORD_L2) 
(AND LANE (NOT ONEWAY)):
   NIL 
TURNINGLANE:
   (BERTHOLDSUED_L2 EGOLANE_T1 BERTHOLDSUED_L1) 
STRAIGHTAHEADLANE:
   (BERTHOLDSUED_L2 EGOLANE_T1 BERTHOLDSUED_L1) 
RIGHTTURNLANE:
   NIL 
LEFTTURNLANE:
   NIL 
(AND TURNINGLANE (NOT STRAIGHTAHEADLANE)):
   NIL 
(AND TURNINGLANE (NOT RIGHTTURNLANE)):
   (BERTHOLDSUED_L2 EGOLANE_T1 BERTHOLDSUED_L1) 
(AND TURNINGLANE (NOT LEFTTURNLANE)):
   (BERTHOLDSUED_L2 EGOLANE_T1 BERTHOLDSUED_L1) 
OBJECTHYPOTHESIS:
   (TR-BERTHOLDSUED_L1-BERTHOLDNORD_L1 TR-BERTHOLDSUED_L1-BERTHOLDNORD_L2 TR-BERTHOLDSUED_L1-BERTHOLDNORD_L3 TR-BERTHOLDSUED_L2-BERTHOLDNORD_L1 TR-BERTHOLDSUED_L2-BERTHOLDNORD_L2 TR-BERTHOLDSUED_L2-BERTHOLDNORD_L3 EGOLANE_T2) 
LANETRANSITION:
   (TR-BERTHOLDSUED_L1-BERTHOLDNORD_L2 TR-BERTHOLDSUED_L1-BERTHOLDNORD_L3 TR-BERTHOLDSUED_L2-BERTHOLDNORD_L1 EGOLANE_T2) 
GP1:
   (TR-BERTHOLDSUED_L1-BERTHOLDNORD_L2 TR-BERTHOLDSUED_L1-BERTHOLDNORD_L3 TR-BERTHOLDSUED_L2-BERTHOLDNORD_L1 EGOLANE_T2) 
GP2:
   NIL 
GP3:
   NIL 
BICYCLELANE:
   NIL 
MOTORVEHLANE:
   (BERTHOLDNORD_L3 BERTHOLDNORD_L1 BERTHOLDSUED_L2 EGOLANE_T3 BERTHOLDNORD_L2 EGOLANE_T1 BERTHOLDSUED_L1)