Context                Previous, Next                Top


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!

%3 r_0020_0001__The_r_0020_0002__force The force r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph a 60 mph r_0020_0001__The_r_0020_0002__force->r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph of r_0020_0007__is is r_0020_0007__is->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0009__just just r_0020_0007__is->r_0020_0009__just [nim] r_0020_0012__great great r_0020_0007__is->r_0020_0012__great [prd] r_0020_0011__as as r_0020_0012__great->r_0020_0011__as [qual] r_0020_0014__a_r_0020_0015__30_r_0020_0016__mph a 30 mph r_0020_0012__great->r_0020_0014__a_r_0020_0015__30_r_0020_0016__mph as r_0020_0008__not not r_0020_0008__not->r_0020_0007__is [keep_scope] r_0020_0010__twice twice r_0020_0011__as->r_0020_0010__twice [qual] r_0020_0019___apos_s 's r_0020_0019___apos_s->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0023__great great r_0020_0019___apos_s->r_0020_0023__great [prd] r_0020_0022__as as r_0020_0023__great->r_0020_0022__as [qual] r_0020_0020__four_r_0020_0021__times four times r_0020_0022__as->r_0020_0020__four_r_0020_0021__times [nim] z_000_20_a_driver_handbook_2 z_000_20_a_driver_handbook_2->r_0020_0008__not [conj1] z_000_20_a_driver_handbook_2->r_0020_0019___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_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).


%3 z_000_20_a_driver_handbook_2 r_0020_0019___apos_s 's z_000_20_a_driver_handbook_2->r_0020_0019___apos_s [conj2] r_0020_0008__not not z_000_20_a_driver_handbook_2->r_0020_0008__not [conj1] r_0020_0023__great great r_0020_0019___apos_s->r_0020_0023__great [prd] r_0020_0001__The_r_0020_0002__force The force r_0020_0019___apos_s->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0007__is is r_0020_0008__not->r_0020_0007__is [keep_scope] r_0020_0022__as as r_0020_0023__great->r_0020_0022__as [qual] r_0020_0020__four_r_0020_0021__times four times r_0020_0022__as->r_0020_0020__four_r_0020_0021__times [nim] r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph a 60 mph r_0020_0001__The_r_0020_0002__force->r_0020_0004__a_r_0020_0005__60_r_0020_0006__mph of r_0020_0012__great great r_0020_0014__a_r_0020_0015__30_r_0020_0016__mph a 30 mph r_0020_0012__great->r_0020_0014__a_r_0020_0015__30_r_0020_0016__mph as r_0020_0011__as as r_0020_0012__great->r_0020_0011__as [qual] r_0020_0010__twice twice r_0020_0011__as->r_0020_0010__twice [qual] r_0020_0007__is->r_0020_0001__The_r_0020_0002__force [arg0] r_0020_0007__is->r_0020_0012__great [prd] r_0020_0009__just just r_0020_0007__is->r_0020_0009__just [nim] 
fof(formula,axiom,
    ? [Z_20_A_DRIVER_HANDBOOK_2,R_20_19__APOS_S,R_20_1_THE_FORCE,R_20_4_A_60_MPH,R_20_23_GREAT,R_20_22_AS,R_20_20_FOUR_TIMES] :
      ( a_60_mph(R_20_4_A_60_MPH)
      & four_times(R_20_20_FOUR_TIMES)
      & z_20_a_driver_handbook_2(Z_20_A_DRIVER_HANDBOOK_2)
      & conj1(Z_20_A_DRIVER_HANDBOOK_2,R_20_8_NOT)
      & ~ ? [R_20_7_IS,R_20_9_JUST,R_20_12_GREAT,R_20_11_AS,R_20_10_TWICE,R_20_14_A_30_MPH] :
            ( just(R_20_9_JUST)
            & twice(R_20_10_TWICE)
            & a_30_mph(R_20_14_A_30_MPH)
            & is(R_20_7_IS,R_20_1_THE_FORCE,R_20_12_GREAT)
            & great(R_20_12_GREAT)
            & qual27(R_20_12_GREAT,R_20_11_AS)
            & as(R_20_11_AS)
            & qual28(R_20_11_AS,R_20_10_TWICE)
            & as(R_20_12_GREAT,R_20_14_A_30_MPH)
            & nim23(R_20_7_IS,R_20_9_JUST) )
      & conj2(Z_20_A_DRIVER_HANDBOOK_2,R_20_19__APOS_S)
      & _apos_s(R_20_19__APOS_S,R_20_1_THE_FORCE,R_20_23_GREAT)
      & the_force(R_20_1_THE_FORCE)
      & of(R_20_1_THE_FORCE,R_20_4_A_60_MPH)
      & great(R_20_23_GREAT)
      & qual55(R_20_23_GREAT,R_20_22_AS)
      & as(R_20_22_AS)
      & nim56(R_20_22_AS,R_20_20_FOUR_TIMES) ) ).


n20_a_driver_handbook n20_a_driver_handbook__1_1_1_1_1_1 The n20_a_driver_handbook__1_1_1_1_2_1 force n20_a_driver_handbook__1_1_1_1_3_1_1 of n20_a_driver_handbook__1_1_1_1_3_2_1_1 a n20_a_driver_handbook__1_1_1_1_3_2_2_1 60 n20_a_driver_handbook__1_1_1_1_3_2_3_1 mphcrash n20_a_driver_handbook__1_1_1_2_1 is n20_a_driver_handbook__1_1_1_3_1 not n20_a_driver_handbook__1_1_1_4_1_1 just n20_a_driver_handbook__1_1_1_5_1_1_1_1 twice n20_a_driver_handbook__1_1_1_5_1_2_1 as n20_a_driver_handbook__1_1_1_5_2_1 great n20_a_driver_handbook__1_1_1_5_3_1_1 as n20_a_driver_handbook__1_1_1_5_3_2_1_1 a n20_a_driver_handbook__1_1_1_5_3_2_2_1 30 n20_a_driver_handbook__1_1_1_5_3_2_3_1 mphcrash n20_a_driver_handbook__1_1_2_1 , n20_a_driver_handbook__1_1_3_1_1_1_1 it n20_a_driver_handbook__1_1_3_1_2_1 's n20_a_driver_handbook__1_1_3_1_3_1_1_1_1 four n20_a_driver_handbook__1_1_3_1_3_1_1_2_1 times n20_a_driver_handbook__1_1_3_1_3_1_2_1 as n20_a_driver_handbook__1_1_3_1_3_2_1 great n20_a_driver_handbook__1_2_1 ! n20_a_driver_handbook__1 IP-MAT n20_a_driver_handbook__1_1 ILYR n20_a_driver_handbook__1->n20_a_driver_handbook__1_1 n20_a_driver_handbook__1_2 PUNC n20_a_driver_handbook__1->n20_a_driver_handbook__1_2 n20_a_driver_handbook__1_1_1 ILYR n20_a_driver_handbook__1_1->n20_a_driver_handbook__1_1_1 n20_a_driver_handbook__1_1_2 PUNC n20_a_driver_handbook__1_1->n20_a_driver_handbook__1_1_2 n20_a_driver_handbook__1_1_3 CONJP n20_a_driver_handbook__1_1->n20_a_driver_handbook__1_1_3 n20_a_driver_handbook__1_1_1_1 NP-SBJ n20_a_driver_handbook__1_1_1->n20_a_driver_handbook__1_1_1_1 n20_a_driver_handbook__1_1_1_2 BEP;_La_ n20_a_driver_handbook__1_1_1->n20_a_driver_handbook__1_1_1_2 n20_a_driver_handbook__1_1_1_3 NEG n20_a_driver_handbook__1_1_1->n20_a_driver_handbook__1_1_1_3 n20_a_driver_handbook__1_1_1_4 ADVP-NIM n20_a_driver_handbook__1_1_1->n20_a_driver_handbook__1_1_1_4 n20_a_driver_handbook__1_1_1_5 ADJP-PRD n20_a_driver_handbook__1_1_1->n20_a_driver_handbook__1_1_1_5 n20_a_driver_handbook__1_1_1_1_1 D n20_a_driver_handbook__1_1_1_1->n20_a_driver_handbook__1_1_1_1_1 n20_a_driver_handbook__1_1_1_1_2 N n20_a_driver_handbook__1_1_1_1->n20_a_driver_handbook__1_1_1_1_2 n20_a_driver_handbook__1_1_1_1_3 PP n20_a_driver_handbook__1_1_1_1->n20_a_driver_handbook__1_1_1_1_3 n20_a_driver_handbook__1_1_1_1_1->n20_a_driver_handbook__1_1_1_1_1_1 n20_a_driver_handbook__1_1_1_1_2->n20_a_driver_handbook__1_1_1_1_2_1 n20_a_driver_handbook__1_1_1_1_3_1 P-ROLE n20_a_driver_handbook__1_1_1_1_3->n20_a_driver_handbook__1_1_1_1_3_1 n20_a_driver_handbook__1_1_1_1_3_2 NP n20_a_driver_handbook__1_1_1_1_3->n20_a_driver_handbook__1_1_1_1_3_2 n20_a_driver_handbook__1_1_1_1_3_1->n20_a_driver_handbook__1_1_1_1_3_1_1 n20_a_driver_handbook__1_1_1_1_3_2_1 D n20_a_driver_handbook__1_1_1_1_3_2->n20_a_driver_handbook__1_1_1_1_3_2_1 n20_a_driver_handbook__1_1_1_1_3_2_2 NUM n20_a_driver_handbook__1_1_1_1_3_2->n20_a_driver_handbook__1_1_1_1_3_2_2 n20_a_driver_handbook__1_1_1_1_3_2_3 N n20_a_driver_handbook__1_1_1_1_3_2->n20_a_driver_handbook__1_1_1_1_3_2_3 n20_a_driver_handbook__1_1_1_1_3_2_1->n20_a_driver_handbook__1_1_1_1_3_2_1_1 n20_a_driver_handbook__1_1_1_1_3_2_2->n20_a_driver_handbook__1_1_1_1_3_2_2_1 n20_a_driver_handbook__1_1_1_1_3_2_3->n20_a_driver_handbook__1_1_1_1_3_2_3_1 n20_a_driver_handbook__1_1_1_2->n20_a_driver_handbook__1_1_1_2_1 n20_a_driver_handbook__1_1_1_3->n20_a_driver_handbook__1_1_1_3_1 n20_a_driver_handbook__1_1_1_4_1 ADV n20_a_driver_handbook__1_1_1_4->n20_a_driver_handbook__1_1_1_4_1 n20_a_driver_handbook__1_1_1_4_1->n20_a_driver_handbook__1_1_1_4_1_1 n20_a_driver_handbook__1_1_1_5_1 ADVP n20_a_driver_handbook__1_1_1_5->n20_a_driver_handbook__1_1_1_5_1 n20_a_driver_handbook__1_1_1_5_2 ADJ n20_a_driver_handbook__1_1_1_5->n20_a_driver_handbook__1_1_1_5_2 n20_a_driver_handbook__1_1_1_5_3 PP n20_a_driver_handbook__1_1_1_5->n20_a_driver_handbook__1_1_1_5_3 n20_a_driver_handbook__1_1_1_5_1_1 ADVP n20_a_driver_handbook__1_1_1_5_1->n20_a_driver_handbook__1_1_1_5_1_1 n20_a_driver_handbook__1_1_1_5_1_2 ADV n20_a_driver_handbook__1_1_1_5_1->n20_a_driver_handbook__1_1_1_5_1_2 n20_a_driver_handbook__1_1_1_5_1_1_1 ADV n20_a_driver_handbook__1_1_1_5_1_1->n20_a_driver_handbook__1_1_1_5_1_1_1 n20_a_driver_handbook__1_1_1_5_1_1_1->n20_a_driver_handbook__1_1_1_5_1_1_1_1 n20_a_driver_handbook__1_1_1_5_1_2->n20_a_driver_handbook__1_1_1_5_1_2_1 n20_a_driver_handbook__1_1_1_5_2->n20_a_driver_handbook__1_1_1_5_2_1 n20_a_driver_handbook__1_1_1_5_3_1 P-ROLE n20_a_driver_handbook__1_1_1_5_3->n20_a_driver_handbook__1_1_1_5_3_1 n20_a_driver_handbook__1_1_1_5_3_2 NP n20_a_driver_handbook__1_1_1_5_3->n20_a_driver_handbook__1_1_1_5_3_2 n20_a_driver_handbook__1_1_1_5_3_1->n20_a_driver_handbook__1_1_1_5_3_1_1 n20_a_driver_handbook__1_1_1_5_3_2_1 D n20_a_driver_handbook__1_1_1_5_3_2->n20_a_driver_handbook__1_1_1_5_3_2_1 n20_a_driver_handbook__1_1_1_5_3_2_2 NUM n20_a_driver_handbook__1_1_1_5_3_2->n20_a_driver_handbook__1_1_1_5_3_2_2 n20_a_driver_handbook__1_1_1_5_3_2_3 N n20_a_driver_handbook__1_1_1_5_3_2->n20_a_driver_handbook__1_1_1_5_3_2_3 n20_a_driver_handbook__1_1_1_5_3_2_1->n20_a_driver_handbook__1_1_1_5_3_2_1_1 n20_a_driver_handbook__1_1_1_5_3_2_2->n20_a_driver_handbook__1_1_1_5_3_2_2_1 n20_a_driver_handbook__1_1_1_5_3_2_3->n20_a_driver_handbook__1_1_1_5_3_2_3_1 n20_a_driver_handbook__1_1_2->n20_a_driver_handbook__1_1_2_1 n20_a_driver_handbook__1_1_3_1 ILYR n20_a_driver_handbook__1_1_3->n20_a_driver_handbook__1_1_3_1 n20_a_driver_handbook__1_1_3_1_1 NP-SBJ n20_a_driver_handbook__1_1_3_1->n20_a_driver_handbook__1_1_3_1_1 n20_a_driver_handbook__1_1_3_1_2 BEP;_La_ n20_a_driver_handbook__1_1_3_1->n20_a_driver_handbook__1_1_3_1_2 n20_a_driver_handbook__1_1_3_1_3 ADJP-PRD n20_a_driver_handbook__1_1_3_1->n20_a_driver_handbook__1_1_3_1_3 n20_a_driver_handbook__1_1_3_1_1_1 PRO n20_a_driver_handbook__1_1_3_1_1->n20_a_driver_handbook__1_1_3_1_1_1 n20_a_driver_handbook__1_1_3_1_1_1->n20_a_driver_handbook__1_1_3_1_1_1_1 n20_a_driver_handbook__1_1_3_1_2->n20_a_driver_handbook__1_1_3_1_2_1 n20_a_driver_handbook__1_1_3_1_3_1 ADVP n20_a_driver_handbook__1_1_3_1_3->n20_a_driver_handbook__1_1_3_1_3_1 n20_a_driver_handbook__1_1_3_1_3_2 ADJ n20_a_driver_handbook__1_1_3_1_3->n20_a_driver_handbook__1_1_3_1_3_2 n20_a_driver_handbook__1_1_3_1_3_1_1 NP n20_a_driver_handbook__1_1_3_1_3_1->n20_a_driver_handbook__1_1_3_1_3_1_1 n20_a_driver_handbook__1_1_3_1_3_1_2 ADV n20_a_driver_handbook__1_1_3_1_3_1->n20_a_driver_handbook__1_1_3_1_3_1_2 n20_a_driver_handbook__1_1_3_1_3_1_1_1 NUM n20_a_driver_handbook__1_1_3_1_3_1_1->n20_a_driver_handbook__1_1_3_1_3_1_1_1 n20_a_driver_handbook__1_1_3_1_3_1_1_2 NS n20_a_driver_handbook__1_1_3_1_3_1_1->n20_a_driver_handbook__1_1_3_1_3_1_1_2 n20_a_driver_handbook__1_1_3_1_3_1_1_1->n20_a_driver_handbook__1_1_3_1_3_1_1_1_1 n20_a_driver_handbook__1_1_3_1_3_1_1_2->n20_a_driver_handbook__1_1_3_1_3_1_1_2_1 n20_a_driver_handbook__1_1_3_1_3_1_2->n20_a_driver_handbook__1_1_3_1_3_1_2_1 n20_a_driver_handbook__1_1_3_1_3_2->n20_a_driver_handbook__1_1_3_1_3_2_1 n20_a_driver_handbook__1_2->n20_a_driver_handbook__1_2_1 
( (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))