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).

fof(formula,axiom,
    ( ! [R_0045_0021__DIRECTION] :
        ( r_0045_0021__direction(R_0045_0021__DIRECTION)
       => ? [R_0045_0012__DIVIDED,R_0045_0014__MULTILANE,R_0045_0013__OR,R_0045_0011__A_R_0045_0015__HIGHWAY,R_0045_0017__TWO_OR_MORE_R_0045_0018__LANES,Z_000_45_A_DRIVER_HANDBOOK_47] :
            ( r_0045_0012__divided(R_0045_0012__DIVIDED)
            & r_0045_0014__multilane(R_0045_0014__MULTILANE)
            & z_000_45_a_driver_handbook_47(Z_000_45_A_DRIVER_HANDBOOK_47)
            & has_prd(Z_000_45_A_DRIVER_HANDBOOK_47,R_0045_0017__TWO_OR_MORE_R_0045_0018__LANES)
            & r_0045_0017__two_or_more_r_0045_0018__lanes(R_0045_0017__TWO_OR_MORE_R_0045_0018__LANES)
            & has_r_0045_0019__in(R_0045_0017__TWO_OR_MORE_R_0045_0018__LANES,R_0045_0021__DIRECTION)
            & has_arg0(Z_000_45_A_DRIVER_HANDBOOK_47,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_attrib32(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_0005__IS,R_0045_0002__THE_R_0045_0003__SCHOOL_R_0045_0004__BUS,R_0045_0008__OTHER,R_0045_0012__DIVIDED,R_0045_0014__MULTILANE,R_0045_0013__OR,R_0045_0011__A_R_0045_0015__HIGHWAY,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_0012__divided(R_0045_0012__DIVIDED)
          & r_0045_0014__multilane(R_0045_0014__MULTILANE)
          & r_0045_0005__is(R_0045_0005__IS)
          & has_r_0045_0006__on_clr18(R_0045_0005__IS,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)
          & r_0045_0011__a_r_0045_0015__highway(R_0045_0011__A_R_0045_0015__HIGHWAY)
          & has_attrib32(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)
          & has_attrib21(R_0045_0007__THE_R_0045_0009__SIDE,R_0045_0008__OTHER)
          & has_arg0(R_0045_0005__IS,R_0045_0002__THE_R_0045_0003__SCHOOL_R_0045_0004__BUS) )
       => ~ ? [R_0045_0024__YOU,R_0045_0025__DO_R_0045_0027__NEED_R_0045_0028__TO_R_0045_0029__STOP] :
              ( r_0045_0024__you(R_0045_0024__YOU)
              & r_0045_0025__do_r_0045_0027__need_r_0045_0028__to_r_0045_0029__stop(R_0045_0025__DO_R_0045_0027__NEED_R_0045_0028__TO_R_0045_0029__STOP)
              & has_arg0(R_0045_0025__DO_R_0045_0027__NEED_R_0045_0028__TO_R_0045_0029__STOP,R_0045_0024__YOU) ) ) ) ).

( (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))