Context                Previous, Next                Top


17_a_driver_handbook
Driving faster than the posted speed limit or than is safe for current conditions, on any road, is dangerous and illegal.

%3 r_0017_0001__Driving Driving r_0017_0002__faster faster r_0017_0001__Driving->r_0017_0002__faster [nim] z_000_17_a_driver_handbook_2 r_0017_0001__Driving->z_000_17_a_driver_handbook_2 [arg0] r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit the speed limit r_0017_0002__faster->r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit than r_0017_0005__posted posted r_0017_0005__posted->r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit [arg1] z_000_17_a_driver_handbook_17 r_0017_0005__posted->z_000_17_a_driver_handbook_17 [arg0] r_0017_0008__or or r_0017_0008__or->r_0017_0001__Driving [conj1] z_000_17_a_driver_handbook_28 r_0017_0008__or->z_000_17_a_driver_handbook_28 [conj2] z_000_17_a_driver_handbook_28->z_000_17_a_driver_handbook_2 [arg0] z_000_17_a_driver_handbook_29 z_000_17_a_driver_handbook_28->z_000_17_a_driver_handbook_29 [nim] r_0017_0010__is is r_0017_0011__safe safe r_0017_0010__is->r_0017_0011__safe [prd] z_000_17_a_driver_handbook_33 r_0017_0010__is->z_000_17_a_driver_handbook_33 [arg0] r_0017_0014__conditions conditions r_0017_0011__safe->r_0017_0014__conditions for r_0017_0013__current current r_0017_0014__conditions->r_0017_0013__current [attrib] r_0017_0017__any_r_0017_0018__road any road r_0017_0014__conditions->r_0017_0017__any_r_0017_0018__road on r_0017_0020__is is r_0017_0020__is->r_0017_0008__or [arg0] r_0017_0022__and and r_0017_0020__is->r_0017_0022__and [prd] r_0017_0021__dangerous dangerous r_0017_0022__and->r_0017_0021__dangerous [conj1] r_0017_0023__illegal illegal r_0017_0022__and->r_0017_0023__illegal [conj2] z_000_17_a_driver_handbook_29->z_000_17_a_driver_handbook_33 than 
arc(r_0017_0001__Driving, r_0017_0002__faster, nim7).
arc(r_0017_0001__Driving, z_000_17_a_driver_handbook_2, arg0).
arc(r_0017_0002__faster, r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit, r_0017_0003__than).
arc(r_0017_0005__posted, r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit, arg1).
arc(r_0017_0005__posted, z_000_17_a_driver_handbook_17, arg0).
arc(r_0017_0008__or, r_0017_0001__Driving, conj1).
arc(r_0017_0008__or, z_000_17_a_driver_handbook_28, conj2).
arc(r_0017_0010__is, r_0017_0011__safe, prd).
arc(r_0017_0010__is, z_000_17_a_driver_handbook_33, arg0).
arc(r_0017_0011__safe, r_0017_0014__conditions, r_0017_0012__for).
arc(r_0017_0014__conditions, r_0017_0013__current, attrib46).
arc(r_0017_0014__conditions, r_0017_0017__any_r_0017_0018__road, r_0017_0016__on).
arc(r_0017_0020__is, r_0017_0008__or, arg0).
arc(r_0017_0020__is, r_0017_0022__and, prd).
arc(r_0017_0022__and, r_0017_0021__dangerous, conj1).
arc(r_0017_0022__and, r_0017_0023__illegal, conj2).
arc(z_000_17_a_driver_handbook_28, z_000_17_a_driver_handbook_29, nim29).
arc(z_000_17_a_driver_handbook_28, z_000_17_a_driver_handbook_2, arg0).
arc(z_000_17_a_driver_handbook_29, z_000_17_a_driver_handbook_33, r_0017_0009__than).


%3 r_0017_0001__Driving Driving r_0017_0002__faster faster r_0017_0001__Driving->r_0017_0002__faster [nim] z_000_17_a_driver_handbook_2 r_0017_0001__Driving->z_000_17_a_driver_handbook_2 [arg0] r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit the speed limit r_0017_0002__faster->r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit than r_0017_0005__posted posted r_0017_0005__posted->r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit [arg1] z_000_17_a_driver_handbook_17 r_0017_0005__posted->z_000_17_a_driver_handbook_17 [arg0] r_0017_0008__or or r_0017_0008__or->r_0017_0001__Driving [conj1] z_000_17_a_driver_handbook_28 r_0017_0008__or->z_000_17_a_driver_handbook_28 [conj2] z_000_17_a_driver_handbook_28->z_000_17_a_driver_handbook_2 [arg0] z_000_17_a_driver_handbook_29 z_000_17_a_driver_handbook_28->z_000_17_a_driver_handbook_29 [nim] r_0017_0010__is is r_0017_0011__safe safe r_0017_0010__is->r_0017_0011__safe [prd] z_000_17_a_driver_handbook_33 r_0017_0010__is->z_000_17_a_driver_handbook_33 [arg0] r_0017_0014__conditions conditions r_0017_0011__safe->r_0017_0014__conditions for r_0017_0013__current current r_0017_0014__conditions->r_0017_0013__current [attrib] r_0017_0017__any_r_0017_0018__road any road r_0017_0014__conditions->r_0017_0017__any_r_0017_0018__road on r_0017_0020__is is r_0017_0020__is->r_0017_0008__or [arg0] r_0017_0022__and and r_0017_0020__is->r_0017_0022__and [prd] r_0017_0021__dangerous dangerous r_0017_0022__and->r_0017_0021__dangerous [conj1] r_0017_0023__illegal illegal r_0017_0022__and->r_0017_0023__illegal [conj2] z_000_17_a_driver_handbook_29->z_000_17_a_driver_handbook_33 than 
fof(formula,axiom,
    ? [R_17_5_POSTED,Z_17_A_DRIVER_HANDBOOK_17,R_17_10_IS,R_17_11_SAFE,R_17_14_CONDITIONS,R_17_13_CURRENT,R_17_17_ANY_ROAD,R_17_20_IS,R_17_8_OR,R_17_1_DRIVING,R_17_2_FASTER,R_17_4_THE_SPEED_LIMIT,Z_17_A_DRIVER_HANDBOOK_28,Z_17_A_DRIVER_HANDBOOK_2,Z_17_A_DRIVER_HANDBOOK_29,Z_17_A_DRIVER_HANDBOOK_33,R_17_22_AND,R_17_21_DANGEROUS,R_17_23_ILLEGAL] :
      ( current(R_17_13_CURRENT)
      & any_road(R_17_17_ANY_ROAD)
      & the_speed_limit(R_17_4_THE_SPEED_LIMIT)
      & dangerous(R_17_21_DANGEROUS)
      & illegal(R_17_23_ILLEGAL)
      & posted(R_17_5_POSTED,Z_17_A_DRIVER_HANDBOOK_17,R_17_4_THE_SPEED_LIMIT)
      & is(R_17_10_IS,Z_17_A_DRIVER_HANDBOOK_33,R_17_11_SAFE)
      & safe(R_17_11_SAFE)
      & for(R_17_11_SAFE,R_17_14_CONDITIONS)
      & conditions(R_17_14_CONDITIONS)
      & attrib46(R_17_14_CONDITIONS,R_17_13_CURRENT)
      & on(R_17_14_CONDITIONS,R_17_17_ANY_ROAD)
      & is(R_17_20_IS,R_17_8_OR,R_17_22_AND)
      & or(R_17_8_OR)
      & conj1(R_17_8_OR,R_17_1_DRIVING)
      & driving(R_17_1_DRIVING,Z_17_A_DRIVER_HANDBOOK_2)
      & nim7(R_17_1_DRIVING,R_17_2_FASTER)
      & faster(R_17_2_FASTER)
      & than(R_17_2_FASTER,R_17_4_THE_SPEED_LIMIT)
      & conj2(R_17_8_OR,Z_17_A_DRIVER_HANDBOOK_28)
      & z_17_a_driver_handbook_28(Z_17_A_DRIVER_HANDBOOK_28,Z_17_A_DRIVER_HANDBOOK_2)
      & nim29(Z_17_A_DRIVER_HANDBOOK_28,Z_17_A_DRIVER_HANDBOOK_29)
      & z_17_a_driver_handbook_29(Z_17_A_DRIVER_HANDBOOK_29)
      & than(Z_17_A_DRIVER_HANDBOOK_29,Z_17_A_DRIVER_HANDBOOK_33)
      & and(R_17_22_AND)
      & conj1(R_17_22_AND,R_17_21_DANGEROUS)
      & conj2(R_17_22_AND,R_17_23_ILLEGAL) ) ).


n17_a_driver_handbook n17_a_driver_handbook_6 Driving n17_a_driver_handbook_9 faster n17_a_driver_handbook_12 than n17_a_driver_handbook_15 the n17_a_driver_handbook_18 * n17_a_driver_handbook_20 posted n17_a_driver_handbook_22 speed n17_a_driver_handbook_24 limit n17_a_driver_handbook_27 or n17_a_driver_handbook_32 than n17_a_driver_handbook_36 *T* n17_a_driver_handbook_38 is n17_a_driver_handbook_41 safe n17_a_driver_handbook_44 for n17_a_driver_handbook_48 current n17_a_driver_handbook_50 conditions n17_a_driver_handbook_52 , n17_a_driver_handbook_55 on n17_a_driver_handbook_58 any n17_a_driver_handbook_60 road n17_a_driver_handbook_62 , n17_a_driver_handbook_64 is n17_a_driver_handbook_69 dangerous n17_a_driver_handbook_72 and n17_a_driver_handbook_75 illegal n17_a_driver_handbook_77 . n17_a_driver_handbook_1 IP-MAT n17_a_driver_handbook_2 IP-PPL-SBJ n17_a_driver_handbook_1->n17_a_driver_handbook_2 n17_a_driver_handbook_61 PUNC n17_a_driver_handbook_1->n17_a_driver_handbook_61 n17_a_driver_handbook_63 BEP;_La_ n17_a_driver_handbook_1->n17_a_driver_handbook_63 n17_a_driver_handbook_65 ADJP-PRD n17_a_driver_handbook_1->n17_a_driver_handbook_65 n17_a_driver_handbook_76 PUNC n17_a_driver_handbook_1->n17_a_driver_handbook_76 n17_a_driver_handbook_3 ILYR n17_a_driver_handbook_2->n17_a_driver_handbook_3 n17_a_driver_handbook_4 ILYR n17_a_driver_handbook_3->n17_a_driver_handbook_4 n17_a_driver_handbook_25 CONJP n17_a_driver_handbook_3->n17_a_driver_handbook_25 n17_a_driver_handbook_5 VAG;_I_ n17_a_driver_handbook_4->n17_a_driver_handbook_5 n17_a_driver_handbook_7 ADVP-NIM n17_a_driver_handbook_4->n17_a_driver_handbook_7 n17_a_driver_handbook_5->n17_a_driver_handbook_6 n17_a_driver_handbook_8 ADVR n17_a_driver_handbook_7->n17_a_driver_handbook_8 n17_a_driver_handbook_10 PP n17_a_driver_handbook_7->n17_a_driver_handbook_10 n17_a_driver_handbook_8->n17_a_driver_handbook_9 n17_a_driver_handbook_11 P-ROLE n17_a_driver_handbook_10->n17_a_driver_handbook_11 n17_a_driver_handbook_13 NP n17_a_driver_handbook_10->n17_a_driver_handbook_13 n17_a_driver_handbook_11->n17_a_driver_handbook_12 n17_a_driver_handbook_14 D n17_a_driver_handbook_13->n17_a_driver_handbook_14 n17_a_driver_handbook_16 IP-PPL n17_a_driver_handbook_13->n17_a_driver_handbook_16 n17_a_driver_handbook_21 N n17_a_driver_handbook_13->n17_a_driver_handbook_21 n17_a_driver_handbook_23 N n17_a_driver_handbook_13->n17_a_driver_handbook_23 n17_a_driver_handbook_14->n17_a_driver_handbook_15 n17_a_driver_handbook_17 NP-LGS n17_a_driver_handbook_16->n17_a_driver_handbook_17 n17_a_driver_handbook_19 VVN;_Tn_ n17_a_driver_handbook_16->n17_a_driver_handbook_19 n17_a_driver_handbook_17->n17_a_driver_handbook_18 n17_a_driver_handbook_19->n17_a_driver_handbook_20 n17_a_driver_handbook_21->n17_a_driver_handbook_22 n17_a_driver_handbook_23->n17_a_driver_handbook_24 n17_a_driver_handbook_26 CONJ n17_a_driver_handbook_25->n17_a_driver_handbook_26 n17_a_driver_handbook_28 ILYR n17_a_driver_handbook_25->n17_a_driver_handbook_28 n17_a_driver_handbook_26->n17_a_driver_handbook_27 n17_a_driver_handbook_29 ADVP-NIM n17_a_driver_handbook_28->n17_a_driver_handbook_29 n17_a_driver_handbook_30 PP n17_a_driver_handbook_29->n17_a_driver_handbook_30 n17_a_driver_handbook_31 P-ROLE n17_a_driver_handbook_30->n17_a_driver_handbook_31 n17_a_driver_handbook_33 NP n17_a_driver_handbook_30->n17_a_driver_handbook_33 n17_a_driver_handbook_31->n17_a_driver_handbook_32 n17_a_driver_handbook_34 IP-REL n17_a_driver_handbook_33->n17_a_driver_handbook_34 n17_a_driver_handbook_35 NP-SBJ n17_a_driver_handbook_34->n17_a_driver_handbook_35 n17_a_driver_handbook_37 BEP;_La_ n17_a_driver_handbook_34->n17_a_driver_handbook_37 n17_a_driver_handbook_39 ADJP-PRD n17_a_driver_handbook_34->n17_a_driver_handbook_39 n17_a_driver_handbook_35->n17_a_driver_handbook_36 n17_a_driver_handbook_37->n17_a_driver_handbook_38 n17_a_driver_handbook_40 ADJ n17_a_driver_handbook_39->n17_a_driver_handbook_40 n17_a_driver_handbook_42 PP n17_a_driver_handbook_39->n17_a_driver_handbook_42 n17_a_driver_handbook_40->n17_a_driver_handbook_41 n17_a_driver_handbook_43 P-ROLE n17_a_driver_handbook_42->n17_a_driver_handbook_43 n17_a_driver_handbook_45 NP n17_a_driver_handbook_42->n17_a_driver_handbook_45 n17_a_driver_handbook_43->n17_a_driver_handbook_44 n17_a_driver_handbook_46 ADJP n17_a_driver_handbook_45->n17_a_driver_handbook_46 n17_a_driver_handbook_49 NS n17_a_driver_handbook_45->n17_a_driver_handbook_49 n17_a_driver_handbook_51 PUNC n17_a_driver_handbook_45->n17_a_driver_handbook_51 n17_a_driver_handbook_53 PP n17_a_driver_handbook_45->n17_a_driver_handbook_53 n17_a_driver_handbook_47 ADJ n17_a_driver_handbook_46->n17_a_driver_handbook_47 n17_a_driver_handbook_47->n17_a_driver_handbook_48 n17_a_driver_handbook_49->n17_a_driver_handbook_50 n17_a_driver_handbook_51->n17_a_driver_handbook_52 n17_a_driver_handbook_54 P-ROLE n17_a_driver_handbook_53->n17_a_driver_handbook_54 n17_a_driver_handbook_56 NP n17_a_driver_handbook_53->n17_a_driver_handbook_56 n17_a_driver_handbook_54->n17_a_driver_handbook_55 n17_a_driver_handbook_57 D n17_a_driver_handbook_56->n17_a_driver_handbook_57 n17_a_driver_handbook_59 N n17_a_driver_handbook_56->n17_a_driver_handbook_59 n17_a_driver_handbook_57->n17_a_driver_handbook_58 n17_a_driver_handbook_59->n17_a_driver_handbook_60 n17_a_driver_handbook_61->n17_a_driver_handbook_62 n17_a_driver_handbook_63->n17_a_driver_handbook_64 n17_a_driver_handbook_66 AJLYR n17_a_driver_handbook_65->n17_a_driver_handbook_66 n17_a_driver_handbook_67 AJLYR n17_a_driver_handbook_66->n17_a_driver_handbook_67 n17_a_driver_handbook_70 CONJP n17_a_driver_handbook_66->n17_a_driver_handbook_70 n17_a_driver_handbook_68 ADJ n17_a_driver_handbook_67->n17_a_driver_handbook_68 n17_a_driver_handbook_68->n17_a_driver_handbook_69 n17_a_driver_handbook_71 CONJ n17_a_driver_handbook_70->n17_a_driver_handbook_71 n17_a_driver_handbook_73 AJLYR n17_a_driver_handbook_70->n17_a_driver_handbook_73 n17_a_driver_handbook_71->n17_a_driver_handbook_72 n17_a_driver_handbook_74 ADJ n17_a_driver_handbook_73->n17_a_driver_handbook_74 n17_a_driver_handbook_74->n17_a_driver_handbook_75 n17_a_driver_handbook_76->n17_a_driver_handbook_77 
( (IP-MAT (IP-PPL-SBJ (ILYR (ILYR (VAG;_I_ Driving;{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})))))
                            (CONJP (CONJ or;{or})
                                   (ILYR (ADVP-NIM (PP (P-ROLE than;{than})
                                                       (NP (IP-REL (NP-SBJ *T*)
                                                                   (BEP;_La_ is;{be})
                                                                   (ADJP-PRD (ADJ safe;{safe})
                                                                             (PP (P-ROLE for;{for})
                                                                                 (NP (ADJP (ADJ current;{current}))
                                                                                     (NS conditions;{condition})
                                                                                     (PUNC ,)
                                                                                     (PP (P-ROLE on;{on})
                                                                                         (NP (D any;{any})
                                                                                             (N road;{road}))))))))))))))
          (PUNC ,)
          (BEP;_La_ is;{be})
          (ADJP-PRD (AJLYR (AJLYR (ADJ dangerous;{dangerous}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ illegal;{illegal})))))
          (PUNC .))
  (ID 17_a_driver_handbook))