20_a_driver_handbook
The force of a 60 mphcrash is not just twice as great as a 30 mphcrash, it's four times as great!
arc(r_0020_0001__The_r_0020_0002__force, r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph, r_0020_0003__of).
arc(r_0020_0007__is, r_0020_0001__The_r_0020_0002__force, arg0).
arc(r_0020_0007__is, r_0020_0009__just, nim23).
arc(r_0020_0007__is, r_0020_0012__great, prd).
arc(r_0020_0008__not, r_0020_0007__is, keep_scope).
arc(r_0020_0011__as, r_0020_0010__twice, qual28).
arc(r_0020_0012__great, r_0020_0011__as, qual27).
arc(r_0020_0012__great, r_0020_0014__a_r_0020_0015__30_r_0020_0016__mph, r_0020_0013__as).
arc(r_0020_0019___apos_s, r_0020_0001__The_r_0020_0002__force, arg0).
arc(r_0020_0019___apos_s, r_0020_0023__great, prd).
arc(r_0020_0022__as, r_0020_0020__four_r_0020_0021__times, nim56).
arc(r_0020_0023__great, r_0020_0022__as, qual55).
arc(z_000_20_a_driver_handbook_2, r_0020_0008__not, conj1).
arc(z_000_20_a_driver_handbook_2, r_0020_0019___apos_s, conj2).
fof(formula,axiom,
? [R_0020_0004__A_R_0020_0005__60_R_0020_0006__MPH,R_0020_0001__THE_R_0020_0002__FORCE,R_0020_0020__FOUR_R_0020_0021__TIMES,R_0020_0022__AS,R_0020_0023__GREAT,R_0020_0019___APOS_S,Z_000_20_A_DRIVER_HANDBOOK_2] :
( r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph(R_0020_0004__A_R_0020_0005__60_R_0020_0006__MPH)
& r_0020_0020__four_r_0020_0021__times(R_0020_0020__FOUR_R_0020_0021__TIMES)
& z_000_20_a_driver_handbook_2(Z_000_20_A_DRIVER_HANDBOOK_2)
& has_conj2(Z_000_20_A_DRIVER_HANDBOOK_2,R_0020_0019___APOS_S)
& r_0020_0019___apos_s(R_0020_0019___APOS_S)
& has_prd(R_0020_0019___APOS_S,R_0020_0023__GREAT)
& r_0020_0023__great(R_0020_0023__GREAT)
& has_qual55(R_0020_0023__GREAT,R_0020_0022__AS)
& r_0020_0022__as(R_0020_0022__AS)
& has_nim56(R_0020_0022__AS,R_0020_0020__FOUR_R_0020_0021__TIMES)
& has_arg0(R_0020_0019___APOS_S,R_0020_0001__THE_R_0020_0002__FORCE)
& r_0020_0001__The_r_0020_0002__force(R_0020_0001__THE_R_0020_0002__FORCE)
& has_r_0020_0003__of(R_0020_0001__THE_R_0020_0002__FORCE,R_0020_0004__A_R_0020_0005__60_R_0020_0006__MPH)
& has_conj1(Z_000_20_A_DRIVER_HANDBOOK_2,R_0020_0008__NOT)
& ~ ? [R_0020_0009__JUST,R_0020_0010__TWICE,R_0020_0011__AS,R_0020_0014__A_R_0020_0015__30_R_0020_0016__MPH,R_0020_0012__GREAT,R_0020_0007__IS] :
( r_0020_0009__just(R_0020_0009__JUST)
& r_0020_0010__twice(R_0020_0010__TWICE)
& r_0020_0014__a_r_0020_0015__30_r_0020_0016__mph(R_0020_0014__A_R_0020_0015__30_R_0020_0016__MPH)
& r_0020_0007__is(R_0020_0007__IS)
& has_prd(R_0020_0007__IS,R_0020_0012__GREAT)
& r_0020_0012__great(R_0020_0012__GREAT)
& has_r_0020_0013__as(R_0020_0012__GREAT,R_0020_0014__A_R_0020_0015__30_R_0020_0016__MPH)
& has_qual27(R_0020_0012__GREAT,R_0020_0011__AS)
& r_0020_0011__as(R_0020_0011__AS)
& has_qual28(R_0020_0011__AS,R_0020_0010__TWICE)
& has_nim23(R_0020_0007__IS,R_0020_0009__JUST)
& has_arg0(R_0020_0007__IS,R_0020_0001__THE_R_0020_0002__FORCE) ) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{FORCE} (D The;{the})
(N force;{force})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(NUM 60)
(N mph;{mph}crash;{crash}))))
(BEP;_La_ is;{be})
(NEG not;{not})
(ADVP-NIM (ADV just;{just}))
(ADJP-PRD (ADVP (ADVP (ADV twice;{twice}))
(ADV as;{as}))
(ADJ great;{great})
(PP (P-ROLE as;{as})
(NP (D a;{a})
(NUM 30)
(N mph;{mph}crash;{crash})))))
(PUNC ,)
(CONJP (ILYR (NP-SBJ;{FORCE} (PRO it;{it}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (ADVP (NP (NUM four;{four})
(NS times;{time}))
(ADV as;{as}))
(ADJ great;{great})))))
(PUNC !))
(ID 20_a_driver_handbook))