arc(r_0025_0001__When, r_0025_0002__traveling, restriction).
arc(r_0025_0001__When, r_0025_0025__unless, scope).
arc(r_0025_0002__traveling, r_0025_0004__the_r_0025_0005__speed_r_0025_0006__limit, r_0025_0003__below_nim11).
arc(r_0025_0002__traveling, z_000_25_a_driver_handbook_1, arg0).
arc(r_0025_0008__move, r_0025_0007__always, nim18).
arc(r_0025_0008__move, r_0025_0010__the, r_0025_0009__to_clr26).
arc(r_0025_0008__move, z_000_25_a_driver_handbook_1, arg0).
arc(r_0025_0010__the, r_0025_0011__right, attrib29).
arc(r_0025_0012__when, r_0025_0008__move, 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_0021__to_r_0025_0022__drive, arg1).
arc(r_0025_0021__to_r_0025_0022__drive, r_0025_0013__another_r_0025_0014__driver, arg0).
arc(r_0025_0021__to_r_0025_0022__drive, r_0025_0023__faster, nim65).
arc(r_0025_0025__unless, r_0025_0012__when, scope).
arc(r_0025_0025__unless, r_0025_0027__are, restriction).
arc(r_0025_0027__are, r_0025_0018__you, arg0).
arc(r_0025_0027__are, r_0025_0028__already, nim79).
arc(r_0025_0027__are, r_0025_0030__the_r_0025_0033__lane, r_0025_0029__in_clr85).
arc(r_0025_0030__the_r_0025_0033__lane, r_0025_0032__right, attrib88).
arc(r_0025_0032__right, z_000_25_a_driver_handbook_89, nim89).
arc(z_000_25_a_driver_handbook_89, r_0025_0031__extreme, attrib90).

fof(formula,axiom,
    ! [R_25_2_TRAVELING,Z_25_A_DRIVER_HANDBOOK_1,R_25_4_THE_SPEED_LIMIT] :
      ( ( the_speed_limit(R_25_4_THE_SPEED_LIMIT)
        & traveling(R_25_2_TRAVELING,Z_25_A_DRIVER_HANDBOOK_1)
        & below_nim11(R_25_2_TRAVELING,R_25_4_THE_SPEED_LIMIT) )
     => ? [R_25_25_UNLESS,R_25_27_ARE,R_25_18_YOU,R_25_28_ALREADY,R_25_30_THE_LANE,R_25_32_RIGHT,Z_25_A_DRIVER_HANDBOOK_89,R_25_31_EXTREME] :
          ( you(R_25_18_YOU)
          & already(R_25_28_ALREADY)
          & extreme(R_25_31_EXTREME)
          & ! [R_25_19_AND,R_25_15_IS,R_25_16_CLOSE,R_25_20_WISHES,R_25_21_TO_DRIVE,R_25_13_ANOTHER_DRIVER,R_25_23_FASTER] :
              ( ( another_driver(R_25_13_ANOTHER_DRIVER)
                & faster(R_25_23_FASTER)
                & and(R_25_19_AND)
                & conj1(R_25_19_AND,R_25_15_IS)
                & is(R_25_15_IS,R_25_13_ANOTHER_DRIVER,R_25_16_CLOSE)
                & close(R_25_16_CLOSE)
                & behind(R_25_16_CLOSE,R_25_18_YOU)
                & conj2(R_25_19_AND,R_25_20_WISHES)
                & wishes(R_25_20_WISHES,R_25_13_ANOTHER_DRIVER,R_25_21_TO_DRIVE)
                & to_drive(R_25_21_TO_DRIVE,R_25_13_ANOTHER_DRIVER)
                & nim65(R_25_21_TO_DRIVE,R_25_23_FASTER) )
             => ? [R_25_8_MOVE,R_25_7_ALWAYS,R_25_10_THE,R_25_11_RIGHT] :
                  ( always(R_25_7_ALWAYS)
                  & right(R_25_11_RIGHT)
                  & move(R_25_8_MOVE,Z_25_A_DRIVER_HANDBOOK_1)
                  & nim18(R_25_8_MOVE,R_25_7_ALWAYS)
                  & to_clr26(R_25_8_MOVE,R_25_10_THE)
                  & the(R_25_10_THE)
                  & attrib29(R_25_10_THE,R_25_11_RIGHT) ) )
          & conj2(CONJ2)
          & unless(R_25_25_UNLESS)
          & conj1(R_25_25_UNLESS,R_25_27_ARE)
          & are(R_25_27_ARE,R_25_18_YOU)
          & nim79(R_25_27_ARE,R_25_28_ALREADY)
          & in_clr85(R_25_27_ARE,R_25_30_THE_LANE)
          & the_lane(R_25_30_THE_LANE)
          & attrib88(R_25_30_THE_LANE,R_25_32_RIGHT)
          & right(R_25_32_RIGHT)
          & nim89(R_25_32_RIGHT,Z_25_A_DRIVER_HANDBOOK_89)
          & z_25_a_driver_handbook_89(Z_25_A_DRIVER_HANDBOOK_89)
          & attrib90(Z_25_A_DRIVER_HANDBOOK_89,R_25_31_EXTREME) ) ) ).

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