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_19_4_GO,Z_19_A_DRIVER_HANDBOOK_1,R_19_1_THE,R_19_2_FASTER,Z_19_A_DRIVER_HANDBOOK_34,R_19_11_TO_AVOID,R_19_15_OR,R_19_14_HAZARD,R_19_16_COLLISION,R_19_10_HAVE,R_19_3_YOU,R_19_6_THE_TIME,R_19_7_LESS] :
( faster(R_19_2_FASTER)
& hazard(R_19_14_HAZARD)
& collision(R_19_16_COLLISION)
& you(R_19_3_YOU)
& less(R_19_7_LESS)
& go(R_19_4_GO,R_19_3_YOU,R_19_1_THE)
& the(R_19_1_THE)
& attrib5(R_19_1_THE,R_19_2_FASTER)
& z_19_a_driver_handbook_1(Z_19_A_DRIVER_HANDBOOK_1)
& nim18(Z_19_A_DRIVER_HANDBOOK_1,R_19_6_THE_TIME)
& the_time(R_19_6_THE_TIME)
& attrib21(R_19_6_THE_TIME,R_19_7_LESS)
& nim2(Z_19_A_DRIVER_HANDBOOK_1,R_19_1_THE)
& z_19_a_driver_handbook_34(Z_19_A_DRIVER_HANDBOOK_34)
& conj1(Z_19_A_DRIVER_HANDBOOK_34,R_19_11_TO_AVOID)
& to_avoid(R_19_11_TO_AVOID,R_19_3_YOU,R_19_15_OR)
& or(R_19_15_OR)
& conj1(R_19_15_OR,R_19_14_HAZARD)
& conj2(R_19_15_OR,R_19_16_COLLISION)
& conj2(Z_19_A_DRIVER_HANDBOOK_34,R_19_10_HAVE)
& have(R_19_10_HAVE,R_19_3_YOU,R_19_6_THE_TIME) ) ).
( (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))