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.

%3 r_0045_0001__If If r_0045_0005__is is r_0045_0001__If->r_0045_0005__is [restriction] r_0045_0026__not not r_0045_0001__If->r_0045_0026__not [scope] r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus the school bus r_0045_0005__is->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_0007__the_r_0045_0009__side on [clr] r_0045_0025__do_r_0045_0027__need do need r_0045_0026__not->r_0045_0025__do_r_0045_0027__need [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_0017__two_or_more_r_0045_0018__lanes two or more lanes r_0045_0021__direction direction r_0045_0017__two_or_more_r_0045_0018__lanes->r_0045_0021__direction in r_0045_0020__each_quant each [quant] r_0045_0020__each_quant->r_0045_0017__two_or_more_r_0045_0018__lanes [scope] r_0045_0020__each_quant->r_0045_0021__direction [restriction] r_0045_0028__to_r_0045_0029__stop to stop r_0045_0025__do_r_0045_0027__need->r_0045_0028__to_r_0045_0029__stop [scope] r_0045_0024__you you r_0045_0028__to_r_0045_0029__stop->r_0045_0024__you [arg0] z_000_45_a_driver_handbook_47 z_000_45_a_driver_handbook_47->r_0045_0011__a_r_0045_0015__highway [arg0] z_000_45_a_driver_handbook_47->r_0045_0017__two_or_more_r_0045_0018__lanes [prd]
arc(r_0045_0001__If, r_0045_0005__is, restriction).
arc(r_0045_0001__If, r_0045_0026__not, scope).
arc(r_0045_0005__is, r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus, arg0).
arc(r_0045_0005__is, r_0045_0007__the_r_0045_0009__side, r_0045_0006__on_clr18).
arc(r_0045_0007__the_r_0045_0009__side, r_0045_0008__other, attrib21).
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, attrib32).
arc(r_0045_0013__or, r_0045_0012__divided, conj1).
arc(r_0045_0013__or, r_0045_0014__multilane, conj2).
arc(r_0045_0017__two_or_more_r_0045_0018__lanes, r_0045_0021__direction, r_0045_0019__in).
arc(r_0045_0020__each_quant, r_0045_0017__two_or_more_r_0045_0018__lanes, scope).
arc(r_0045_0020__each_quant, r_0045_0021__direction, restriction).
arc(r_0045_0025__do_r_0045_0027__need, r_0045_0028__to_r_0045_0029__stop, scope).
arc(r_0045_0026__not, r_0045_0025__do_r_0045_0027__need, keep_scope).
arc(r_0045_0028__to_r_0045_0029__stop, r_0045_0024__you, arg0).
arc(z_000_45_a_driver_handbook_47, r_0045_0011__a_r_0045_0015__highway, arg0).
arc(z_000_45_a_driver_handbook_47, r_0045_0017__two_or_more_r_0045_0018__lanes, prd).



%3 z_000_45_a_driver_handbook_47 r_0045_0017__two_or_more_r_0045_0018__lanes two or more lanes z_000_45_a_driver_handbook_47->r_0045_0017__two_or_more_r_0045_0018__lanes [prd] r_0045_0011__a_r_0045_0015__highway a highway z_000_45_a_driver_handbook_47->r_0045_0011__a_r_0045_0015__highway [arg0] r_0045_0021__direction direction r_0045_0017__two_or_more_r_0045_0018__lanes->r_0045_0021__direction in r_0045_0013__or or r_0045_0011__a_r_0045_0015__highway->r_0045_0013__or [attrib] r_0045_0025__do_r_0045_0027__need_r_0045_0028__to_r_0045_0029__stop do need to stop r_0045_0024__you you r_0045_0025__do_r_0045_0027__need_r_0045_0028__to_r_0045_0029__stop->r_0045_0024__you [arg0] r_0045_0026__not not r_0045_0026__not->r_0045_0025__do_r_0045_0027__need_r_0045_0028__to_r_0045_0029__stop [keep_scope] r_0045_0020__each_quant each [quant] r_0045_0020__each_quant->z_000_45_a_driver_handbook_47 [scope] r_0045_0020__each_quant->r_0045_0021__direction [restriction] 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 is r_0045_0005__is->r_0045_0007__the_r_0045_0009__side on [clr] r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus the school bus r_0045_0005__is->r_0045_0002__the_r_0045_0003__school_r_0045_0004__bus [arg0] r_0045_0001__If If r_0045_0001__If->r_0045_0026__not [scope] r_0045_0001__If->r_0045_0005__is [restriction]
fof(formula,axiom,
    ( ! [R_45_5_IS,R_45_2_THE_SCHOOL_BUS,R_45_7_THE_SIDE,R_45_8_OTHER,R_45_11_A_HIGHWAY,R_45_13_OR,R_45_12_DIVIDED,R_45_14_MULTILANE] :
        ( ( the_school_bus(R_45_2_THE_SCHOOL_BUS)
          & other(R_45_8_OTHER)
          & divided(R_45_12_DIVIDED)
          & multilane(R_45_14_MULTILANE)
          & is(R_45_5_IS,R_45_2_THE_SCHOOL_BUS)
          & on_clr18(R_45_5_IS,R_45_7_THE_SIDE)
          & the_side(R_45_7_THE_SIDE)
          & attrib21(R_45_7_THE_SIDE,R_45_8_OTHER)
          & of(R_45_7_THE_SIDE,R_45_11_A_HIGHWAY)
          & a_highway(R_45_11_A_HIGHWAY)
          & attrib32(R_45_11_A_HIGHWAY,R_45_13_OR)
          & or(R_45_13_OR)
          & conj1(R_45_13_OR,R_45_12_DIVIDED)
          & conj2(R_45_13_OR,R_45_14_MULTILANE) )
       => ~ ? [R_45_25_DO_NEED_TO_STOP,R_45_24_YOU] :
              ( you(R_45_24_YOU)
              & do_need_to_stop(R_45_25_DO_NEED_TO_STOP,R_45_24_YOU) ) )
    & ! [R_45_21_DIRECTION] :
        ( direction(R_45_21_DIRECTION)
       => ? [Z_45_A_DRIVER_HANDBOOK_47,R_45_11_A_HIGHWAY,R_45_13_OR,R_45_12_DIVIDED,R_45_14_MULTILANE,R_45_17_TWO_OR_MORE_LANES] :
            ( divided(R_45_12_DIVIDED)
            & multilane(R_45_14_MULTILANE)
            & z_45_a_driver_handbook_47(Z_45_A_DRIVER_HANDBOOK_47,R_45_11_A_HIGHWAY,R_45_17_TWO_OR_MORE_LANES)
            & a_highway(R_45_11_A_HIGHWAY)
            & attrib32(R_45_11_A_HIGHWAY,R_45_13_OR)
            & or(R_45_13_OR)
            & conj1(R_45_13_OR,R_45_12_DIVIDED)
            & conj2(R_45_13_OR,R_45_14_MULTILANE)
            & two_or_more_lanes(R_45_17_TWO_OR_MORE_LANES)
            & in(R_45_17_TWO_OR_MORE_LANES,R_45_21_DIRECTION) ) ) ) ).



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 two_or_more n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_2_1 lanes n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_1_1 in n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_1_1 each n45_a_driver_handbook__1_1_2_3_2_4_2_5_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 IP-PPL 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-PRD 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 NUM 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_2 NS 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_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3 PP 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_3 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_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_1 P-ROLE n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2 NP n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_1 Q n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_2 N n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_2 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_1->n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_1_1 n45_a_driver_handbook__1_1_2_3_2_4_2_5_1_3_2_2->n45_a_driver_handbook__1_1_2_3_2_4_2_5_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-)
                                               (IP-PPL (NP-PRD (NUM two_or_more;{two_or_more})
                                                               (NS lanes;{lane})
                                                               (PP (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))