TSPC 25_a_driver

25_a_driver_handbook
When traveling below the speed limit always move to the right when another driver is close behind you and wishes to drive faster, unless you are already in the extreme right lane.

( (IP-IMP (PP-SCON (P-CONN When;{when})
                   (IP-PPL2 (VAG;_I_ traveling;{travel})
                            (PP-NIM (P-ROLE below;{below})
                                    (NP (D the;{the})
                                        (N speed;{speed})
                                        (N limit;{limit})))))
          (ADVP-NIM (ADV always;{always}))
          (VBP;_Ipr_ move;{move[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (ADJP (ADJ right;{right}))))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (D another;{another})
                                   (N driver;{driver}))
                           (ILYR (ILYR (BEP;_La_ is;{be})
                                       (ADJP-PRD (ADJ close;{close})
                                                 (PP (P-ROLE behind;{behind})
                                                     (NP (PRO you;{you})))))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (VBP;_Tt_ wishes;{wish})
                                              (IP-INF-OB1 (TO to;{to})
                                                          (VB;_I_ drive;{drive})
                                                          (ADVP-NIM (ADVR faster;{fast}))))))))
          (PUNC ,)
          (PP-SCON (P-CONN unless;{unless})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_Ipr_ are;{be[in]})
                           (ADVP-NIM (ADV already;{already}))
                           (PP-CLR (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (ADJP (NP (ADJP (ADJ extreme;{extreme})))
                                             (ADJ right;{right}))
                                       (N lane;{lane})))))
          (PUNC .))
  (ID 25_a_driver_handbook))

arc(r_0025_0001__When,r_0025_0002__traveling,restriction).
arc(r_0025_0001__When,r_0025_0008__move_r_0025_0009__to,scope).
arc(r_0025_0002__traveling,r_0025_0004__the_r_0025_0005__speed_r_0025_0006__limit,r_0025_0003__below__nim).
arc(r_0025_0002__traveling,z_0025_5002,arg0).
arc(r_0025_0008__move_r_0025_0009__to,r_0025_0007__always,nim).
arc(r_0025_0008__move_r_0025_0009__to,r_0025_0010__the,arg1).
arc(r_0025_0008__move_r_0025_0009__to,z_0025_5002,arg0).
arc(r_0025_0010__the,r_0025_0011__right,attrib).
arc(r_0025_0012__when,r_0025_0001__When,scope).
arc(r_0025_0012__when,r_0025_0019__and,restriction).
arc(r_0025_0015__is,r_0025_0013__another_r_0025_0014__driver,arg0).
arc(r_0025_0015__is,r_0025_0016__close,prd).
arc(r_0025_0016__close,r_0025_0018__you,r_0025_0017__behind).
arc(r_0025_0019__and,r_0025_0015__is,conj1).
arc(r_0025_0019__and,r_0025_0020__wishes,conj2).
arc(r_0025_0020__wishes,r_0025_0013__another_r_0025_0014__driver,arg0).
arc(r_0025_0020__wishes,r_0025_0022__drive,arg1).
arc(r_0025_0022__drive,r_0025_0013__another_r_0025_0014__driver,arg0).
arc(r_0025_0022__drive,r_0025_0023__faster,nim).
arc(r_0025_0025__unless,r_0025_0012__when,scope).
arc(r_0025_0025__unless,r_0025_0027__are_r_0025_0029__in,restriction).
arc(r_0025_0027__are_r_0025_0029__in,r_0025_0018__you,arg0).
arc(r_0025_0027__are_r_0025_0029__in,r_0025_0028__already,nim).
arc(r_0025_0027__are_r_0025_0029__in,r_0025_0030__the_r_0025_0033__lane,arg1).
arc(r_0025_0030__the_r_0025_0033__lane,r_0025_0032__right,attrib).
arc(r_0025_0032__right,z_0025_5011,nim).
arc(z_0025_5011,r_0025_0031__extreme,attrib).

fof(formula,axiom,
    ? [R_0025_0018__YOU,R_0025_0028__ALREADY,R_0025_0031__EXTREME,Z_0025_5011,R_0025_0032__RIGHT,R_0025_0030__THE_R_0025_0033__LANE,R_0025_0027__ARE_R_0025_0029__IN,R_0025_0025__UNLESS] :
      ( r_0025_0018__you(R_0025_0018__YOU)
      & r_0025_0028__already(R_0025_0028__ALREADY)
      & r_0025_0031__extreme(R_0025_0031__EXTREME)
      & r_0025_0025__unless(R_0025_0025__UNLESS)
      & has_conj1(R_0025_0025__UNLESS,R_0025_0027__ARE_R_0025_0029__IN)
      & r_0025_0027__are_r_0025_0029__in(R_0025_0027__ARE_R_0025_0029__IN)
      & has_arg1(R_0025_0027__ARE_R_0025_0029__IN,R_0025_0030__THE_R_0025_0033__LANE)
      & r_0025_0030__the_r_0025_0033__lane(R_0025_0030__THE_R_0025_0033__LANE)
      & has_attrib(R_0025_0030__THE_R_0025_0033__LANE,R_0025_0032__RIGHT)
      & r_0025_0032__right(R_0025_0032__RIGHT)
      & has_nim(R_0025_0032__RIGHT,Z_0025_5011)
      & z_0025_5011(Z_0025_5011)
      & has_attrib(Z_0025_5011,R_0025_0031__EXTREME)
      & has_nim(R_0025_0027__ARE_R_0025_0029__IN,R_0025_0028__ALREADY)
      & has_arg0(R_0025_0027__ARE_R_0025_0029__IN,R_0025_0018__YOU)
      & ! [R_0025_0019__AND,R_0025_0013__ANOTHER_R_0025_0014__DRIVER,R_0025_0016__CLOSE,R_0025_0015__IS,R_0025_0023__FASTER,R_0025_0022__DRIVE,R_0025_0020__WISHES] :
          ( ( r_0025_0013__another_r_0025_0014__driver(R_0025_0013__ANOTHER_R_0025_0014__DRIVER)
            & r_0025_0023__faster(R_0025_0023__FASTER)
            & r_0025_0019__and(R_0025_0019__AND)
            & has_conj2(R_0025_0019__AND,R_0025_0020__WISHES)
            & r_0025_0020__wishes(R_0025_0020__WISHES)
            & has_arg1(R_0025_0020__WISHES,R_0025_0022__DRIVE)
            & r_0025_0022__drive(R_0025_0022__DRIVE)
            & has_nim(R_0025_0022__DRIVE,R_0025_0023__FASTER)
            & has_arg0(R_0025_0022__DRIVE,R_0025_0013__ANOTHER_R_0025_0014__DRIVER)
            & has_arg0(R_0025_0020__WISHES,R_0025_0013__ANOTHER_R_0025_0014__DRIVER)
            & has_conj1(R_0025_0019__AND,R_0025_0015__IS)
            & r_0025_0015__is(R_0025_0015__IS)
            & has_prd(R_0025_0015__IS,R_0025_0016__CLOSE)
            & r_0025_0016__close(R_0025_0016__CLOSE)
            & has_r_0025_0017__behind(R_0025_0016__CLOSE,R_0025_0018__YOU)
            & has_arg0(R_0025_0015__IS,R_0025_0013__ANOTHER_R_0025_0014__DRIVER) )
         => ! [R_0025_0002__TRAVELING,R_0025_0004__THE_R_0025_0005__SPEED_R_0025_0006__LIMIT,Z_0025_5002] :
              ( ( r_0025_0004__the_r_0025_0005__speed_r_0025_0006__limit(R_0025_0004__THE_R_0025_0005__SPEED_R_0025_0006__LIMIT)
                & z_0025_5002(Z_0025_5002)
                & r_0025_0002__traveling(R_0025_0002__TRAVELING)
                & has_arg0(R_0025_0002__TRAVELING,Z_0025_5002)
                & has_r_0025_0003__below__nim(R_0025_0002__TRAVELING,R_0025_0004__THE_R_0025_0005__SPEED_R_0025_0006__LIMIT) )
             => ? [R_0025_0007__ALWAYS,R_0025_0011__RIGHT,R_0025_0010__THE,R_0025_0008__MOVE_R_0025_0009__TO] :
                  ( r_0025_0007__always(R_0025_0007__ALWAYS)
                  & r_0025_0011__right(R_0025_0011__RIGHT)
                  & r_0025_0008__move_r_0025_0009__to(R_0025_0008__MOVE_R_0025_0009__TO)
                  & has_arg0(R_0025_0008__MOVE_R_0025_0009__TO,Z_0025_5002)
                  & has_arg1(R_0025_0008__MOVE_R_0025_0009__TO,R_0025_0010__THE)
                  & r_0025_0010__the(R_0025_0010__THE)
                  & has_attrib(R_0025_0010__THE,R_0025_0011__RIGHT)
                  & has_nim(R_0025_0008__MOVE_R_0025_0009__TO,R_0025_0007__ALWAYS) ) ) ) ) ).