Context                Previous, Next                Top


8_a_driver_handbook
You may never legally drive faster than the posted speed limit, even if you think it is safe to do so.

%3 r_0008_0002__may may r_0008_0005__drive drive r_0008_0002__may->r_0008_0005__drive [scope] r_0008_0001__You You r_0008_0005__drive->r_0008_0001__You [arg0] r_0008_0003__never never r_0008_0005__drive->r_0008_0003__never [nim] r_0008_0004__legally legally r_0008_0005__drive->r_0008_0004__legally [nim] r_0008_0006__faster faster r_0008_0005__drive->r_0008_0006__faster [nim] r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit the speed limit r_0008_0006__faster->r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit than r_0008_0009__posted posted r_0008_0009__posted->r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit [arg1] z_000_8_a_driver_handbook_26 r_0008_0009__posted->z_000_8_a_driver_handbook_26 [arg0] r_0008_0013__even_if even if r_0008_0013__even_if->r_0008_0002__may [scope] r_0008_0015__think think r_0008_0013__even_if->r_0008_0015__think [restriction] r_0008_0015__think->r_0008_0001__You [arg0] r_0008_0017__is is r_0008_0015__think->r_0008_0017__is [arg1] r_0008_0018__safe safe r_0008_0017__is->r_0008_0018__safe [prd] r_0008_0019__to_r_0008_0020__do to do r_0008_0017__is->r_0008_0019__to_r_0008_0020__do [arg0] r_0008_0021__so so r_0008_0019__to_r_0008_0020__do->r_0008_0021__so [clr] z_000_8_a_driver_handbook_47 r_0008_0019__to_r_0008_0020__do->z_000_8_a_driver_handbook_47 [arg0] 
arc(r_0008_0002__may, r_0008_0005__drive, scope).
arc(r_0008_0005__drive, r_0008_0001__You, arg0).
arc(r_0008_0005__drive, r_0008_0003__never, nim8).
arc(r_0008_0005__drive, r_0008_0004__legally, nim11).
arc(r_0008_0005__drive, r_0008_0006__faster, nim16).
arc(r_0008_0006__faster, r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit, r_0008_0007__than).
arc(r_0008_0009__posted, r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit, arg1).
arc(r_0008_0009__posted, z_000_8_a_driver_handbook_26, arg0).
arc(r_0008_0013__even_if, r_0008_0002__may, scope).
arc(r_0008_0013__even_if, r_0008_0015__think, restriction).
arc(r_0008_0015__think, r_0008_0001__You, arg0).
arc(r_0008_0015__think, r_0008_0017__is, arg1).
arc(r_0008_0017__is, r_0008_0018__safe, prd).
arc(r_0008_0017__is, r_0008_0019__to_r_0008_0020__do, arg0).
arc(r_0008_0019__to_r_0008_0020__do, r_0008_0021__so, clr60).
arc(r_0008_0019__to_r_0008_0020__do, z_000_8_a_driver_handbook_47, arg0).


%3 r_0008_0019__to_r_0008_0020__do to do z_000_8_a_driver_handbook_47 r_0008_0019__to_r_0008_0020__do->z_000_8_a_driver_handbook_47 [arg0] r_0008_0021__so so r_0008_0019__to_r_0008_0020__do->r_0008_0021__so [clr] r_0008_0017__is is r_0008_0017__is->r_0008_0019__to_r_0008_0020__do [arg0] r_0008_0018__safe safe r_0008_0017__is->r_0008_0018__safe [prd] r_0008_0015__think think r_0008_0015__think->r_0008_0017__is [arg1] r_0008_0001__You You r_0008_0015__think->r_0008_0001__You [arg0] r_0008_0013__even_if even if r_0008_0013__even_if->r_0008_0015__think [conj1] r_0008_0002__may_r_0008_0005__drive may drive r_0008_0013__even_if->r_0008_0002__may_r_0008_0005__drive [conj2] r_0008_0002__may_r_0008_0005__drive->r_0008_0001__You [arg0] r_0008_0006__faster faster r_0008_0002__may_r_0008_0005__drive->r_0008_0006__faster [nim] r_0008_0004__legally legally r_0008_0002__may_r_0008_0005__drive->r_0008_0004__legally [nim] r_0008_0003__never never r_0008_0002__may_r_0008_0005__drive->r_0008_0003__never [nim] r_0008_0009__posted posted z_000_8_a_driver_handbook_26 r_0008_0009__posted->z_000_8_a_driver_handbook_26 [arg0] r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit the speed limit r_0008_0009__posted->r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit [arg1] r_0008_0006__faster->r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit than 
fof(formula,axiom,
    ? [R_8_9_POSTED,Z_8_A_DRIVER_HANDBOOK_26,R_8_13_EVEN_IF,R_8_15_THINK,R_8_17_IS,R_8_19_TO_DO,Z_8_A_DRIVER_HANDBOOK_47,R_8_21_SO,R_8_18_SAFE,R_8_2_MAY_DRIVE,R_8_1_YOU,R_8_4_LEGALLY,R_8_6_FASTER,R_8_8_THE_SPEED_LIMIT,R_8_3_NEVER] :
      ( so(R_8_21_SO)
      & safe(R_8_18_SAFE)
      & you(R_8_1_YOU)
      & legally(R_8_4_LEGALLY)
      & the_speed_limit(R_8_8_THE_SPEED_LIMIT)
      & never(R_8_3_NEVER)
      & posted(R_8_9_POSTED,Z_8_A_DRIVER_HANDBOOK_26,R_8_8_THE_SPEED_LIMIT)
      & even_if(R_8_13_EVEN_IF)
      & conj1(R_8_13_EVEN_IF,R_8_15_THINK)
      & think(R_8_15_THINK,R_8_1_YOU,R_8_17_IS)
      & is(R_8_17_IS,R_8_19_TO_DO,R_8_18_SAFE)
      & to_do(R_8_19_TO_DO,Z_8_A_DRIVER_HANDBOOK_47)
      & clr60(R_8_19_TO_DO,R_8_21_SO)
      & conj2(R_8_13_EVEN_IF,R_8_2_MAY_DRIVE)
      & may_drive(R_8_2_MAY_DRIVE,R_8_1_YOU)
      & nim11(R_8_2_MAY_DRIVE,R_8_4_LEGALLY)
      & nim16(R_8_2_MAY_DRIVE,R_8_6_FASTER)
      & faster(R_8_6_FASTER)
      & than(R_8_6_FASTER,R_8_8_THE_SPEED_LIMIT)
      & nim8(R_8_2_MAY_DRIVE,R_8_3_NEVER) ) ).


n8_a_driver_handbook n8_a_driver_handbook__1_1_1_1 You n8_a_driver_handbook__1_2_1 may n8_a_driver_handbook__1_3_1_1_1 never n8_a_driver_handbook__1_3_2_1_1 legally n8_a_driver_handbook__1_3_3_1 drive n8_a_driver_handbook__1_3_4_1_1 faster n8_a_driver_handbook__1_3_4_2_1_1 than n8_a_driver_handbook__1_3_4_2_2_1_1 the n8_a_driver_handbook__1_3_4_2_2_2_1_1 * n8_a_driver_handbook__1_3_4_2_2_2_2_1 posted n8_a_driver_handbook__1_3_4_2_2_3_1 speed n8_a_driver_handbook__1_3_4_2_2_4_1 limit n8_a_driver_handbook__1_4_1 , n8_a_driver_handbook__1_5_1_1 even_if n8_a_driver_handbook__1_5_2_1_1_1 you n8_a_driver_handbook__1_5_2_2_1 think n8_a_driver_handbook__1_5_2_3_1_1_1_1 it n8_a_driver_handbook__1_5_2_3_1_2_1 is n8_a_driver_handbook__1_5_2_3_1_3_1_1 safe n8_a_driver_handbook__1_5_2_3_1_4_1_1 to n8_a_driver_handbook__1_5_2_3_1_4_2_1 do n8_a_driver_handbook__1_5_2_3_1_4_3_1_1 so n8_a_driver_handbook__1_6_1 . n8_a_driver_handbook__1 IP-MAT n8_a_driver_handbook__1_1 NP-SBJ n8_a_driver_handbook__1->n8_a_driver_handbook__1_1 n8_a_driver_handbook__1_2 MD;_cat_Vi_ n8_a_driver_handbook__1->n8_a_driver_handbook__1_2 n8_a_driver_handbook__1_3 IP-INF-CAT n8_a_driver_handbook__1->n8_a_driver_handbook__1_3 n8_a_driver_handbook__1_4 PUNC n8_a_driver_handbook__1->n8_a_driver_handbook__1_4 n8_a_driver_handbook__1_5 PP-SCON n8_a_driver_handbook__1->n8_a_driver_handbook__1_5 n8_a_driver_handbook__1_6 PUNC n8_a_driver_handbook__1->n8_a_driver_handbook__1_6 n8_a_driver_handbook__1_1_1 PRO n8_a_driver_handbook__1_1->n8_a_driver_handbook__1_1_1 n8_a_driver_handbook__1_1_1->n8_a_driver_handbook__1_1_1_1 n8_a_driver_handbook__1_2->n8_a_driver_handbook__1_2_1 n8_a_driver_handbook__1_3_1 ADVP-NIM n8_a_driver_handbook__1_3->n8_a_driver_handbook__1_3_1 n8_a_driver_handbook__1_3_2 ADVP-NIM n8_a_driver_handbook__1_3->n8_a_driver_handbook__1_3_2 n8_a_driver_handbook__1_3_3 VB;_I_ n8_a_driver_handbook__1_3->n8_a_driver_handbook__1_3_3 n8_a_driver_handbook__1_3_4 ADVP-NIM n8_a_driver_handbook__1_3->n8_a_driver_handbook__1_3_4 n8_a_driver_handbook__1_3_1_1 ADV n8_a_driver_handbook__1_3_1->n8_a_driver_handbook__1_3_1_1 n8_a_driver_handbook__1_3_1_1->n8_a_driver_handbook__1_3_1_1_1 n8_a_driver_handbook__1_3_2_1 ADV n8_a_driver_handbook__1_3_2->n8_a_driver_handbook__1_3_2_1 n8_a_driver_handbook__1_3_2_1->n8_a_driver_handbook__1_3_2_1_1 n8_a_driver_handbook__1_3_3->n8_a_driver_handbook__1_3_3_1 n8_a_driver_handbook__1_3_4_1 ADVR n8_a_driver_handbook__1_3_4->n8_a_driver_handbook__1_3_4_1 n8_a_driver_handbook__1_3_4_2 PP n8_a_driver_handbook__1_3_4->n8_a_driver_handbook__1_3_4_2 n8_a_driver_handbook__1_3_4_1->n8_a_driver_handbook__1_3_4_1_1 n8_a_driver_handbook__1_3_4_2_1 P-ROLE n8_a_driver_handbook__1_3_4_2->n8_a_driver_handbook__1_3_4_2_1 n8_a_driver_handbook__1_3_4_2_2 NP n8_a_driver_handbook__1_3_4_2->n8_a_driver_handbook__1_3_4_2_2 n8_a_driver_handbook__1_3_4_2_1->n8_a_driver_handbook__1_3_4_2_1_1 n8_a_driver_handbook__1_3_4_2_2_1 D n8_a_driver_handbook__1_3_4_2_2->n8_a_driver_handbook__1_3_4_2_2_1 n8_a_driver_handbook__1_3_4_2_2_2 IP-PPL n8_a_driver_handbook__1_3_4_2_2->n8_a_driver_handbook__1_3_4_2_2_2 n8_a_driver_handbook__1_3_4_2_2_3 N n8_a_driver_handbook__1_3_4_2_2->n8_a_driver_handbook__1_3_4_2_2_3 n8_a_driver_handbook__1_3_4_2_2_4 N n8_a_driver_handbook__1_3_4_2_2->n8_a_driver_handbook__1_3_4_2_2_4 n8_a_driver_handbook__1_3_4_2_2_1->n8_a_driver_handbook__1_3_4_2_2_1_1 n8_a_driver_handbook__1_3_4_2_2_2_1 NP-LGS n8_a_driver_handbook__1_3_4_2_2_2->n8_a_driver_handbook__1_3_4_2_2_2_1 n8_a_driver_handbook__1_3_4_2_2_2_2 VVN;_Tn_ n8_a_driver_handbook__1_3_4_2_2_2->n8_a_driver_handbook__1_3_4_2_2_2_2 n8_a_driver_handbook__1_3_4_2_2_2_1->n8_a_driver_handbook__1_3_4_2_2_2_1_1 n8_a_driver_handbook__1_3_4_2_2_2_2->n8_a_driver_handbook__1_3_4_2_2_2_2_1 n8_a_driver_handbook__1_3_4_2_2_3->n8_a_driver_handbook__1_3_4_2_2_3_1 n8_a_driver_handbook__1_3_4_2_2_4->n8_a_driver_handbook__1_3_4_2_2_4_1 n8_a_driver_handbook__1_4->n8_a_driver_handbook__1_4_1 n8_a_driver_handbook__1_5_1 P-CONN n8_a_driver_handbook__1_5->n8_a_driver_handbook__1_5_1 n8_a_driver_handbook__1_5_2 IP-ADV n8_a_driver_handbook__1_5->n8_a_driver_handbook__1_5_2 n8_a_driver_handbook__1_5_1->n8_a_driver_handbook__1_5_1_1 n8_a_driver_handbook__1_5_2_1 NP-SBJ n8_a_driver_handbook__1_5_2->n8_a_driver_handbook__1_5_2_1 n8_a_driver_handbook__1_5_2_2 VBP;_Tf_ n8_a_driver_handbook__1_5_2->n8_a_driver_handbook__1_5_2_2 n8_a_driver_handbook__1_5_2_3 CP-THT-OB1 n8_a_driver_handbook__1_5_2->n8_a_driver_handbook__1_5_2_3 n8_a_driver_handbook__1_5_2_1_1 PRO n8_a_driver_handbook__1_5_2_1->n8_a_driver_handbook__1_5_2_1_1 n8_a_driver_handbook__1_5_2_1_1->n8_a_driver_handbook__1_5_2_1_1_1 n8_a_driver_handbook__1_5_2_2->n8_a_driver_handbook__1_5_2_2_1 n8_a_driver_handbook__1_5_2_3_1 IP-SUB n8_a_driver_handbook__1_5_2_3->n8_a_driver_handbook__1_5_2_3_1 n8_a_driver_handbook__1_5_2_3_1_1 NP-SBJ n8_a_driver_handbook__1_5_2_3_1->n8_a_driver_handbook__1_5_2_3_1_1 n8_a_driver_handbook__1_5_2_3_1_2 BEP;_La_ n8_a_driver_handbook__1_5_2_3_1->n8_a_driver_handbook__1_5_2_3_1_2 n8_a_driver_handbook__1_5_2_3_1_3 ADJP-PRD n8_a_driver_handbook__1_5_2_3_1->n8_a_driver_handbook__1_5_2_3_1_3 n8_a_driver_handbook__1_5_2_3_1_4 IP-INF-NSBJ n8_a_driver_handbook__1_5_2_3_1->n8_a_driver_handbook__1_5_2_3_1_4 n8_a_driver_handbook__1_5_2_3_1_1_1 PRO;_provisional_ n8_a_driver_handbook__1_5_2_3_1_1->n8_a_driver_handbook__1_5_2_3_1_1_1 n8_a_driver_handbook__1_5_2_3_1_1_1->n8_a_driver_handbook__1_5_2_3_1_1_1_1 n8_a_driver_handbook__1_5_2_3_1_2->n8_a_driver_handbook__1_5_2_3_1_2_1 n8_a_driver_handbook__1_5_2_3_1_3_1 ADJ n8_a_driver_handbook__1_5_2_3_1_3->n8_a_driver_handbook__1_5_2_3_1_3_1 n8_a_driver_handbook__1_5_2_3_1_3_1->n8_a_driver_handbook__1_5_2_3_1_3_1_1 n8_a_driver_handbook__1_5_2_3_1_4_1 TO n8_a_driver_handbook__1_5_2_3_1_4->n8_a_driver_handbook__1_5_2_3_1_4_1 n8_a_driver_handbook__1_5_2_3_1_4_2 DO n8_a_driver_handbook__1_5_2_3_1_4->n8_a_driver_handbook__1_5_2_3_1_4_2 n8_a_driver_handbook__1_5_2_3_1_4_3 ADVP-CLR n8_a_driver_handbook__1_5_2_3_1_4->n8_a_driver_handbook__1_5_2_3_1_4_3 n8_a_driver_handbook__1_5_2_3_1_4_1->n8_a_driver_handbook__1_5_2_3_1_4_1_1 n8_a_driver_handbook__1_5_2_3_1_4_2->n8_a_driver_handbook__1_5_2_3_1_4_2_1 n8_a_driver_handbook__1_5_2_3_1_4_3_1 ADV n8_a_driver_handbook__1_5_2_3_1_4_3->n8_a_driver_handbook__1_5_2_3_1_4_3_1 n8_a_driver_handbook__1_5_2_3_1_4_3_1->n8_a_driver_handbook__1_5_2_3_1_4_3_1_1 n8_a_driver_handbook__1_6->n8_a_driver_handbook__1_6_1 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (ADVP-NIM (ADV never;{never}))
                      (ADVP-NIM (ADV legally;{legally}))
                      (VB;_I_ drive;{drive})
                      (ADVP-NIM (ADVR faster;{fast})
                                (PP (P-ROLE than;{than})
                                    (NP;{PSL} (D the;{the})
                                              (IP-PPL (NP-LGS *)
                                                      (VVN;_Tn_ posted;{post}))
                                              (N speed;{speed})
                                              (N limit;{limit})))))
          (PUNC ,)
          (PP-SCON (P-CONN even_if;{even_if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Tf_ think;{think})
                           (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_provisional_ it;{it}))
                                               (BEP;_La_ is;{be})
                                               (ADJP-PRD (ADJ safe;{safe}))
                                               (IP-INF-NSBJ (TO to;{to})
                                                            (DO do;{do})
                                                            (ADVP-CLR (ADV so;{so})))))))
          (PUNC .))
  (ID 8_a_driver_handbook))