Context                Previous, Next                Top


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!

%3 r_0020_0001__The_r_0020_0002__force The force r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph_r_0020_0007__crash a 60 mph crash r_0020_0001__The_r_0020_0002__force->r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph_r_0020_0007__crash of r_0020_0008__is is r_0020_0008__is->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0010__just just r_0020_0008__is->r_0020_0010__just [nim] r_0020_0013__great great r_0020_0008__is->r_0020_0013__great [prd] r_0020_0012__as as r_0020_0013__great->r_0020_0012__as [qual] r_0020_0015__a_r_0020_0016__30_r_0020_0017__mph_r_0020_0018__crash a 30 mph crash r_0020_0013__great->r_0020_0015__a_r_0020_0016__30_r_0020_0017__mph_r_0020_0018__crash as r_0020_0009__not not r_0020_0009__not->r_0020_0008__is [keep_scope] r_0020_0011__twice twice r_0020_0012__as->r_0020_0011__twice [qual] r_0020_0021___apos_s 's r_0020_0021___apos_s->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0025__great great r_0020_0021___apos_s->r_0020_0025__great [prd] r_0020_0024__as as r_0020_0025__great->r_0020_0024__as [qual] r_0020_0022__four_r_0020_0023__times four times r_0020_0024__as->r_0020_0022__four_r_0020_0023__times [nim] z_000_20_a_driver_handbook_2 z_000_20_a_driver_handbook_2->r_0020_0009__not [conj1] z_000_20_a_driver_handbook_2->r_0020_0021___apos_s [conj2] 
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, nim25).
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, qual30).
arc(r_0020_0013__great, r_0020_0012__as, qual29).
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, nim60).
arc(r_0020_0025__great, r_0020_0024__as, qual59).
arc(z_000_20_a_driver_handbook_2, r_0020_0009__not, conj1).
arc(z_000_20_a_driver_handbook_2, r_0020_0021___apos_s, conj2).


%3 r_0020_0001__The_r_0020_0002__force The force r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph_r_0020_0007__crash a 60 mph crash r_0020_0001__The_r_0020_0002__force->r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph_r_0020_0007__crash of r_0020_0008__is is r_0020_0008__is->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0010__just just r_0020_0008__is->r_0020_0010__just [nim] r_0020_0013__great great r_0020_0008__is->r_0020_0013__great [prd] r_0020_0012__as as r_0020_0013__great->r_0020_0012__as [qual] r_0020_0015__a_r_0020_0016__30_r_0020_0017__mph_r_0020_0018__crash a 30 mph crash r_0020_0013__great->r_0020_0015__a_r_0020_0016__30_r_0020_0017__mph_r_0020_0018__crash as r_0020_0009__not not r_0020_0009__not->r_0020_0008__is [keep_scope] r_0020_0011__twice twice r_0020_0012__as->r_0020_0011__twice [qual] r_0020_0021___apos_s 's r_0020_0021___apos_s->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0025__great great r_0020_0021___apos_s->r_0020_0025__great [prd] r_0020_0024__as as r_0020_0025__great->r_0020_0024__as [qual] r_0020_0022__four_r_0020_0023__times four times r_0020_0024__as->r_0020_0022__four_r_0020_0023__times [nim] z_000_20_a_driver_handbook_2 z_000_20_a_driver_handbook_2->r_0020_0009__not [conj1] z_000_20_a_driver_handbook_2->r_0020_0021___apos_s [conj2] 
fof(formula,axiom,
    ? [Z_20_A_DRIVER_HANDBOOK_2,R_20_21__APOS_S,R_20_1_THE_FORCE,R_20_4_A_60_MPH_CRASH,R_20_25_GREAT,R_20_24_AS,R_20_22_FOUR_TIMES] :
      ( a_60_mph_crash(R_20_4_A_60_MPH_CRASH)
      & four_times(R_20_22_FOUR_TIMES)
      & z_20_a_driver_handbook_2(Z_20_A_DRIVER_HANDBOOK_2)
      & conj1(Z_20_A_DRIVER_HANDBOOK_2,R_20_9_NOT)
      & ~ ? [R_20_8_IS,R_20_10_JUST,R_20_13_GREAT,R_20_12_AS,R_20_11_TWICE,R_20_15_A_30_MPH_CRASH] :
            ( just(R_20_10_JUST)
            & twice(R_20_11_TWICE)
            & a_30_mph_crash(R_20_15_A_30_MPH_CRASH)
            & is(R_20_8_IS,R_20_1_THE_FORCE,R_20_13_GREAT)
            & great(R_20_13_GREAT)
            & qual29(R_20_13_GREAT,R_20_12_AS)
            & as(R_20_12_AS)
            & qual30(R_20_12_AS,R_20_11_TWICE)
            & as(R_20_13_GREAT,R_20_15_A_30_MPH_CRASH)
            & nim25(R_20_8_IS,R_20_10_JUST) )
      & conj2(Z_20_A_DRIVER_HANDBOOK_2,R_20_21__APOS_S)
      & _apos_s(R_20_21__APOS_S,R_20_1_THE_FORCE,R_20_25_GREAT)
      & the_force(R_20_1_THE_FORCE)
      & of(R_20_1_THE_FORCE,R_20_4_A_60_MPH_CRASH)
      & great(R_20_25_GREAT)
      & qual59(R_20_25_GREAT,R_20_24_AS)
      & as(R_20_24_AS)
      & nim60(R_20_24_AS,R_20_22_FOUR_TIMES) ) ).


n20_a_driver_handbook n20_a_driver_handbook_6 The n20_a_driver_handbook_8 force n20_a_driver_handbook_11 of n20_a_driver_handbook_14 a n20_a_driver_handbook_16 60 n20_a_driver_handbook_18 mph n20_a_driver_handbook_20 crash n20_a_driver_handbook_22 is n20_a_driver_handbook_24 not n20_a_driver_handbook_27 just n20_a_driver_handbook_32 twice n20_a_driver_handbook_34 as n20_a_driver_handbook_36 great n20_a_driver_handbook_39 as n20_a_driver_handbook_42 a n20_a_driver_handbook_44 30 n20_a_driver_handbook_46 mph n20_a_driver_handbook_48 crash n20_a_driver_handbook_50 , n20_a_driver_handbook_55 it n20_a_driver_handbook_57 's n20_a_driver_handbook_62 four n20_a_driver_handbook_64 times n20_a_driver_handbook_66 as n20_a_driver_handbook_68 great n20_a_driver_handbook_70 ! n20_a_driver_handbook_1 IP-MAT n20_a_driver_handbook_2 ILYR n20_a_driver_handbook_1->n20_a_driver_handbook_2 n20_a_driver_handbook_69 PUNC n20_a_driver_handbook_1->n20_a_driver_handbook_69 n20_a_driver_handbook_3 ILYR n20_a_driver_handbook_2->n20_a_driver_handbook_3 n20_a_driver_handbook_49 PUNC n20_a_driver_handbook_2->n20_a_driver_handbook_49 n20_a_driver_handbook_51 CONJP n20_a_driver_handbook_2->n20_a_driver_handbook_51 n20_a_driver_handbook_4 NP-SBJ n20_a_driver_handbook_3->n20_a_driver_handbook_4 n20_a_driver_handbook_21 BEP;_La_ n20_a_driver_handbook_3->n20_a_driver_handbook_21 n20_a_driver_handbook_23 NEG n20_a_driver_handbook_3->n20_a_driver_handbook_23 n20_a_driver_handbook_25 ADVP-NIM n20_a_driver_handbook_3->n20_a_driver_handbook_25 n20_a_driver_handbook_28 ADJP-PRD n20_a_driver_handbook_3->n20_a_driver_handbook_28 n20_a_driver_handbook_5 D n20_a_driver_handbook_4->n20_a_driver_handbook_5 n20_a_driver_handbook_7 N n20_a_driver_handbook_4->n20_a_driver_handbook_7 n20_a_driver_handbook_9 PP n20_a_driver_handbook_4->n20_a_driver_handbook_9 n20_a_driver_handbook_5->n20_a_driver_handbook_6 n20_a_driver_handbook_7->n20_a_driver_handbook_8 n20_a_driver_handbook_10 P-ROLE n20_a_driver_handbook_9->n20_a_driver_handbook_10 n20_a_driver_handbook_12 NP n20_a_driver_handbook_9->n20_a_driver_handbook_12 n20_a_driver_handbook_10->n20_a_driver_handbook_11 n20_a_driver_handbook_13 D n20_a_driver_handbook_12->n20_a_driver_handbook_13 n20_a_driver_handbook_15 NUM n20_a_driver_handbook_12->n20_a_driver_handbook_15 n20_a_driver_handbook_17 N n20_a_driver_handbook_12->n20_a_driver_handbook_17 n20_a_driver_handbook_19 N n20_a_driver_handbook_12->n20_a_driver_handbook_19 n20_a_driver_handbook_13->n20_a_driver_handbook_14 n20_a_driver_handbook_15->n20_a_driver_handbook_16 n20_a_driver_handbook_17->n20_a_driver_handbook_18 n20_a_driver_handbook_19->n20_a_driver_handbook_20 n20_a_driver_handbook_21->n20_a_driver_handbook_22 n20_a_driver_handbook_23->n20_a_driver_handbook_24 n20_a_driver_handbook_26 ADV n20_a_driver_handbook_25->n20_a_driver_handbook_26 n20_a_driver_handbook_26->n20_a_driver_handbook_27 n20_a_driver_handbook_29 ADVP n20_a_driver_handbook_28->n20_a_driver_handbook_29 n20_a_driver_handbook_35 ADJ n20_a_driver_handbook_28->n20_a_driver_handbook_35 n20_a_driver_handbook_37 PP n20_a_driver_handbook_28->n20_a_driver_handbook_37 n20_a_driver_handbook_30 ADVP n20_a_driver_handbook_29->n20_a_driver_handbook_30 n20_a_driver_handbook_33 ADV n20_a_driver_handbook_29->n20_a_driver_handbook_33 n20_a_driver_handbook_31 ADV n20_a_driver_handbook_30->n20_a_driver_handbook_31 n20_a_driver_handbook_31->n20_a_driver_handbook_32 n20_a_driver_handbook_33->n20_a_driver_handbook_34 n20_a_driver_handbook_35->n20_a_driver_handbook_36 n20_a_driver_handbook_38 P-ROLE n20_a_driver_handbook_37->n20_a_driver_handbook_38 n20_a_driver_handbook_40 NP n20_a_driver_handbook_37->n20_a_driver_handbook_40 n20_a_driver_handbook_38->n20_a_driver_handbook_39 n20_a_driver_handbook_41 D n20_a_driver_handbook_40->n20_a_driver_handbook_41 n20_a_driver_handbook_43 NUM n20_a_driver_handbook_40->n20_a_driver_handbook_43 n20_a_driver_handbook_45 N n20_a_driver_handbook_40->n20_a_driver_handbook_45 n20_a_driver_handbook_47 N n20_a_driver_handbook_40->n20_a_driver_handbook_47 n20_a_driver_handbook_41->n20_a_driver_handbook_42 n20_a_driver_handbook_43->n20_a_driver_handbook_44 n20_a_driver_handbook_45->n20_a_driver_handbook_46 n20_a_driver_handbook_47->n20_a_driver_handbook_48 n20_a_driver_handbook_49->n20_a_driver_handbook_50 n20_a_driver_handbook_52 ILYR n20_a_driver_handbook_51->n20_a_driver_handbook_52 n20_a_driver_handbook_53 NP-SBJ n20_a_driver_handbook_52->n20_a_driver_handbook_53 n20_a_driver_handbook_56 BEP;_La_ n20_a_driver_handbook_52->n20_a_driver_handbook_56 n20_a_driver_handbook_58 ADJP-PRD n20_a_driver_handbook_52->n20_a_driver_handbook_58 n20_a_driver_handbook_54 PRO n20_a_driver_handbook_53->n20_a_driver_handbook_54 n20_a_driver_handbook_54->n20_a_driver_handbook_55 n20_a_driver_handbook_56->n20_a_driver_handbook_57 n20_a_driver_handbook_59 ADVP n20_a_driver_handbook_58->n20_a_driver_handbook_59 n20_a_driver_handbook_67 ADJ n20_a_driver_handbook_58->n20_a_driver_handbook_67 n20_a_driver_handbook_60 NP n20_a_driver_handbook_59->n20_a_driver_handbook_60 n20_a_driver_handbook_65 ADV n20_a_driver_handbook_59->n20_a_driver_handbook_65 n20_a_driver_handbook_61 NUM n20_a_driver_handbook_60->n20_a_driver_handbook_61 n20_a_driver_handbook_63 NS n20_a_driver_handbook_60->n20_a_driver_handbook_63 n20_a_driver_handbook_61->n20_a_driver_handbook_62 n20_a_driver_handbook_63->n20_a_driver_handbook_64 n20_a_driver_handbook_65->n20_a_driver_handbook_66 n20_a_driver_handbook_67->n20_a_driver_handbook_68 n20_a_driver_handbook_69->n20_a_driver_handbook_70 
( (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})
                                              (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})
                                        (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))