TSPC 27_a_driver

27_a_driver_handbook
When you tow a vehicle or trailer, or drive a bus or three or more axle truck, you must drive in the right hand lane or in a lane specially marked for slower vehicles.

arc(r_0027_0001__When, r_0027_0009__or, restriction).
arc(r_0027_0001__When, r_0027_0019__must, scope).
arc(r_0027_0003__tow, r_0027_0002__you, arg0).
arc(r_0027_0003__tow, r_0027_0006__or, arg1).
arc(r_0027_0006__or, r_0027_0004__a_r_0027_0005__vehicle, conj1).
arc(r_0027_0006__or, r_0027_0007__trailer, conj2).
arc(r_0027_0009__or, r_0027_0003__tow, conj1).
arc(r_0027_0009__or, r_0027_0010__drive, conj2).
arc(r_0027_0010__drive, r_0027_0002__you, arg0).
arc(r_0027_0010__drive, r_0027_0013__or, arg1).
arc(r_0027_0013__or, r_0027_0011__a_r_0027_0012__bus, conj1).
arc(r_0027_0013__or, r_0027_0014__three_or_more_r_0027_0015__axle_r_0027_0016__truck, conj2).
arc(r_0027_0019__must, r_0027_0026__or, scope).
arc(r_0027_0020__drive, r_0027_0002__you, arg0).
arc(r_0027_0020__drive, r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane, r_0027_0021__in_nim66).
arc(r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane, r_0027_0023__right, attrib69).
arc(r_0027_0026__or, r_0027_0020__drive, conj1).
arc(r_0027_0026__or, z_000_27_a_driver_handbook_79, conj2).
arc(r_0027_0031__marked, r_0027_0028__a_r_0027_0029__lane, arg1).
arc(r_0027_0031__marked, r_0027_0030__specially, nim91).
arc(r_0027_0031__marked, r_0027_0034__vehicles, r_0027_0032__for_nim99).
arc(r_0027_0031__marked, z_000_27_a_driver_handbook_89, arg0).
arc(r_0027_0034__vehicles, r_0027_0033__slower, attrib100).
arc(z_000_27_a_driver_handbook_79, r_0027_0002__you, arg0).
arc(z_000_27_a_driver_handbook_79, r_0027_0028__a_r_0027_0029__lane, r_0027_0027__in_nim83).

fof(formula,axiom,
    ? [R_0027_0028__A_R_0027_0029__LANE,R_0027_0030__SPECIALLY,R_0027_0033__SLOWER,R_0027_0034__VEHICLES,Z_000_27_A_DRIVER_HANDBOOK_89,R_0027_0031__MARKED] :
      ( r_0027_0028__a_r_0027_0029__lane(R_0027_0028__A_R_0027_0029__LANE)
      & r_0027_0030__specially(R_0027_0030__SPECIALLY)
      & r_0027_0033__slower(R_0027_0033__SLOWER)
      & z_000_27_a_driver_handbook_89(Z_000_27_A_DRIVER_HANDBOOK_89)
      & r_0027_0031__marked(R_0027_0031__MARKED)
      & has_arg0(R_0027_0031__MARKED,Z_000_27_A_DRIVER_HANDBOOK_89)
      & has_r_0027_0032__for_nim99(R_0027_0031__MARKED,R_0027_0034__VEHICLES)
      & r_0027_0034__vehicles(R_0027_0034__VEHICLES)
      & has_attrib100(R_0027_0034__VEHICLES,R_0027_0033__SLOWER)
      & has_nim91(R_0027_0031__MARKED,R_0027_0030__SPECIALLY)
      & has_arg1(R_0027_0031__MARKED,R_0027_0028__A_R_0027_0029__LANE)
      & ! [R_0027_0009__OR,R_0027_0002__YOU,R_0027_0004__A_R_0027_0005__VEHICLE,R_0027_0007__TRAILER,R_0027_0006__OR,R_0027_0003__TOW,R_0027_0011__A_R_0027_0012__BUS,R_0027_0014__THREE_OR_MORE_R_0027_0015__AXLE_R_0027_0016__TRUCK,R_0027_0013__OR,R_0027_0010__DRIVE] :
          ( ( r_0027_0002__you(R_0027_0002__YOU)
            & r_0027_0004__a_r_0027_0005__vehicle(R_0027_0004__A_R_0027_0005__VEHICLE)
            & r_0027_0007__trailer(R_0027_0007__TRAILER)
            & r_0027_0011__a_r_0027_0012__bus(R_0027_0011__A_R_0027_0012__BUS)
            & r_0027_0014__three_or_more_r_0027_0015__axle_r_0027_0016__truck(R_0027_0014__THREE_OR_MORE_R_0027_0015__AXLE_R_0027_0016__TRUCK)
            & r_0027_0009__or(R_0027_0009__OR)
            & has_conj2(R_0027_0009__OR,R_0027_0010__DRIVE)
            & r_0027_0010__drive(R_0027_0010__DRIVE)
            & has_arg1(R_0027_0010__DRIVE,R_0027_0013__OR)
            & r_0027_0013__or(R_0027_0013__OR)
            & has_conj2(R_0027_0013__OR,R_0027_0014__THREE_OR_MORE_R_0027_0015__AXLE_R_0027_0016__TRUCK)
            & has_conj1(R_0027_0013__OR,R_0027_0011__A_R_0027_0012__BUS)
            & has_arg0(R_0027_0010__DRIVE,R_0027_0002__YOU)
            & has_conj1(R_0027_0009__OR,R_0027_0003__TOW)
            & r_0027_0003__tow(R_0027_0003__TOW)
            & has_arg1(R_0027_0003__TOW,R_0027_0006__OR)
            & r_0027_0006__or(R_0027_0006__OR)
            & has_conj2(R_0027_0006__OR,R_0027_0007__TRAILER)
            & has_conj1(R_0027_0006__OR,R_0027_0004__A_R_0027_0005__VEHICLE)
            & has_arg0(R_0027_0003__TOW,R_0027_0002__YOU) )
         => ? [R_0027_0023__RIGHT,R_0027_0022__THE_R_0027_0024__HAND_R_0027_0025__LANE,R_0027_0020__DRIVE,Z_000_27_A_DRIVER_HANDBOOK_79,R_0027_0026__OR,R_0027_0019__MUST] :
              ( r_0027_0023__right(R_0027_0023__RIGHT)
              & r_0027_0019__must(R_0027_0019__MUST)
              & has_keep_scope(R_0027_0019__MUST,R_0027_0026__OR)
              & r_0027_0026__or(R_0027_0026__OR)
              & has_conj2(R_0027_0026__OR,Z_000_27_A_DRIVER_HANDBOOK_79)
              & z_000_27_a_driver_handbook_79(Z_000_27_A_DRIVER_HANDBOOK_79)
              & has_r_0027_0027__in_nim83(Z_000_27_A_DRIVER_HANDBOOK_79,R_0027_0028__A_R_0027_0029__LANE)
              & has_arg0(Z_000_27_A_DRIVER_HANDBOOK_79,R_0027_0002__YOU)
              & has_conj1(R_0027_0026__OR,R_0027_0020__DRIVE)
              & r_0027_0020__drive(R_0027_0020__DRIVE)
              & has_r_0027_0021__in_nim66(R_0027_0020__DRIVE,R_0027_0022__THE_R_0027_0024__HAND_R_0027_0025__LANE)
              & r_0027_0022__the_r_0027_0024__hand_r_0027_0025__lane(R_0027_0022__THE_R_0027_0024__HAND_R_0027_0025__LANE)
              & has_attrib69(R_0027_0022__THE_R_0027_0024__HAND_R_0027_0025__LANE,R_0027_0023__RIGHT)
              & has_arg0(R_0027_0020__DRIVE,R_0027_0002__YOU) ) ) ) ).

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (ILYR (ILYR (VBP;_Tn_ tow;{tow})
                                       (NP-OB1 (NLYR (NLYR (D a;{a})
                                                           (N vehicle;{vehicle}))
                                                     (CONJP (CONJ or;{or})
                                                            (NLYR (N trailer;{trailer}))))))
                                 (PUNC ,)
                                 (CONJP (CONJ or;{or})
                                        (ILYR (VB;_Tn_ drive;{drive})
                                              (NP-OB1 (NLYR (NLYR (D a;{a})
                                                                  (N bus;{bus}))
                                                            (CONJP (CONJ or;{or})
                                                                   (NLYR (NUM three_or_more;{three_or_more})
                                                                         (N axle;{axle})
                                                                         (N truck;{truck}))))))))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (ILYR (ILYR (VB;_I_ drive;{drive})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (ADJP (ADJ right;{right}))
                                              (N hand;{hand})
                                              (N lane;{lane}))))
                            (CONJP (CONJ or;{or})
                                   (ILYR (PP-NIM (P-ROLE in;{in})
                                                 (NP (D a;{a})
                                                     (N lane;{lane})
                                                     (IP-PPL (NP-LGS *)
                                                             (ADVP-NIM (ADV specially;{specially}))
                                                             (VVN;_Tn_ marked;{mark})
                                                             (PP-NIM (P-ROLE for;{for})
                                                                     (NP (ADJP (ADJR slower;{slow}))
                                                                         (NS vehicles;{vehicle}))))))))))
          (PUNC .))
  (ID 27_a_driver_handbook))