Context                Previous, Next                Top


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 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_r_0045_0028__to_r_0045_0029__stop do need to stop r_0045_0026__not->r_0045_0025__do_r_0045_0027__need_r_0045_0028__to_r_0045_0029__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_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_0021__direction [restriction] z_000_45_a_driver_handbook_47 r_0045_0020__each_quant->z_000_45_a_driver_handbook_47 [scope] 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] 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] 
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_4 If n45_a_driver_handbook_8 the n45_a_driver_handbook_10 school n45_a_driver_handbook_12 bus n45_a_driver_handbook_14 is n45_a_driver_handbook_17 on n45_a_driver_handbook_20 the n45_a_driver_handbook_23 other n45_a_driver_handbook_25 side n45_a_driver_handbook_28 of n45_a_driver_handbook_31 a n45_a_driver_handbook_36 divided n45_a_driver_handbook_39 or n45_a_driver_handbook_42 multilane n45_a_driver_handbook_44 highway n45_a_driver_handbook_46 -LRB- n45_a_driver_handbook_50 two_or_more n45_a_driver_handbook_52 lanes n45_a_driver_handbook_55 in n45_a_driver_handbook_58 each n45_a_driver_handbook_60 direction n45_a_driver_handbook_62 -RRB- n45_a_driver_handbook_64 , n45_a_driver_handbook_67 you n45_a_driver_handbook_69 do n45_a_driver_handbook_71 not n45_a_driver_handbook_73 need n45_a_driver_handbook_76 to n45_a_driver_handbook_78 stop n45_a_driver_handbook_80 . n45_a_driver_handbook_1 IP-MAT n45_a_driver_handbook_2 PP-SCON n45_a_driver_handbook_1->n45_a_driver_handbook_2 n45_a_driver_handbook_63 PUNC n45_a_driver_handbook_1->n45_a_driver_handbook_63 n45_a_driver_handbook_65 NP-SBJ n45_a_driver_handbook_1->n45_a_driver_handbook_65 n45_a_driver_handbook_68 DOP n45_a_driver_handbook_1->n45_a_driver_handbook_68 n45_a_driver_handbook_70 NEG n45_a_driver_handbook_1->n45_a_driver_handbook_70 n45_a_driver_handbook_72 VB;_cat_Vt_ n45_a_driver_handbook_1->n45_a_driver_handbook_72 n45_a_driver_handbook_74 IP-INF-CAT n45_a_driver_handbook_1->n45_a_driver_handbook_74 n45_a_driver_handbook_79 PUNC n45_a_driver_handbook_1->n45_a_driver_handbook_79 n45_a_driver_handbook_3 P-CONN n45_a_driver_handbook_2->n45_a_driver_handbook_3 n45_a_driver_handbook_5 IP-ADV n45_a_driver_handbook_2->n45_a_driver_handbook_5 n45_a_driver_handbook_3->n45_a_driver_handbook_4 n45_a_driver_handbook_6 NP-SBJ n45_a_driver_handbook_5->n45_a_driver_handbook_6 n45_a_driver_handbook_13 BEP;_Ipr_ n45_a_driver_handbook_5->n45_a_driver_handbook_13 n45_a_driver_handbook_15 PP-CLR n45_a_driver_handbook_5->n45_a_driver_handbook_15 n45_a_driver_handbook_7 D n45_a_driver_handbook_6->n45_a_driver_handbook_7 n45_a_driver_handbook_9 N n45_a_driver_handbook_6->n45_a_driver_handbook_9 n45_a_driver_handbook_11 N n45_a_driver_handbook_6->n45_a_driver_handbook_11 n45_a_driver_handbook_7->n45_a_driver_handbook_8 n45_a_driver_handbook_9->n45_a_driver_handbook_10 n45_a_driver_handbook_11->n45_a_driver_handbook_12 n45_a_driver_handbook_13->n45_a_driver_handbook_14 n45_a_driver_handbook_16 P-ROLE n45_a_driver_handbook_15->n45_a_driver_handbook_16 n45_a_driver_handbook_18 NP n45_a_driver_handbook_15->n45_a_driver_handbook_18 n45_a_driver_handbook_16->n45_a_driver_handbook_17 n45_a_driver_handbook_19 D n45_a_driver_handbook_18->n45_a_driver_handbook_19 n45_a_driver_handbook_21 ADJP n45_a_driver_handbook_18->n45_a_driver_handbook_21 n45_a_driver_handbook_24 N n45_a_driver_handbook_18->n45_a_driver_handbook_24 n45_a_driver_handbook_26 PP n45_a_driver_handbook_18->n45_a_driver_handbook_26 n45_a_driver_handbook_19->n45_a_driver_handbook_20 n45_a_driver_handbook_22 ADJ n45_a_driver_handbook_21->n45_a_driver_handbook_22 n45_a_driver_handbook_22->n45_a_driver_handbook_23 n45_a_driver_handbook_24->n45_a_driver_handbook_25 n45_a_driver_handbook_27 P-ROLE n45_a_driver_handbook_26->n45_a_driver_handbook_27 n45_a_driver_handbook_29 NP n45_a_driver_handbook_26->n45_a_driver_handbook_29 n45_a_driver_handbook_27->n45_a_driver_handbook_28 n45_a_driver_handbook_30 D n45_a_driver_handbook_29->n45_a_driver_handbook_30 n45_a_driver_handbook_32 ADJP n45_a_driver_handbook_29->n45_a_driver_handbook_32 n45_a_driver_handbook_43 N n45_a_driver_handbook_29->n45_a_driver_handbook_43 n45_a_driver_handbook_45 PULB n45_a_driver_handbook_29->n45_a_driver_handbook_45 n45_a_driver_handbook_47 IP-PPL n45_a_driver_handbook_29->n45_a_driver_handbook_47 n45_a_driver_handbook_61 PURB n45_a_driver_handbook_29->n45_a_driver_handbook_61 n45_a_driver_handbook_30->n45_a_driver_handbook_31 n45_a_driver_handbook_33 AJLYR n45_a_driver_handbook_32->n45_a_driver_handbook_33 n45_a_driver_handbook_34 AJLYR n45_a_driver_handbook_33->n45_a_driver_handbook_34 n45_a_driver_handbook_37 CONJP n45_a_driver_handbook_33->n45_a_driver_handbook_37 n45_a_driver_handbook_35 ADJ n45_a_driver_handbook_34->n45_a_driver_handbook_35 n45_a_driver_handbook_35->n45_a_driver_handbook_36 n45_a_driver_handbook_38 CONJ n45_a_driver_handbook_37->n45_a_driver_handbook_38 n45_a_driver_handbook_40 AJLYR n45_a_driver_handbook_37->n45_a_driver_handbook_40 n45_a_driver_handbook_38->n45_a_driver_handbook_39 n45_a_driver_handbook_41 ADJ n45_a_driver_handbook_40->n45_a_driver_handbook_41 n45_a_driver_handbook_41->n45_a_driver_handbook_42 n45_a_driver_handbook_43->n45_a_driver_handbook_44 n45_a_driver_handbook_45->n45_a_driver_handbook_46 n45_a_driver_handbook_48 NP-PRD n45_a_driver_handbook_47->n45_a_driver_handbook_48 n45_a_driver_handbook_49 NUM n45_a_driver_handbook_48->n45_a_driver_handbook_49 n45_a_driver_handbook_51 NS n45_a_driver_handbook_48->n45_a_driver_handbook_51 n45_a_driver_handbook_53 PP n45_a_driver_handbook_48->n45_a_driver_handbook_53 n45_a_driver_handbook_49->n45_a_driver_handbook_50 n45_a_driver_handbook_51->n45_a_driver_handbook_52 n45_a_driver_handbook_54 P-ROLE n45_a_driver_handbook_53->n45_a_driver_handbook_54 n45_a_driver_handbook_56 NP n45_a_driver_handbook_53->n45_a_driver_handbook_56 n45_a_driver_handbook_54->n45_a_driver_handbook_55 n45_a_driver_handbook_57 Q n45_a_driver_handbook_56->n45_a_driver_handbook_57 n45_a_driver_handbook_59 N n45_a_driver_handbook_56->n45_a_driver_handbook_59 n45_a_driver_handbook_57->n45_a_driver_handbook_58 n45_a_driver_handbook_59->n45_a_driver_handbook_60 n45_a_driver_handbook_61->n45_a_driver_handbook_62 n45_a_driver_handbook_63->n45_a_driver_handbook_64 n45_a_driver_handbook_66 PRO n45_a_driver_handbook_65->n45_a_driver_handbook_66 n45_a_driver_handbook_66->n45_a_driver_handbook_67 n45_a_driver_handbook_68->n45_a_driver_handbook_69 n45_a_driver_handbook_70->n45_a_driver_handbook_71 n45_a_driver_handbook_72->n45_a_driver_handbook_73 n45_a_driver_handbook_75 TO n45_a_driver_handbook_74->n45_a_driver_handbook_75 n45_a_driver_handbook_77 VB;_I_ n45_a_driver_handbook_74->n45_a_driver_handbook_77 n45_a_driver_handbook_75->n45_a_driver_handbook_76 n45_a_driver_handbook_77->n45_a_driver_handbook_78 n45_a_driver_handbook_79->n45_a_driver_handbook_80 
( (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))