45_a_driver_handbook
If the school bus is on the other side of a divided or multilane highway (two or more lanes in each direction), you do not need to stop.

n45_a_driver_handbook n45_a_driver_handbook__1_1_1_1 If n45_a_driver_handbook__1_1_2_1_1_1 the n45_a_driver_handbook__1_1_2_1_2_1 school n45_a_driver_handbook__1_1_2_1_3_1 bus n45_a_driver_handbook__1_1_2_2_1 is n45_a_driver_handbook__1_1_2_3_1_1 on n45_a_driver_handbook__1_1_2_3_2_1_1 the n45_a_driver_handbook__1_1_2_3_2_2_1_1 other n45_a_driver_handbook__1_1_2_3_2_3_1 side n45_a_driver_handbook__1_1_2_3_2_4_1_1 of n45_a_driver_handbook__1_1_2_3_2_4_2_1_1 a n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1_1_1 divided n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_1_1 or n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2_1_1 multilane n45_a_driver_handbook__1_1_2_3_2_4_2_3_1 highway n45_a_driver_handbook__1_1_2_3_2_4_2_4_1 -LRB- n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_1_1 *T* n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1_1_1 two n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_1_1 or n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1_1_1 more n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_2_1 lanes n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_1_1 in n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_1_1 each n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_2_1 direction n45_a_driver_handbook__1_1_2_3_2_4_2_6_1 -RRB- n45_a_driver_handbook__1_2_1 , n45_a_driver_handbook__1_3_1_1 you n45_a_driver_handbook__1_4_1 do n45_a_driver_handbook__1_5_1 not n45_a_driver_handbook__1_6_1 need n45_a_driver_handbook__1_7_1_1 to n45_a_driver_handbook__1_7_2_1 stop n45_a_driver_handbook__1_8_1 . n45_a_driver_handbook__1 IP-MAT n45_a_driver_handbook__1_1 PP-SCON n45_a_driver_handbook__1->n45_a_driver_handbook__1_1 n45_a_driver_handbook__1_2 PUNC n45_a_driver_handbook__1->n45_a_driver_handbook__1_2 n45_a_driver_handbook__1_3 NP-SBJ n45_a_driver_handbook__1->n45_a_driver_handbook__1_3 n45_a_driver_handbook__1_4 DOP n45_a_driver_handbook__1->n45_a_driver_handbook__1_4 n45_a_driver_handbook__1_5 NEG n45_a_driver_handbook__1->n45_a_driver_handbook__1_5 n45_a_driver_handbook__1_6 VB;_cat_Vt_ n45_a_driver_handbook__1->n45_a_driver_handbook__1_6 n45_a_driver_handbook__1_7 IP-INF-CAT n45_a_driver_handbook__1->n45_a_driver_handbook__1_7 n45_a_driver_handbook__1_8 PUNC n45_a_driver_handbook__1->n45_a_driver_handbook__1_8 n45_a_driver_handbook__1_1_1 P-CONN n45_a_driver_handbook__1_1->n45_a_driver_handbook__1_1_1 n45_a_driver_handbook__1_1_2 IP-ADV n45_a_driver_handbook__1_1->n45_a_driver_handbook__1_1_2 n45_a_driver_handbook__1_1_1->n45_a_driver_handbook__1_1_1_1 n45_a_driver_handbook__1_1_2_1 NP-SBJ n45_a_driver_handbook__1_1_2->n45_a_driver_handbook__1_1_2_1 n45_a_driver_handbook__1_1_2_2 BEP;_Ipr_ n45_a_driver_handbook__1_1_2->n45_a_driver_handbook__1_1_2_2 n45_a_driver_handbook__1_1_2_3 PP-CLR n45_a_driver_handbook__1_1_2->n45_a_driver_handbook__1_1_2_3 n45_a_driver_handbook__1_1_2_1_1 D n45_a_driver_handbook__1_1_2_1->n45_a_driver_handbook__1_1_2_1_1 n45_a_driver_handbook__1_1_2_1_2 N n45_a_driver_handbook__1_1_2_1->n45_a_driver_handbook__1_1_2_1_2 n45_a_driver_handbook__1_1_2_1_3 N n45_a_driver_handbook__1_1_2_1->n45_a_driver_handbook__1_1_2_1_3 n45_a_driver_handbook__1_1_2_1_1->n45_a_driver_handbook__1_1_2_1_1_1 n45_a_driver_handbook__1_1_2_1_2->n45_a_driver_handbook__1_1_2_1_2_1 n45_a_driver_handbook__1_1_2_1_3->n45_a_driver_handbook__1_1_2_1_3_1 n45_a_driver_handbook__1_1_2_2->n45_a_driver_handbook__1_1_2_2_1 n45_a_driver_handbook__1_1_2_3_1 P-ROLE n45_a_driver_handbook__1_1_2_3->n45_a_driver_handbook__1_1_2_3_1 n45_a_driver_handbook__1_1_2_3_2 NP n45_a_driver_handbook__1_1_2_3->n45_a_driver_handbook__1_1_2_3_2 n45_a_driver_handbook__1_1_2_3_1->n45_a_driver_handbook__1_1_2_3_1_1 n45_a_driver_handbook__1_1_2_3_2_1 D n45_a_driver_handbook__1_1_2_3_2->n45_a_driver_handbook__1_1_2_3_2_1 n45_a_driver_handbook__1_1_2_3_2_2 ADJP n45_a_driver_handbook__1_1_2_3_2->n45_a_driver_handbook__1_1_2_3_2_2 n45_a_driver_handbook__1_1_2_3_2_3 N n45_a_driver_handbook__1_1_2_3_2->n45_a_driver_handbook__1_1_2_3_2_3 n45_a_driver_handbook__1_1_2_3_2_4 PP n45_a_driver_handbook__1_1_2_3_2->n45_a_driver_handbook__1_1_2_3_2_4 n45_a_driver_handbook__1_1_2_3_2_1->n45_a_driver_handbook__1_1_2_3_2_1_1 n45_a_driver_handbook__1_1_2_3_2_2_1 ADJ n45_a_driver_handbook__1_1_2_3_2_2->n45_a_driver_handbook__1_1_2_3_2_2_1 n45_a_driver_handbook__1_1_2_3_2_2_1->n45_a_driver_handbook__1_1_2_3_2_2_1_1 n45_a_driver_handbook__1_1_2_3_2_3->n45_a_driver_handbook__1_1_2_3_2_3_1 n45_a_driver_handbook__1_1_2_3_2_4_1 P-ROLE n45_a_driver_handbook__1_1_2_3_2_4->n45_a_driver_handbook__1_1_2_3_2_4_1 n45_a_driver_handbook__1_1_2_3_2_4_2 NP n45_a_driver_handbook__1_1_2_3_2_4->n45_a_driver_handbook__1_1_2_3_2_4_2 n45_a_driver_handbook__1_1_2_3_2_4_1->n45_a_driver_handbook__1_1_2_3_2_4_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_1 D n45_a_driver_handbook__1_1_2_3_2_4_2->n45_a_driver_handbook__1_1_2_3_2_4_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2 ADJP n45_a_driver_handbook__1_1_2_3_2_4_2->n45_a_driver_handbook__1_1_2_3_2_4_2_2 n45_a_driver_handbook__1_1_2_3_2_4_2_3 N n45_a_driver_handbook__1_1_2_3_2_4_2->n45_a_driver_handbook__1_1_2_3_2_4_2_3 n45_a_driver_handbook__1_1_2_3_2_4_2_4 PULB n45_a_driver_handbook__1_1_2_3_2_4_2->n45_a_driver_handbook__1_1_2_3_2_4_2_4 n45_a_driver_handbook__1_1_2_3_2_4_2_5 PRN n45_a_driver_handbook__1_1_2_3_2_4_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5 n45_a_driver_handbook__1_1_2_3_2_4_2_6 PURB n45_a_driver_handbook__1_1_2_3_2_4_2->n45_a_driver_handbook__1_1_2_3_2_4_2_6 n45_a_driver_handbook__1_1_2_3_2_4_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1 AJLYR n45_a_driver_handbook__1_1_2_3_2_4_2_2->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1 AJLYR n45_a_driver_handbook__1_1_2_3_2_4_2_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2 CONJP n45_a_driver_handbook__1_1_2_3_2_4_2_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1_1 ADJ n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_1 CONJ n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2 AJLYR n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2_1 ADJ n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_2_1_2_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_3->n45_a_driver_handbook__1_1_2_3_2_4_2_3_1 n45_a_driver_handbook__1_1_2_3_2_4_2_4->n45_a_driver_handbook__1_1_2_3_2_4_2_4_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1 NP n45_a_driver_handbook__1_1_2_3_2_4_2_5->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1 IP-REL n45_a_driver_handbook__1_1_2_3_2_4_2_5_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_1 NP-SBJ n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2 NP-PRD n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3 PP-NIM n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1 NLYR n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_2 NS n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1 NLYR n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1 NLYR n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2 CONJP n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1_1 NUM n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_1 CONJ n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2 NLYR n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1 ADJP n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1_1 ADJR n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_1_1_2_2_1_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_2_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_1 P-ROLE n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2 NP n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_1 Q n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_2 N n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_1_3_2_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_6->n45_a_driver_handbook__1_1_2_3_2_4_2_6_1 n45_a_driver_handbook__1_2->n45_a_driver_handbook__1_2_1 n45_a_driver_handbook__1_3_1 PRO n45_a_driver_handbook__1_3->n45_a_driver_handbook__1_3_1 n45_a_driver_handbook__1_3_1->n45_a_driver_handbook__1_3_1_1 n45_a_driver_handbook__1_4->n45_a_driver_handbook__1_4_1 n45_a_driver_handbook__1_5->n45_a_driver_handbook__1_5_1 n45_a_driver_handbook__1_6->n45_a_driver_handbook__1_6_1 n45_a_driver_handbook__1_7_1 TO n45_a_driver_handbook__1_7->n45_a_driver_handbook__1_7_1 n45_a_driver_handbook__1_7_2 VB;_I_ n45_a_driver_handbook__1_7->n45_a_driver_handbook__1_7_2 n45_a_driver_handbook__1_7_1->n45_a_driver_handbook__1_7_1_1 n45_a_driver_handbook__1_7_2->n45_a_driver_handbook__1_7_2_1 n45_a_driver_handbook__1_8->n45_a_driver_handbook__1_8_1
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{SCHOOL_BUS} (D the;{the})
                                                (N school;{school})
                                                (N bus;{bus}))
                           (BEP;_Ipr_ is;{be[on]})
                           (PP-CLR (P-ROLE on;{on})
                                   (NP (D the;{the})
                                       (ADJP (ADJ other;{other}))
                                       (N side;{side})
                                       (PP (P-ROLE of;{of})
                                           (NP (D a;{a})
                                               (ADJP (AJLYR (AJLYR (ADJ divided;{divided}))
                                                            (CONJP (CONJ or;{or})
                                                                   (AJLYR (ADJ multilane;{multilane})))))
                                               (N highway;{highway})
                                               (PULB -LRB-)
                                               (PRN (NP (IP-REL (NP-SBJ *T*)
                                                                (NP-PRD (NLYR (NLYR (NLYR (NUM two;{two}))
                                                                                    (CONJP (CONJ or;{or})
                                                                                           (NLYR (ADJP (ADJR more;{more}))))))
                                                                        (NS lanes;{lane}))
                                                                (PP-NIM (P-ROLE in;{in})
                                                                        (NP (Q each;{each})
                                                                            (N direction;{direction}))))))
                                               (PURB -RRB-)))))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (DOP do;{do})
          (NEG not;{not})
          (VB;_cat_Vt_ need;{need})
          (IP-INF-CAT (TO to;{to})
                      (VB;_I_ stop;{stop}))
          (PUNC .))
  (ID 45_a_driver_handbook))



%3 z_0045_5021 z_0045_5020 z_0045_5021->z_0045_5020 [prd] r_0045_0011__a_r_0045_0015__highway a highway z_0045_5021->r_0045_0011__a_r_0045_0015__highway [arg0] r_0045_0013__or or r_0045_0011__a_r_0045_0015__highway->r_0045_0013__or [attrib] z_0045_5018 z_0045_5018->z_0045_5020 [inv_arg0] r_0045_0023__direction direction z_0045_5018->r_0045_0023__direction in [nim] r_0045_0020__lanes lanes z_0045_5018->r_0045_0020__lanes [prd] r_0045_0018__or or r_0045_0020__lanes->r_0045_0018__or [nim] z_0045_5017 r_0045_0019__more more z_0045_5017->r_0045_0019__more [attrib] r_0045_0031__stop stop r_0045_0026__you you r_0045_0031__stop->r_0045_0026__you [arg0] r_0045_0028__not not r_0045_0027__do_r_0045_0029__need do need r_0045_0028__not->r_0045_0027__do_r_0045_0029__need [keep_scope] r_0045_0027__do_r_0045_0029__need->r_0045_0031__stop [scope] r_0045_0022__each__quant each [quant] r_0045_0022__each__quant->z_0045_5018 [scope] r_0045_0022__each__quant->r_0045_0023__direction [restriction] r_0045_0018__or->z_0045_5017 [conj2] r_0045_0017__two two r_0045_0018__or->r_0045_0017__two [conj1] r_0045_0014__multilane multilane r_0045_0013__or->r_0045_0014__multilane [conj2] r_0045_0012__divided divided r_0045_0013__or->r_0045_0012__divided [conj1] r_0045_0007__the_r_0045_0009__side the side r_0045_0007__the_r_0045_0009__side->r_0045_0011__a_r_0045_0015__highway of r_0045_0008__other other r_0045_0007__the_r_0045_0009__side->r_0045_0008__other [attrib] r_0045_0005__is_r_0045_0006__on is on r_0045_0005__is_r_0045_0006__on->r_0045_0007__the_r_0045_0009__side [arg1] r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus the school bus r_0045_0005__is_r_0045_0006__on->r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus [arg0] r_0045_0001__If If r_0045_0001__If->r_0045_0028__not [scope] r_0045_0001__If->r_0045_0005__is_r_0045_0006__on [restriction]
arc(r_0045_0001__If,r_0045_0005__is_r_0045_0006__on,restriction).
arc(r_0045_0001__If,r_0045_0028__not,scope).
arc(r_0045_0005__is_r_0045_0006__on,r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus,arg0).
arc(r_0045_0005__is_r_0045_0006__on,r_0045_0007__the_r_0045_0009__side,arg1).
arc(r_0045_0007__the_r_0045_0009__side,r_0045_0008__other,attrib).
arc(r_0045_0007__the_r_0045_0009__side,r_0045_0011__a_r_0045_0015__highway,r_0045_0010__of).
arc(r_0045_0011__a_r_0045_0015__highway,r_0045_0013__or,attrib).
arc(r_0045_0013__or,r_0045_0012__divided,conj1).
arc(r_0045_0013__or,r_0045_0014__multilane,conj2).
arc(r_0045_0018__or,r_0045_0017__two,conj1).
arc(r_0045_0018__or,z_0045_5017,conj2).
arc(r_0045_0020__lanes,r_0045_0018__or,nim).
arc(r_0045_0022__each__quant,r_0045_0023__direction,restriction).
arc(r_0045_0022__each__quant,z_0045_5018,scope).
arc(r_0045_0027__do_r_0045_0029__need,r_0045_0031__stop,scope).
arc(r_0045_0028__not,r_0045_0027__do_r_0045_0029__need,keep_scope).
arc(r_0045_0031__stop,r_0045_0026__you,arg0).
arc(z_0045_5017,r_0045_0019__more,attrib).
arc(z_0045_5018,r_0045_0020__lanes,prd).
arc(z_0045_5018,r_0045_0023__direction,r_0045_0021__in__nim).
arc(z_0045_5018,z_0045_5020,inv_arg0).
arc(z_0045_5021,r_0045_0011__a_r_0045_0015__highway,arg0).
arc(z_0045_5021,z_0045_5020,prd).



%3 r_0045_0001__If If r_0045_0005__is_r_0045_0006__on is on r_0045_0001__If->r_0045_0005__is_r_0045_0006__on [restriction] r_0045_0028__not not r_0045_0001__If->r_0045_0028__not [scope] r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus the school bus r_0045_0005__is_r_0045_0006__on->r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus [arg0] r_0045_0007__the_r_0045_0009__side the side r_0045_0005__is_r_0045_0006__on->r_0045_0007__the_r_0045_0009__side [arg1] r_0045_0027__do_r_0045_0029__need_r_0045_0031__stop do need stop r_0045_0028__not->r_0045_0027__do_r_0045_0029__need_r_0045_0031__stop [keep_scope] r_0045_0008__other other r_0045_0007__the_r_0045_0009__side->r_0045_0008__other [attrib] r_0045_0011__a_r_0045_0015__highway a highway r_0045_0007__the_r_0045_0009__side->r_0045_0011__a_r_0045_0015__highway of r_0045_0013__or or r_0045_0011__a_r_0045_0015__highway->r_0045_0013__or [attrib] r_0045_0012__divided divided r_0045_0013__or->r_0045_0012__divided [conj1] r_0045_0014__multilane multilane r_0045_0013__or->r_0045_0014__multilane [conj2] r_0045_0018__or or r_0045_0017__two two r_0045_0018__or->r_0045_0017__two [conj1] z_0045_5017 r_0045_0018__or->z_0045_5017 [conj2] r_0045_0019__more more z_0045_5017->r_0045_0019__more [attrib] r_0045_0020__lanes lanes r_0045_0020__lanes->r_0045_0018__or [nim] r_0045_0022__each__quant each [quant] r_0045_0023__direction direction r_0045_0022__each__quant->r_0045_0023__direction [restriction] z_0045_5018 r_0045_0022__each__quant->z_0045_5018 [scope] z_0045_5018->r_0045_0020__lanes [prd] z_0045_5018->r_0045_0023__direction in [nim] r_0045_0026__you you r_0045_0027__do_r_0045_0029__need_r_0045_0031__stop->r_0045_0026__you [arg0] z_0045_5020 z_0045_5020->z_0045_5018 [inv_arg0] z_0045_5021 z_0045_5021->r_0045_0011__a_r_0045_0015__highway [arg0] z_0045_5021->z_0045_5020 [prd]
fof(formula,axiom,
    ? [R_0045_0012__DIVIDED,R_0045_0014__MULTILANE,R_0045_0013__OR,R_0045_0011__A_R_0045_0015__HIGHWAY,R_0045_0017__TWO,R_0045_0019__MORE,Z_0045_5017,R_0045_0018__OR,R_0045_0020__LANES,R_0045_0023__DIRECTION,Z_0045_5018,Z_0045_5020,Z_0045_5021] :
      ( r_0045_0012__divided(R_0045_0012__DIVIDED)
      & r_0045_0014__multilane(R_0045_0014__MULTILANE)
      & r_0045_0017__two(R_0045_0017__TWO)
      & r_0045_0019__more(R_0045_0019__MORE)
      & r_0045_0023__direction(R_0045_0023__DIRECTION)
      & z_0045_5021(Z_0045_5021)
      & has_prd(Z_0045_5021,Z_0045_5020)
      & z_0045_5020(Z_0045_5020)
      & has_inv_arg0(Z_0045_5020,Z_0045_5018)
      & z_0045_5018(Z_0045_5018)
      & has_r_0045_0021__in__nim(Z_0045_5018,R_0045_0023__DIRECTION)
      & has_prd(Z_0045_5018,R_0045_0020__LANES)
      & r_0045_0020__lanes(R_0045_0020__LANES)
      & has_nim(R_0045_0020__LANES,R_0045_0018__OR)
      & r_0045_0018__or(R_0045_0018__OR)
      & has_conj2(R_0045_0018__OR,Z_0045_5017)
      & z_0045_5017(Z_0045_5017)
      & has_attrib(Z_0045_5017,R_0045_0019__MORE)
      & has_conj1(R_0045_0018__OR,R_0045_0017__TWO)
      & has_arg0(Z_0045_5021,R_0045_0011__A_R_0045_0015__HIGHWAY)
      & r_0045_0011__a_r_0045_0015__highway(R_0045_0011__A_R_0045_0015__HIGHWAY)
      & has_attrib(R_0045_0011__A_R_0045_0015__HIGHWAY,R_0045_0013__OR)
      & r_0045_0013__or(R_0045_0013__OR)
      & has_conj2(R_0045_0013__OR,R_0045_0014__MULTILANE)
      & has_conj1(R_0045_0013__OR,R_0045_0012__DIVIDED)
      & ( r_0045_0023__direction(R_0045_0023__DIRECTION)
       => z_0045_5018(Z_0045_5018) )
      & ! [R_0045_0005__IS_R_0045_0006__ON,R_0045_0002__THE_R_0045_0003__SCHOOL_R_0045_0004__BUS,R_0045_0008__OTHER,R_0045_0007__THE_R_0045_0009__SIDE] :
          ( ( r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus(R_0045_0002__THE_R_0045_0003__SCHOOL_R_0045_0004__BUS)
            & r_0045_0008__other(R_0045_0008__OTHER)
            & r_0045_0005__is_r_0045_0006__on(R_0045_0005__IS_R_0045_0006__ON)
            & has_arg1(R_0045_0005__IS_R_0045_0006__ON,R_0045_0007__THE_R_0045_0009__SIDE)
            & r_0045_0007__the_r_0045_0009__side(R_0045_0007__THE_R_0045_0009__SIDE)
            & has_r_0045_0010__of(R_0045_0007__THE_R_0045_0009__SIDE,R_0045_0011__A_R_0045_0015__HIGHWAY)
            & has_attrib(R_0045_0007__THE_R_0045_0009__SIDE,R_0045_0008__OTHER)
            & has_arg0(R_0045_0005__IS_R_0045_0006__ON,R_0045_0002__THE_R_0045_0003__SCHOOL_R_0045_0004__BUS) )
         => ~ ? [R_0045_0026__YOU,R_0045_0027__DO_R_0045_0029__NEED_R_0045_0031__STOP] :
                ( r_0045_0026__you(R_0045_0026__YOU)
                & r_0045_0027__do_r_0045_0029__need_r_0045_0031__stop(R_0045_0027__DO_R_0045_0029__NEED_R_0045_0031__STOP)
                & has_arg0(R_0045_0027__DO_R_0045_0029__NEED_R_0045_0031__STOP,R_0045_0026__YOU) ) ) ) ).