(G[0,15] (OnMainCarriageway & Behind_V257 & OnAccessRamp_V257 & (F OnMainCarriageway_V257) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V272 & OnAccessRamp_V272 & (F OnMainCarriageway_V272) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V277 & OnAccessRamp_V277 & (F OnMainCarriageway_V277) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V278 & OnAccessRamp_V278 & (F OnMainCarriageway_V278) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V279 & OnAccessRamp_V279 & (F OnMainCarriageway_V279) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V280 & OnAccessRamp_V280 & (F OnMainCarriageway_V280) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V281 & OnAccessRamp_V281 & (F OnMainCarriageway_V281) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V282 & OnAccessRamp_V282 & (F OnMainCarriageway_V282) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V284 & OnAccessRamp_V284 & (F OnMainCarriageway_V284) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V285 & OnAccessRamp_V285 & (F OnMainCarriageway_V285) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V289 & OnAccessRamp_V289 & (F OnMainCarriageway_V289) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V290 & OnAccessRamp_V290 & (F OnMainCarriageway_V290) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V292 & OnAccessRamp_V292 & (F OnMainCarriageway_V292) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V295 & OnAccessRamp_V295 & (F OnMainCarriageway_V295) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V296 & OnAccessRamp_V296 & (F OnMainCarriageway_V296) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V297 & OnAccessRamp_V297 & (F OnMainCarriageway_V297) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V298 & OnAccessRamp_V298 & (F OnMainCarriageway_V298) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V300 & OnAccessRamp_V300 & (F OnMainCarriageway_V300) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V301 & OnAccessRamp_V301 & (F OnMainCarriageway_V301) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V302 & OnAccessRamp_V302 & (F OnMainCarriageway_V302) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V304 & OnAccessRamp_V304 & (F OnMainCarriageway_V304) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V305 & OnAccessRamp_V305 & (F OnMainCarriageway_V305) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V306 & OnAccessRamp_V306 & (F OnMainCarriageway_V306) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V311 & OnAccessRamp_V311 & (F OnMainCarriageway_V311) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V319 & OnAccessRamp_V319 & (F OnMainCarriageway_V319) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V320 & OnAccessRamp_V320 & (F OnMainCarriageway_V320) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V321 & OnAccessRamp_V321 & (F OnMainCarriageway_V321) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V322 & OnAccessRamp_V322 & (F OnMainCarriageway_V322) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V328 & OnAccessRamp_V328 & (F OnMainCarriageway_V328) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V329 & OnAccessRamp_V329 & (F OnMainCarriageway_V329) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V331 & OnAccessRamp_V331 & (F OnMainCarriageway_V331) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V363 & OnAccessRamp_V363 & (F OnMainCarriageway_V363) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V376 & OnAccessRamp_V376 & (F OnMainCarriageway_V376) -> (! ((! OnRightLane) & (F OnRightLane))))) & (G[0,15] (OnMainCarriageway & Behind_V396 & OnAccessRamp_V396 & (F OnMainCarriageway_V396) -> (! ((! OnRightLane) & (F OnRightLane)))))
