28_a_driver_handbook
If no lanes are marked and there are four lanes or more in your direction, you may only drive in either of the two lanes closest to the right edge of the road.

n28_a_driver_handbook n28_a_driver_handbook__1_1_1_1 If n28_a_driver_handbook__1_1_2_1_1_1_1_1 no n28_a_driver_handbook__1_1_2_1_1_1_2_1 lanes n28_a_driver_handbook__1_1_2_1_1_2_1 are n28_a_driver_handbook__1_1_2_1_1_3_1_1 marked n28_a_driver_handbook__1_1_2_1_2_1_1 and n28_a_driver_handbook__1_1_2_1_2_2_1_1 there n28_a_driver_handbook__1_1_2_1_2_2_2_1 are n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_1_1 four n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_2_1 lanes n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_1_1 or n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1_1_1 more n28_a_driver_handbook__1_1_2_1_2_2_4_1_1 in n28_a_driver_handbook__1_1_2_1_2_2_4_2_1_1_1 your n28_a_driver_handbook__1_1_2_1_2_2_4_2_2_1 direction n28_a_driver_handbook__1_2_1 , n28_a_driver_handbook__1_3_1_1 you n28_a_driver_handbook__1_4_1 may n28_a_driver_handbook__1_5_1_1_1 only n28_a_driver_handbook__1_5_2_1 drive n28_a_driver_handbook__1_5_3_1_1 in n28_a_driver_handbook__1_5_3_2_1_1 either n28_a_driver_handbook__1_5_3_2_2_1_1 of n28_a_driver_handbook__1_5_3_2_2_2_1_1 the n28_a_driver_handbook__1_5_3_2_2_2_2_1 two n28_a_driver_handbook__1_5_3_2_2_2_3_1 lanes n28_a_driver_handbook__1_5_3_2_3_1_1 closest n28_a_driver_handbook__1_5_3_2_3_2_1_1 to n28_a_driver_handbook__1_5_3_2_3_2_2_1_1 the n28_a_driver_handbook__1_5_3_2_3_2_2_2_1_1 right n28_a_driver_handbook__1_5_3_2_3_2_2_3_1 edge n28_a_driver_handbook__1_5_3_2_3_2_2_4_1_1 of n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_1_1 the n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_2_1 road n28_a_driver_handbook__1_6_1 . n28_a_driver_handbook__1 IP-MAT n28_a_driver_handbook__1_1 PP-SCON n28_a_driver_handbook__1->n28_a_driver_handbook__1_1 n28_a_driver_handbook__1_2 PUNC n28_a_driver_handbook__1->n28_a_driver_handbook__1_2 n28_a_driver_handbook__1_3 NP-SBJ n28_a_driver_handbook__1->n28_a_driver_handbook__1_3 n28_a_driver_handbook__1_4 MD;_cat_Vi_ n28_a_driver_handbook__1->n28_a_driver_handbook__1_4 n28_a_driver_handbook__1_5 IP-INF-CAT n28_a_driver_handbook__1->n28_a_driver_handbook__1_5 n28_a_driver_handbook__1_6 PUNC n28_a_driver_handbook__1->n28_a_driver_handbook__1_6 n28_a_driver_handbook__1_1_1 P-CONN n28_a_driver_handbook__1_1->n28_a_driver_handbook__1_1_1 n28_a_driver_handbook__1_1_2 IP-ADV n28_a_driver_handbook__1_1->n28_a_driver_handbook__1_1_2 n28_a_driver_handbook__1_1_1->n28_a_driver_handbook__1_1_1_1 n28_a_driver_handbook__1_1_2_1 ILYR n28_a_driver_handbook__1_1_2->n28_a_driver_handbook__1_1_2_1 n28_a_driver_handbook__1_1_2_1_1 ILYR n28_a_driver_handbook__1_1_2_1->n28_a_driver_handbook__1_1_2_1_1 n28_a_driver_handbook__1_1_2_1_2 CONJP n28_a_driver_handbook__1_1_2_1->n28_a_driver_handbook__1_1_2_1_2 n28_a_driver_handbook__1_1_2_1_1_1 NP-SBJ n28_a_driver_handbook__1_1_2_1_1->n28_a_driver_handbook__1_1_2_1_1_1 n28_a_driver_handbook__1_1_2_1_1_2 BEP;_La_ n28_a_driver_handbook__1_1_2_1_1->n28_a_driver_handbook__1_1_2_1_1_2 n28_a_driver_handbook__1_1_2_1_1_3 ADJP-PRD n28_a_driver_handbook__1_1_2_1_1->n28_a_driver_handbook__1_1_2_1_1_3 n28_a_driver_handbook__1_1_2_1_1_1_1 Q n28_a_driver_handbook__1_1_2_1_1_1->n28_a_driver_handbook__1_1_2_1_1_1_1 n28_a_driver_handbook__1_1_2_1_1_1_2 NS n28_a_driver_handbook__1_1_2_1_1_1->n28_a_driver_handbook__1_1_2_1_1_1_2 n28_a_driver_handbook__1_1_2_1_1_1_1->n28_a_driver_handbook__1_1_2_1_1_1_1_1 n28_a_driver_handbook__1_1_2_1_1_1_2->n28_a_driver_handbook__1_1_2_1_1_1_2_1 n28_a_driver_handbook__1_1_2_1_1_2->n28_a_driver_handbook__1_1_2_1_1_2_1 n28_a_driver_handbook__1_1_2_1_1_3_1 ADJ n28_a_driver_handbook__1_1_2_1_1_3->n28_a_driver_handbook__1_1_2_1_1_3_1 n28_a_driver_handbook__1_1_2_1_1_3_1->n28_a_driver_handbook__1_1_2_1_1_3_1_1 n28_a_driver_handbook__1_1_2_1_2_1 CONJ n28_a_driver_handbook__1_1_2_1_2->n28_a_driver_handbook__1_1_2_1_2_1 n28_a_driver_handbook__1_1_2_1_2_2 ILYR n28_a_driver_handbook__1_1_2_1_2->n28_a_driver_handbook__1_1_2_1_2_2 n28_a_driver_handbook__1_1_2_1_2_1->n28_a_driver_handbook__1_1_2_1_2_1_1 n28_a_driver_handbook__1_1_2_1_2_2_1 EX n28_a_driver_handbook__1_1_2_1_2_2->n28_a_driver_handbook__1_1_2_1_2_2_1 n28_a_driver_handbook__1_1_2_1_2_2_2 BEP;_ex_Vpr_ n28_a_driver_handbook__1_1_2_1_2_2->n28_a_driver_handbook__1_1_2_1_2_2_2 n28_a_driver_handbook__1_1_2_1_2_2_3 NP-ESBJ n28_a_driver_handbook__1_1_2_1_2_2->n28_a_driver_handbook__1_1_2_1_2_2_3 n28_a_driver_handbook__1_1_2_1_2_2_4 PP-CLR n28_a_driver_handbook__1_1_2_1_2_2->n28_a_driver_handbook__1_1_2_1_2_2_4 n28_a_driver_handbook__1_1_2_1_2_2_1->n28_a_driver_handbook__1_1_2_1_2_2_1_1 n28_a_driver_handbook__1_1_2_1_2_2_2->n28_a_driver_handbook__1_1_2_1_2_2_2_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1 NLYR n28_a_driver_handbook__1_1_2_1_2_2_3->n28_a_driver_handbook__1_1_2_1_2_2_3_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_1 NLYR n28_a_driver_handbook__1_1_2_1_2_2_3_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_2 CONJP n28_a_driver_handbook__1_1_2_1_2_2_3_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_2 n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_1 NUM n28_a_driver_handbook__1_1_2_1_2_2_3_1_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_2 NS n28_a_driver_handbook__1_1_2_1_2_2_3_1_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_2 n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_1_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_2->n28_a_driver_handbook__1_1_2_1_2_2_3_1_1_2_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_1 CONJ n28_a_driver_handbook__1_1_2_1_2_2_3_1_2->n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2 NLYR n28_a_driver_handbook__1_1_2_1_2_2_3_1_2->n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2 n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_1_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1 ADJP n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2->n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1_1 ADJR n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1_1 n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1_1->n28_a_driver_handbook__1_1_2_1_2_2_3_1_2_2_1_1_1 n28_a_driver_handbook__1_1_2_1_2_2_4_1 P-ROLE n28_a_driver_handbook__1_1_2_1_2_2_4->n28_a_driver_handbook__1_1_2_1_2_2_4_1 n28_a_driver_handbook__1_1_2_1_2_2_4_2 NP n28_a_driver_handbook__1_1_2_1_2_2_4->n28_a_driver_handbook__1_1_2_1_2_2_4_2 n28_a_driver_handbook__1_1_2_1_2_2_4_1->n28_a_driver_handbook__1_1_2_1_2_2_4_1_1 n28_a_driver_handbook__1_1_2_1_2_2_4_2_1 NP-GEN n28_a_driver_handbook__1_1_2_1_2_2_4_2->n28_a_driver_handbook__1_1_2_1_2_2_4_2_1 n28_a_driver_handbook__1_1_2_1_2_2_4_2_2 N n28_a_driver_handbook__1_1_2_1_2_2_4_2->n28_a_driver_handbook__1_1_2_1_2_2_4_2_2 n28_a_driver_handbook__1_1_2_1_2_2_4_2_1_1 PRO;_genm_ n28_a_driver_handbook__1_1_2_1_2_2_4_2_1->n28_a_driver_handbook__1_1_2_1_2_2_4_2_1_1 n28_a_driver_handbook__1_1_2_1_2_2_4_2_1_1->n28_a_driver_handbook__1_1_2_1_2_2_4_2_1_1_1 n28_a_driver_handbook__1_1_2_1_2_2_4_2_2->n28_a_driver_handbook__1_1_2_1_2_2_4_2_2_1 n28_a_driver_handbook__1_2->n28_a_driver_handbook__1_2_1 n28_a_driver_handbook__1_3_1 PRO n28_a_driver_handbook__1_3->n28_a_driver_handbook__1_3_1 n28_a_driver_handbook__1_3_1->n28_a_driver_handbook__1_3_1_1 n28_a_driver_handbook__1_4->n28_a_driver_handbook__1_4_1 n28_a_driver_handbook__1_5_1 ADVP-NIM n28_a_driver_handbook__1_5->n28_a_driver_handbook__1_5_1 n28_a_driver_handbook__1_5_2 VB;_I_ n28_a_driver_handbook__1_5->n28_a_driver_handbook__1_5_2 n28_a_driver_handbook__1_5_3 PP-NIM n28_a_driver_handbook__1_5->n28_a_driver_handbook__1_5_3 n28_a_driver_handbook__1_5_1_1 ADV n28_a_driver_handbook__1_5_1->n28_a_driver_handbook__1_5_1_1 n28_a_driver_handbook__1_5_1_1->n28_a_driver_handbook__1_5_1_1_1 n28_a_driver_handbook__1_5_2->n28_a_driver_handbook__1_5_2_1 n28_a_driver_handbook__1_5_3_1 P-ROLE n28_a_driver_handbook__1_5_3->n28_a_driver_handbook__1_5_3_1 n28_a_driver_handbook__1_5_3_2 NP n28_a_driver_handbook__1_5_3->n28_a_driver_handbook__1_5_3_2 n28_a_driver_handbook__1_5_3_1->n28_a_driver_handbook__1_5_3_1_1 n28_a_driver_handbook__1_5_3_2_1 Q;_nphd_ n28_a_driver_handbook__1_5_3_2->n28_a_driver_handbook__1_5_3_2_1 n28_a_driver_handbook__1_5_3_2_2 PP n28_a_driver_handbook__1_5_3_2->n28_a_driver_handbook__1_5_3_2_2 n28_a_driver_handbook__1_5_3_2_3 ADJP n28_a_driver_handbook__1_5_3_2->n28_a_driver_handbook__1_5_3_2_3 n28_a_driver_handbook__1_5_3_2_1->n28_a_driver_handbook__1_5_3_2_1_1 n28_a_driver_handbook__1_5_3_2_2_1 P-ROLE n28_a_driver_handbook__1_5_3_2_2->n28_a_driver_handbook__1_5_3_2_2_1 n28_a_driver_handbook__1_5_3_2_2_2 NP n28_a_driver_handbook__1_5_3_2_2->n28_a_driver_handbook__1_5_3_2_2_2 n28_a_driver_handbook__1_5_3_2_2_1->n28_a_driver_handbook__1_5_3_2_2_1_1 n28_a_driver_handbook__1_5_3_2_2_2_1 D n28_a_driver_handbook__1_5_3_2_2_2->n28_a_driver_handbook__1_5_3_2_2_2_1 n28_a_driver_handbook__1_5_3_2_2_2_2 NUM n28_a_driver_handbook__1_5_3_2_2_2->n28_a_driver_handbook__1_5_3_2_2_2_2 n28_a_driver_handbook__1_5_3_2_2_2_3 NS n28_a_driver_handbook__1_5_3_2_2_2->n28_a_driver_handbook__1_5_3_2_2_2_3 n28_a_driver_handbook__1_5_3_2_2_2_1->n28_a_driver_handbook__1_5_3_2_2_2_1_1 n28_a_driver_handbook__1_5_3_2_2_2_2->n28_a_driver_handbook__1_5_3_2_2_2_2_1 n28_a_driver_handbook__1_5_3_2_2_2_3->n28_a_driver_handbook__1_5_3_2_2_2_3_1 n28_a_driver_handbook__1_5_3_2_3_1 ADJS n28_a_driver_handbook__1_5_3_2_3->n28_a_driver_handbook__1_5_3_2_3_1 n28_a_driver_handbook__1_5_3_2_3_2 PP n28_a_driver_handbook__1_5_3_2_3->n28_a_driver_handbook__1_5_3_2_3_2 n28_a_driver_handbook__1_5_3_2_3_1->n28_a_driver_handbook__1_5_3_2_3_1_1 n28_a_driver_handbook__1_5_3_2_3_2_1 P-ROLE n28_a_driver_handbook__1_5_3_2_3_2->n28_a_driver_handbook__1_5_3_2_3_2_1 n28_a_driver_handbook__1_5_3_2_3_2_2 NP n28_a_driver_handbook__1_5_3_2_3_2->n28_a_driver_handbook__1_5_3_2_3_2_2 n28_a_driver_handbook__1_5_3_2_3_2_1->n28_a_driver_handbook__1_5_3_2_3_2_1_1 n28_a_driver_handbook__1_5_3_2_3_2_2_1 D n28_a_driver_handbook__1_5_3_2_3_2_2->n28_a_driver_handbook__1_5_3_2_3_2_2_1 n28_a_driver_handbook__1_5_3_2_3_2_2_2 ADJP n28_a_driver_handbook__1_5_3_2_3_2_2->n28_a_driver_handbook__1_5_3_2_3_2_2_2 n28_a_driver_handbook__1_5_3_2_3_2_2_3 N n28_a_driver_handbook__1_5_3_2_3_2_2->n28_a_driver_handbook__1_5_3_2_3_2_2_3 n28_a_driver_handbook__1_5_3_2_3_2_2_4 PP n28_a_driver_handbook__1_5_3_2_3_2_2->n28_a_driver_handbook__1_5_3_2_3_2_2_4 n28_a_driver_handbook__1_5_3_2_3_2_2_1->n28_a_driver_handbook__1_5_3_2_3_2_2_1_1 n28_a_driver_handbook__1_5_3_2_3_2_2_2_1 ADJ n28_a_driver_handbook__1_5_3_2_3_2_2_2->n28_a_driver_handbook__1_5_3_2_3_2_2_2_1 n28_a_driver_handbook__1_5_3_2_3_2_2_2_1->n28_a_driver_handbook__1_5_3_2_3_2_2_2_1_1 n28_a_driver_handbook__1_5_3_2_3_2_2_3->n28_a_driver_handbook__1_5_3_2_3_2_2_3_1 n28_a_driver_handbook__1_5_3_2_3_2_2_4_1 P-ROLE n28_a_driver_handbook__1_5_3_2_3_2_2_4->n28_a_driver_handbook__1_5_3_2_3_2_2_4_1 n28_a_driver_handbook__1_5_3_2_3_2_2_4_2 NP n28_a_driver_handbook__1_5_3_2_3_2_2_4->n28_a_driver_handbook__1_5_3_2_3_2_2_4_2 n28_a_driver_handbook__1_5_3_2_3_2_2_4_1->n28_a_driver_handbook__1_5_3_2_3_2_2_4_1_1 n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_1 D n28_a_driver_handbook__1_5_3_2_3_2_2_4_2->n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_1 n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_2 N n28_a_driver_handbook__1_5_3_2_3_2_2_4_2->n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_2 n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_1->n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_1_1 n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_2->n28_a_driver_handbook__1_5_3_2_3_2_2_4_2_2_1 n28_a_driver_handbook__1_6->n28_a_driver_handbook__1_6_1
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (ILYR (ILYR (NP-SBJ (Q no;{no})
                                               (NS lanes;{lane}))
                                       (BEP;_La_ are;{be})
                                       (ADJP-PRD (ADJ marked;{marked})))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (EX there;{there})
                                              (BEP;_ex_Vpr_ are;{be[in]})
                                              (NP-ESBJ (NLYR (NLYR (NUM four;{four})
                                                                   (NS lanes;{lane}))
                                                             (CONJP (CONJ or;{or})
                                                                    (NLYR (ADJP (ADJR more;{more}))))))
                                              (PP-CLR (P-ROLE in;{in})
                                                      (NP (NP-GEN (PRO;_genm_ your;{your}))
                                                          (N direction;{direction}))))))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (VB;_I_ drive;{drive})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (Q;_nphd_ either;{either})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (NUM two;{two})
                                          (NS lanes;{lane})))
                                  (ADJP (ADJS closest;{close})
                                        (PP (P-ROLE to;{to})
                                            (NP (D the;{the})
                                                (ADJP (ADJ right;{right}))
                                                (N edge;{edge})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (N road;{road})))))))))
          (PUNC .))
  (ID 28_a_driver_handbook))



%3 z_0028_5022 r_0028_0027__closest closest z_0028_5022->r_0028_0027__closest [attrib] r_0028_0024__the_r_0028_0025__two_r_0028_0026__lanes the two lanes z_0028_5022->r_0028_0024__the_r_0028_0025__two_r_0028_0026__lanes of r_0028_0029__the_r_0028_0031__edge the edge r_0028_0027__closest->r_0028_0029__the_r_0028_0031__edge to z_0028_5011 r_0028_0012__more more z_0028_5011->r_0028_0012__more [attrib] r_0028_0033__the_r_0028_0034__road the road r_0028_0029__the_r_0028_0031__edge->r_0028_0033__the_r_0028_0034__road of r_0028_0030__right right r_0028_0029__the_r_0028_0031__edge->r_0028_0030__right [attrib] r_0028_0022__either__quant either [quant] r_0028_0022__either__quant->z_0028_5022 [restriction] r_0028_0018__may may r_0028_0022__either__quant->r_0028_0018__may [scope] r_0028_0020__drive drive r_0028_0018__may->r_0028_0020__drive [scope] r_0028_0020__drive->z_0028_5022 in [nim] r_0028_0019__only only r_0028_0020__drive->r_0028_0019__only [nim] r_0028_0014__your your r_0028_0020__drive->r_0028_0014__your [arg0] r_0028_0015__direction direction r_0028_0015__direction->r_0028_0014__your [gen] r_0028_0011__or or r_0028_0011__or->z_0028_5011 [conj2] r_0028_0009__four_r_0028_0010__lanes four lanes r_0028_0011__or->r_0028_0009__four_r_0028_0010__lanes [conj1] r_0028_0008__are_r_0028_0013__in are in r_0028_0008__are_r_0028_0013__in->r_0028_0015__direction [arg1] r_0028_0008__are_r_0028_0013__in->r_0028_0011__or [arg0] r_0028_0006__and and r_0028_0006__and->r_0028_0008__are_r_0028_0013__in [conj2] r_0028_0002__no__quant no [quant] r_0028_0006__and->r_0028_0002__no__quant [conj1] r_0028_0004__are are r_0028_0002__no__quant->r_0028_0004__are [scope] r_0028_0003__lanes lanes r_0028_0002__no__quant->r_0028_0003__lanes [restriction] r_0028_0005__marked marked r_0028_0004__are->r_0028_0005__marked [prd] r_0028_0004__are->r_0028_0003__lanes [arg0] r_0028_0001__If If r_0028_0001__If->r_0028_0022__either__quant [scope] r_0028_0001__If->r_0028_0006__and [restriction]
arc(r_0028_0001__If,r_0028_0006__and,restriction).
arc(r_0028_0001__If,r_0028_0022__either__quant,scope).
arc(r_0028_0002__no__quant,r_0028_0003__lanes,restriction).
arc(r_0028_0002__no__quant,r_0028_0004__are,scope).
arc(r_0028_0004__are,r_0028_0003__lanes,arg0).
arc(r_0028_0004__are,r_0028_0005__marked,prd).
arc(r_0028_0006__and,r_0028_0002__no__quant,conj1).
arc(r_0028_0006__and,r_0028_0008__are_r_0028_0013__in,conj2).
arc(r_0028_0008__are_r_0028_0013__in,r_0028_0011__or,arg0).
arc(r_0028_0008__are_r_0028_0013__in,r_0028_0015__direction,arg1).
arc(r_0028_0011__or,r_0028_0009__four_r_0028_0010__lanes,conj1).
arc(r_0028_0011__or,z_0028_5011,conj2).
arc(r_0028_0015__direction,r_0028_0014__your,gen).
arc(r_0028_0018__may,r_0028_0020__drive,scope).
arc(r_0028_0020__drive,r_0028_0014__your,arg0).
arc(r_0028_0020__drive,r_0028_0019__only,nim).
arc(r_0028_0020__drive,z_0028_5022,r_0028_0021__in__nim).
arc(r_0028_0022__either__quant,r_0028_0018__may,scope).
arc(r_0028_0022__either__quant,z_0028_5022,restriction).
arc(r_0028_0027__closest,r_0028_0029__the_r_0028_0031__edge,r_0028_0028__to).
arc(r_0028_0029__the_r_0028_0031__edge,r_0028_0030__right,attrib).
arc(r_0028_0029__the_r_0028_0031__edge,r_0028_0033__the_r_0028_0034__road,r_0028_0032__of).
arc(z_0028_5011,r_0028_0012__more,attrib).
arc(z_0028_5022,r_0028_0024__the_r_0028_0025__two_r_0028_0026__lanes,r_0028_0023__of).
arc(z_0028_5022,r_0028_0027__closest,attrib).



%3 r_0028_0001__If If r_0028_0006__and and r_0028_0001__If->r_0028_0006__and [restriction] r_0028_0022__either__quant either [quant] r_0028_0001__If->r_0028_0022__either__quant [scope] r_0028_0002__no__quant no [quant] r_0028_0006__and->r_0028_0002__no__quant [conj1] r_0028_0008__are_r_0028_0013__in are in r_0028_0006__and->r_0028_0008__are_r_0028_0013__in [conj2] r_0028_0018__may_r_0028_0020__drive may drive r_0028_0022__either__quant->r_0028_0018__may_r_0028_0020__drive [scope] z_0028_5022 r_0028_0022__either__quant->z_0028_5022 [restriction] r_0028_0003__lanes lanes r_0028_0002__no__quant->r_0028_0003__lanes [restriction] r_0028_0004__are are r_0028_0002__no__quant->r_0028_0004__are [scope] r_0028_0004__are->r_0028_0003__lanes [arg0] r_0028_0005__marked marked r_0028_0004__are->r_0028_0005__marked [prd] r_0028_0011__or or r_0028_0008__are_r_0028_0013__in->r_0028_0011__or [arg0] r_0028_0015__direction direction r_0028_0008__are_r_0028_0013__in->r_0028_0015__direction [arg1] r_0028_0009__four_r_0028_0010__lanes four lanes r_0028_0011__or->r_0028_0009__four_r_0028_0010__lanes [conj1] z_0028_5011 r_0028_0011__or->z_0028_5011 [conj2] r_0028_0014__your your r_0028_0015__direction->r_0028_0014__your [gen] r_0028_0012__more more z_0028_5011->r_0028_0012__more [attrib] r_0028_0018__may_r_0028_0020__drive->r_0028_0014__your [arg0] r_0028_0019__only only r_0028_0018__may_r_0028_0020__drive->r_0028_0019__only [nim] r_0028_0018__may_r_0028_0020__drive->z_0028_5022 in [nim] r_0028_0027__closest closest z_0028_5022->r_0028_0027__closest [attrib] r_0028_0024__the_r_0028_0025__two_r_0028_0026__lanes the two lanes z_0028_5022->r_0028_0024__the_r_0028_0025__two_r_0028_0026__lanes of r_0028_0029__the_r_0028_0031__edge the edge r_0028_0027__closest->r_0028_0029__the_r_0028_0031__edge to r_0028_0030__right right r_0028_0029__the_r_0028_0031__edge->r_0028_0030__right [attrib] r_0028_0033__the_r_0028_0034__road the road r_0028_0029__the_r_0028_0031__edge->r_0028_0033__the_r_0028_0034__road of
fof(formula,axiom,
    ! [R_0028_0006__AND,R_0028_0009__FOUR_R_0028_0010__LANES,R_0028_0012__MORE,Z_0028_5011,R_0028_0011__OR,R_0028_0014__YOUR,R_0028_0015__DIRECTION,R_0028_0008__ARE_R_0028_0013__IN] :
      ( ( r_0028_0009__four_r_0028_0010__lanes(R_0028_0009__FOUR_R_0028_0010__LANES)
        & r_0028_0012__more(R_0028_0012__MORE)
        & r_0028_0014__your(R_0028_0014__YOUR)
        & r_0028_0006__and(R_0028_0006__AND)
        & has_conj2(R_0028_0006__AND,R_0028_0008__ARE_R_0028_0013__IN)
        & r_0028_0008__are_r_0028_0013__in(R_0028_0008__ARE_R_0028_0013__IN)
        & has_arg1(R_0028_0008__ARE_R_0028_0013__IN,R_0028_0015__DIRECTION)
        & r_0028_0015__direction(R_0028_0015__DIRECTION)
        & has_gen(R_0028_0015__DIRECTION,R_0028_0014__YOUR)
        & has_arg0(R_0028_0008__ARE_R_0028_0013__IN,R_0028_0011__OR)
        & r_0028_0011__or(R_0028_0011__OR)
        & has_conj2(R_0028_0011__OR,Z_0028_5011)
        & z_0028_5011(Z_0028_5011)
        & has_attrib(Z_0028_5011,R_0028_0012__MORE)
        & has_conj1(R_0028_0011__OR,R_0028_0009__FOUR_R_0028_0010__LANES)
        & ! [R_0028_0003__LANES] :
            ( r_0028_0003__lanes(R_0028_0003__LANES)
           => ? [R_0028_0005__MARKED,R_0028_0004__ARE] :
                ( r_0028_0005__marked(R_0028_0005__MARKED)
                & r_0028_0004__are(R_0028_0004__ARE)
                & has_prd(R_0028_0004__ARE,R_0028_0005__MARKED)
                & has_arg0(R_0028_0004__ARE,R_0028_0003__LANES) ) ) )
     => ! [Z_0028_5022,R_0028_0024__THE_R_0028_0025__TWO_R_0028_0026__LANES,R_0028_0030__RIGHT,R_0028_0033__THE_R_0028_0034__ROAD,R_0028_0029__THE_R_0028_0031__EDGE,R_0028_0027__CLOSEST] :
          ( ( r_0028_0024__the_r_0028_0025__two_r_0028_0026__lanes(R_0028_0024__THE_R_0028_0025__TWO_R_0028_0026__LANES)
            & r_0028_0030__right(R_0028_0030__RIGHT)
            & r_0028_0033__the_r_0028_0034__road(R_0028_0033__THE_R_0028_0034__ROAD)
            & z_0028_5022(Z_0028_5022)
            & has_attrib(Z_0028_5022,R_0028_0027__CLOSEST)
            & r_0028_0027__closest(R_0028_0027__CLOSEST)
            & has_r_0028_0028__to(R_0028_0027__CLOSEST,R_0028_0029__THE_R_0028_0031__EDGE)
            & r_0028_0029__the_r_0028_0031__edge(R_0028_0029__THE_R_0028_0031__EDGE)
            & has_r_0028_0032__of(R_0028_0029__THE_R_0028_0031__EDGE,R_0028_0033__THE_R_0028_0034__ROAD)
            & has_attrib(R_0028_0029__THE_R_0028_0031__EDGE,R_0028_0030__RIGHT)
            & has_r_0028_0023__of(Z_0028_5022,R_0028_0024__THE_R_0028_0025__TWO_R_0028_0026__LANES) )
         => ? [R_0028_0019__ONLY,R_0028_0018__MAY_R_0028_0020__DRIVE] :
              ( r_0028_0019__only(R_0028_0019__ONLY)
              & r_0028_0018__may_r_0028_0020__drive(R_0028_0018__MAY_R_0028_0020__DRIVE)
              & has_r_0028_0021__in__nim(R_0028_0018__MAY_R_0028_0020__DRIVE,Z_0028_5022)
              & has_nim(R_0028_0018__MAY_R_0028_0020__DRIVE,R_0028_0019__ONLY)
              & has_arg0(R_0028_0018__MAY_R_0028_0020__DRIVE,R_0028_0014__YOUR) ) ) ) ).