19_a_driver_handbook
The faster you go, the less time you have to avoid a hazard or collision.
arc(r_0019_0001__The, r_0019_0002__faster, attrib5).
arc(r_0019_0004__go, r_0019_0001__The, arg1).
arc(r_0019_0004__go, r_0019_0003__you, arg0).
arc(r_0019_0006__the_r_0019_0008__time, r_0019_0007__less, attrib21).
arc(r_0019_0010__have, r_0019_0003__you, arg0).
arc(r_0019_0010__have, r_0019_0006__the_r_0019_0008__time, arg1).
arc(r_0019_0011__to_r_0019_0012__avoid, r_0019_0003__you, arg0).
arc(r_0019_0011__to_r_0019_0012__avoid, r_0019_0015__or, arg1).
arc(r_0019_0015__or, r_0019_0014__hazard, conj1).
arc(r_0019_0015__or, r_0019_0016__collision, conj2).
arc(z_000_19_a_driver_handbook_1, r_0019_0001__The, nim2).
arc(z_000_19_a_driver_handbook_1, r_0019_0006__the_r_0019_0008__time, nim18).
arc(z_000_19_a_driver_handbook_34, r_0019_0010__have, scope).
arc(z_000_19_a_driver_handbook_34, r_0019_0011__to_r_0019_0012__avoid, restriction).
fof(formula,axiom,
? [R_0019_0002__FASTER,R_0019_0001__THE,R_0019_0003__YOU,R_0019_0004__GO,R_0019_0007__LESS,R_0019_0006__THE_R_0019_0008__TIME,Z_000_19_A_DRIVER_HANDBOOK_1,R_0019_0010__HAVE,R_0019_0014__HAZARD,R_0019_0016__COLLISION,R_0019_0015__OR,R_0019_0011__TO_R_0019_0012__AVOID,Z_000_19_A_DRIVER_HANDBOOK_34] :
( 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_0014__hazard(R_0019_0014__HAZARD)
& r_0019_0016__collision(R_0019_0016__COLLISION)
& z_000_19_a_driver_handbook_34(Z_000_19_A_DRIVER_HANDBOOK_34)
& has_conj1(Z_000_19_A_DRIVER_HANDBOOK_34,R_0019_0011__TO_R_0019_0012__AVOID)
& r_0019_0011__to_r_0019_0012__avoid(R_0019_0011__TO_R_0019_0012__AVOID)
& has_arg1(R_0019_0011__TO_R_0019_0012__AVOID,R_0019_0015__OR)
& r_0019_0015__or(R_0019_0015__OR)
& has_conj2(R_0019_0015__OR,R_0019_0016__COLLISION)
& has_conj1(R_0019_0015__OR,R_0019_0014__HAZARD)
& has_arg0(R_0019_0011__TO_R_0019_0012__AVOID,R_0019_0003__YOU)
& has_conj2(Z_000_19_A_DRIVER_HANDBOOK_34,R_0019_0010__HAVE)
& r_0019_0010__have(R_0019_0010__HAVE)
& has_arg1(R_0019_0010__HAVE,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_attrib21(R_0019_0006__THE_R_0019_0008__TIME,R_0019_0007__LESS)
& has_arg0(R_0019_0010__HAVE,R_0019_0003__YOU)
& z_000_19_a_driver_handbook_1(Z_000_19_A_DRIVER_HANDBOOK_1)
& has_nim18(Z_000_19_A_DRIVER_HANDBOOK_1,R_0019_0006__THE_R_0019_0008__TIME)
& has_nim2(Z_000_19_A_DRIVER_HANDBOOK_1,R_0019_0001__THE)
& r_0019_0001__The(R_0019_0001__THE)
& has_attrib5(R_0019_0001__THE,R_0019_0002__FASTER)
& r_0019_0004__go(R_0019_0004__GO)
& has_arg0(R_0019_0004__GO,R_0019_0003__YOU)
& has_arg1(R_0019_0004__GO,R_0019_0001__THE) ) ).
( (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))