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_0002__may_r_0008_0005__drive may drive r_0008_0001__You You r_0008_0002__may_r_0008_0005__drive->r_0008_0001__You [arg0] r_0008_0003__never never r_0008_0002__may_r_0008_0005__drive->r_0008_0003__never [nim] r_0008_0004__legally legally r_0008_0002__may_r_0008_0005__drive->r_0008_0004__legally [nim] r_0008_0006__faster faster r_0008_0002__may_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_r_0008_0005__drive [conj2] r_0008_0015__think think r_0008_0013__even_if->r_0008_0015__think [conj1] 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] 
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_4 You n8_a_driver_handbook_6 may n8_a_driver_handbook_10 never n8_a_driver_handbook_13 legally n8_a_driver_handbook_15 drive n8_a_driver_handbook_18 faster n8_a_driver_handbook_21 than n8_a_driver_handbook_24 the n8_a_driver_handbook_27 * n8_a_driver_handbook_29 posted n8_a_driver_handbook_31 speed n8_a_driver_handbook_33 limit n8_a_driver_handbook_35 , n8_a_driver_handbook_38 even_if n8_a_driver_handbook_42 you n8_a_driver_handbook_44 think n8_a_driver_handbook_49 it n8_a_driver_handbook_51 is n8_a_driver_handbook_54 safe n8_a_driver_handbook_57 to n8_a_driver_handbook_59 do n8_a_driver_handbook_62 so n8_a_driver_handbook_64 . n8_a_driver_handbook_1 IP-MAT n8_a_driver_handbook_2 NP-SBJ n8_a_driver_handbook_1->n8_a_driver_handbook_2 n8_a_driver_handbook_5 MD;_cat_Vi_ n8_a_driver_handbook_1->n8_a_driver_handbook_5 n8_a_driver_handbook_7 IP-INF-CAT n8_a_driver_handbook_1->n8_a_driver_handbook_7 n8_a_driver_handbook_34 PUNC n8_a_driver_handbook_1->n8_a_driver_handbook_34 n8_a_driver_handbook_36 PP-SCON n8_a_driver_handbook_1->n8_a_driver_handbook_36 n8_a_driver_handbook_63 PUNC n8_a_driver_handbook_1->n8_a_driver_handbook_63 n8_a_driver_handbook_3 PRO n8_a_driver_handbook_2->n8_a_driver_handbook_3 n8_a_driver_handbook_3->n8_a_driver_handbook_4 n8_a_driver_handbook_5->n8_a_driver_handbook_6 n8_a_driver_handbook_8 ADVP-NIM n8_a_driver_handbook_7->n8_a_driver_handbook_8 n8_a_driver_handbook_11 ADVP-NIM n8_a_driver_handbook_7->n8_a_driver_handbook_11 n8_a_driver_handbook_14 VB;_I_ n8_a_driver_handbook_7->n8_a_driver_handbook_14 n8_a_driver_handbook_16 ADVP-NIM n8_a_driver_handbook_7->n8_a_driver_handbook_16 n8_a_driver_handbook_9 ADV n8_a_driver_handbook_8->n8_a_driver_handbook_9 n8_a_driver_handbook_9->n8_a_driver_handbook_10 n8_a_driver_handbook_12 ADV n8_a_driver_handbook_11->n8_a_driver_handbook_12 n8_a_driver_handbook_12->n8_a_driver_handbook_13 n8_a_driver_handbook_14->n8_a_driver_handbook_15 n8_a_driver_handbook_17 ADVR n8_a_driver_handbook_16->n8_a_driver_handbook_17 n8_a_driver_handbook_19 PP n8_a_driver_handbook_16->n8_a_driver_handbook_19 n8_a_driver_handbook_17->n8_a_driver_handbook_18 n8_a_driver_handbook_20 P-ROLE n8_a_driver_handbook_19->n8_a_driver_handbook_20 n8_a_driver_handbook_22 NP n8_a_driver_handbook_19->n8_a_driver_handbook_22 n8_a_driver_handbook_20->n8_a_driver_handbook_21 n8_a_driver_handbook_23 D n8_a_driver_handbook_22->n8_a_driver_handbook_23 n8_a_driver_handbook_25 IP-PPL n8_a_driver_handbook_22->n8_a_driver_handbook_25 n8_a_driver_handbook_30 N n8_a_driver_handbook_22->n8_a_driver_handbook_30 n8_a_driver_handbook_32 N n8_a_driver_handbook_22->n8_a_driver_handbook_32 n8_a_driver_handbook_23->n8_a_driver_handbook_24 n8_a_driver_handbook_26 NP-LGS n8_a_driver_handbook_25->n8_a_driver_handbook_26 n8_a_driver_handbook_28 VVN;_Tn_ n8_a_driver_handbook_25->n8_a_driver_handbook_28 n8_a_driver_handbook_26->n8_a_driver_handbook_27 n8_a_driver_handbook_28->n8_a_driver_handbook_29 n8_a_driver_handbook_30->n8_a_driver_handbook_31 n8_a_driver_handbook_32->n8_a_driver_handbook_33 n8_a_driver_handbook_34->n8_a_driver_handbook_35 n8_a_driver_handbook_37 P-CONN n8_a_driver_handbook_36->n8_a_driver_handbook_37 n8_a_driver_handbook_39 IP-ADV n8_a_driver_handbook_36->n8_a_driver_handbook_39 n8_a_driver_handbook_37->n8_a_driver_handbook_38 n8_a_driver_handbook_40 NP-SBJ n8_a_driver_handbook_39->n8_a_driver_handbook_40 n8_a_driver_handbook_43 VBP;_Tf_ n8_a_driver_handbook_39->n8_a_driver_handbook_43 n8_a_driver_handbook_45 CP-THT-OB1 n8_a_driver_handbook_39->n8_a_driver_handbook_45 n8_a_driver_handbook_41 PRO n8_a_driver_handbook_40->n8_a_driver_handbook_41 n8_a_driver_handbook_41->n8_a_driver_handbook_42 n8_a_driver_handbook_43->n8_a_driver_handbook_44 n8_a_driver_handbook_46 IP-SUB n8_a_driver_handbook_45->n8_a_driver_handbook_46 n8_a_driver_handbook_47 NP-SBJ n8_a_driver_handbook_46->n8_a_driver_handbook_47 n8_a_driver_handbook_50 BEP;_La_ n8_a_driver_handbook_46->n8_a_driver_handbook_50 n8_a_driver_handbook_52 ADJP-PRD n8_a_driver_handbook_46->n8_a_driver_handbook_52 n8_a_driver_handbook_55 IP-INF-NSBJ n8_a_driver_handbook_46->n8_a_driver_handbook_55 n8_a_driver_handbook_48 PRO;_provisional_ n8_a_driver_handbook_47->n8_a_driver_handbook_48 n8_a_driver_handbook_48->n8_a_driver_handbook_49 n8_a_driver_handbook_50->n8_a_driver_handbook_51 n8_a_driver_handbook_53 ADJ n8_a_driver_handbook_52->n8_a_driver_handbook_53 n8_a_driver_handbook_53->n8_a_driver_handbook_54 n8_a_driver_handbook_56 TO n8_a_driver_handbook_55->n8_a_driver_handbook_56 n8_a_driver_handbook_58 DO n8_a_driver_handbook_55->n8_a_driver_handbook_58 n8_a_driver_handbook_60 ADVP-CLR n8_a_driver_handbook_55->n8_a_driver_handbook_60 n8_a_driver_handbook_56->n8_a_driver_handbook_57 n8_a_driver_handbook_58->n8_a_driver_handbook_59 n8_a_driver_handbook_61 ADV n8_a_driver_handbook_60->n8_a_driver_handbook_61 n8_a_driver_handbook_61->n8_a_driver_handbook_62 n8_a_driver_handbook_63->n8_a_driver_handbook_64 
( (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))