20_a_driver_handbook
The force of a 60 mph crash is not just twice as great as a 30 mph crash, it's four times as great!
( (IP-MAT (ILYR (ILYR (NP-SBJ;{FORCE} (D The;{the})
(N force;{force})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(NLYR (NUM 60)
(N mph;{mph}))
(N 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})
(NLYR (NUM 30)
(N mph;{mph}))
(N 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))
arc(r_0020_0001__The_r_0020_0002__force,r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph_r_0020_0007__crash,r_0020_0003__of).
arc(r_0020_0008__is,r_0020_0001__The_r_0020_0002__force,arg0).
arc(r_0020_0008__is,r_0020_0010__just,nim).
arc(r_0020_0008__is,r_0020_0013__great,prd).
arc(r_0020_0009__not,r_0020_0008__is,keep_scope).
arc(r_0020_0012__as,r_0020_0011__twice,qual).
arc(r_0020_0013__great,r_0020_0012__as,qual).
arc(r_0020_0013__great,r_0020_0015__a_r_0020_0016__30_r_0020_0017__mph_r_0020_0018__crash,r_0020_0014__as).
arc(r_0020_0021___apos_s,r_0020_0001__The_r_0020_0002__force,arg0).
arc(r_0020_0021___apos_s,r_0020_0025__great,prd).
arc(r_0020_0024__as,r_0020_0022__four_r_0020_0023__times,nim).
arc(r_0020_0025__great,r_0020_0024__as,qual).
arc(z_0020_5001,r_0020_0009__not,conj1).
arc(z_0020_5001,r_0020_0021___apos_s,conj2).
fof(formula,axiom,
? [R_0020_0004__A_R_0020_0005__60_R_0020_0006__MPH_R_0020_0007__CRASH,R_0020_0001__THE_R_0020_0002__FORCE,R_0020_0022__FOUR_R_0020_0023__TIMES,R_0020_0024__AS,R_0020_0025__GREAT,R_0020_0021___APOS_S,Z_0020_5001] :
( r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph_r_0020_0007__crash(R_0020_0004__A_R_0020_0005__60_R_0020_0006__MPH_R_0020_0007__CRASH)
& r_0020_0022__four_r_0020_0023__times(R_0020_0022__FOUR_R_0020_0023__TIMES)
& z_0020_5001(Z_0020_5001)
& has_conj2(Z_0020_5001,R_0020_0021___APOS_S)
& r_0020_0021___apos_s(R_0020_0021___APOS_S)
& has_prd(R_0020_0021___APOS_S,R_0020_0025__GREAT)
& r_0020_0025__great(R_0020_0025__GREAT)
& has_qual(R_0020_0025__GREAT,R_0020_0024__AS)
& r_0020_0024__as(R_0020_0024__AS)
& has_nim(R_0020_0024__AS,R_0020_0022__FOUR_R_0020_0023__TIMES)
& has_arg0(R_0020_0021___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_R_0020_0007__CRASH)
& has_conj1(Z_0020_5001,R_0020_0009__NOT)
& ~ ? [R_0020_0010__JUST,R_0020_0011__TWICE,R_0020_0012__AS,R_0020_0015__A_R_0020_0016__30_R_0020_0017__MPH_R_0020_0018__CRASH,R_0020_0013__GREAT,R_0020_0008__IS] :
( r_0020_0010__just(R_0020_0010__JUST)
& r_0020_0011__twice(R_0020_0011__TWICE)
& r_0020_0015__a_r_0020_0016__30_r_0020_0017__mph_r_0020_0018__crash(R_0020_0015__A_R_0020_0016__30_R_0020_0017__MPH_R_0020_0018__CRASH)
& r_0020_0008__is(R_0020_0008__IS)
& has_prd(R_0020_0008__IS,R_0020_0013__GREAT)
& r_0020_0013__great(R_0020_0013__GREAT)
& has_r_0020_0014__as(R_0020_0013__GREAT,R_0020_0015__A_R_0020_0016__30_R_0020_0017__MPH_R_0020_0018__CRASH)
& has_qual(R_0020_0013__GREAT,R_0020_0012__AS)
& r_0020_0012__as(R_0020_0012__AS)
& has_qual(R_0020_0012__AS,R_0020_0011__TWICE)
& has_nim(R_0020_0008__IS,R_0020_0010__JUST)
& has_arg0(R_0020_0008__IS,R_0020_0001__THE_R_0020_0002__FORCE) ) ) ).