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.
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_2, arg0).
arc(z_000_17_a_driver_handbook_28, z_000_17_a_driver_handbook_29, nim29).
arc(z_000_17_a_driver_handbook_29, z_000_17_a_driver_handbook_33, r_0017_0009__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) ) ).
( (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))