TSPC 19_a_driver

19_a_driver_handbook
The faster you go, the less time you have to avoid a hazard or collision.

( (FRAG (NP (D The;{the})
            (ADJP (ADJR faster;{fast}))
            (IP-REL (NP-OB1 *T*)
                    (NP-SBJ (PRO you;{you}))
                    (VBP;_I_ go;{go})))
        (PUNC ,)
        (NP (D the;{the})
            (ADJP (ADJR less;{less}))
            (N time;{time})
            (IP-REL (NP-OB1 *T*)
                    (NP-SBJ (PRO you;{you}))
                    (HVP;_Tn_ have;{have})
                    (PP-SCON (IP-INF2 (TO to;{to})
                                      (VB;_Tn_ avoid;{avoid})
                                      (NP-OB1 (D a;{a})
                                              (NLYR (NLYR (N hazard;{hazard}))
                                                    (CONJP (CONJ or;{or})
                                                           (NLYR (N collision;{collision})))))))))
        (PUNC .))
  (ID 19_a_driver_handbook))

arc(r_0019_0001__The,r_0019_0002__faster,attrib).
arc(r_0019_0004__go,r_0019_0001__The,inv_arg1).
arc(r_0019_0004__go,r_0019_0003__you,arg0).
arc(r_0019_0006__the_r_0019_0008__time,r_0019_0007__less,attrib).
arc(r_0019_0010__have,r_0019_0006__the_r_0019_0008__time,inv_arg1).
arc(r_0019_0010__have,r_0019_0009__you,arg0).
arc(r_0019_0012__avoid,r_0019_0009__you,arg0).
arc(r_0019_0012__avoid,r_0019_0013__a_r_0019_0014__hazard_r_0019_0015__or_r_0019_0016__collision,arg1).
arc(z_0019_5007,r_0019_0010__have,scope).
arc(z_0019_5007,r_0019_0012__avoid,restriction).
arc(z_0019_5016,r_0019_0001__The,z_0019_5012).
arc(z_0019_5016,r_0019_0006__the_r_0019_0008__time,z_0019_5003).

fof(formula,axiom,
    ? [R_0019_0009__YOU,R_0019_0010__HAVE,R_0019_0013__A_R_0019_0014__HAZARD_R_0019_0015__OR_R_0019_0016__COLLISION,R_0019_0012__AVOID,Z_0019_5007,R_0019_0002__FASTER,R_0019_0003__YOU,R_0019_0004__GO,R_0019_0001__THE,R_0019_0007__LESS,R_0019_0006__THE_R_0019_0008__TIME,Z_0019_5016] :
      ( r_0019_0002__faster(R_0019_0002__FASTER)
      & r_0019_0003__you(R_0019_0003__YOU)
      & r_0019_0007__less(R_0019_0007__LESS)
      & r_0019_0009__you(R_0019_0009__YOU)
      & r_0019_0013__a_r_0019_0014__hazard_r_0019_0015__or_r_0019_0016__collision(R_0019_0013__A_R_0019_0014__HAZARD_R_0019_0015__OR_R_0019_0016__COLLISION)
      & z_0019_5016(Z_0019_5016)
      & has_z_0019_5003(Z_0019_5016,R_0019_0006__THE_R_0019_0008__TIME)
      & r_0019_0006__the_r_0019_0008__time(R_0019_0006__THE_R_0019_0008__TIME)
      & has_inv_arg1(R_0019_0006__THE_R_0019_0008__TIME,R_0019_0010__HAVE)
      & r_0019_0010__have(R_0019_0010__HAVE)
      & has_arg0(R_0019_0010__HAVE,R_0019_0009__YOU)
      & has_attrib(R_0019_0006__THE_R_0019_0008__TIME,R_0019_0007__LESS)
      & has_z_0019_5012(Z_0019_5016,R_0019_0001__THE)
      & r_0019_0001__The(R_0019_0001__THE)
      & has_inv_arg1(R_0019_0001__THE,R_0019_0004__GO)
      & r_0019_0004__go(R_0019_0004__GO)
      & has_arg0(R_0019_0004__GO,R_0019_0003__YOU)
      & has_attrib(R_0019_0001__THE,R_0019_0002__FASTER)
      & z_0019_5007(Z_0019_5007)
      & has_conj1(Z_0019_5007,R_0019_0012__AVOID)
      & r_0019_0012__avoid(R_0019_0012__AVOID)
      & has_arg1(R_0019_0012__AVOID,R_0019_0013__A_R_0019_0014__HAZARD_R_0019_0015__OR_R_0019_0016__COLLISION)
      & has_arg0(R_0019_0012__AVOID,R_0019_0009__YOU)
      & has_conj2(Z_0019_5007,R_0019_0010__HAVE) ) ).