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_0017_0004__THE_R_0017_0006__SPEED_R_0017_0007__LIMIT,Z_000_17_A_DRIVER_HANDBOOK_17,R_0017_0005__POSTED,R_0017_0013__CURRENT,R_0017_0017__ANY_R_0017_0018__ROAD,R_0017_0014__CONDITIONS,R_0017_0011__SAFE,Z_000_17_A_DRIVER_HANDBOOK_33,R_0017_0010__IS,R_0017_0002__FASTER,Z_000_17_A_DRIVER_HANDBOOK_2,R_0017_0001__DRIVING,Z_000_17_A_DRIVER_HANDBOOK_29,Z_000_17_A_DRIVER_HANDBOOK_28,R_0017_0008__OR,R_0017_0021__DANGEROUS,R_0017_0023__ILLEGAL,R_0017_0022__AND,R_0017_0020__IS] :
( r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit(R_0017_0004__THE_R_0017_0006__SPEED_R_0017_0007__LIMIT)
& r_0017_0013__current(R_0017_0013__CURRENT)
& r_0017_0017__any_r_0017_0018__road(R_0017_0017__ANY_R_0017_0018__ROAD)
& r_0017_0021__dangerous(R_0017_0021__DANGEROUS)
& r_0017_0023__illegal(R_0017_0023__ILLEGAL)
& z_000_17_a_driver_handbook_17(Z_000_17_A_DRIVER_HANDBOOK_17)
& z_000_17_a_driver_handbook_2(Z_000_17_A_DRIVER_HANDBOOK_2)
& z_000_17_a_driver_handbook_33(Z_000_17_A_DRIVER_HANDBOOK_33)
& r_0017_0020__is(R_0017_0020__IS)
& has_prd(R_0017_0020__IS,R_0017_0022__AND)
& r_0017_0022__and(R_0017_0022__AND)
& has_conj2(R_0017_0022__AND,R_0017_0023__ILLEGAL)
& has_conj1(R_0017_0022__AND,R_0017_0021__DANGEROUS)
& has_arg0(R_0017_0020__IS,R_0017_0008__OR)
& r_0017_0008__or(R_0017_0008__OR)
& has_conj2(R_0017_0008__OR,Z_000_17_A_DRIVER_HANDBOOK_28)
& z_000_17_a_driver_handbook_28(Z_000_17_A_DRIVER_HANDBOOK_28)
& has_nim29(Z_000_17_A_DRIVER_HANDBOOK_28,Z_000_17_A_DRIVER_HANDBOOK_29)
& z_000_17_a_driver_handbook_29(Z_000_17_A_DRIVER_HANDBOOK_29)
& has_r_0017_0009__than(Z_000_17_A_DRIVER_HANDBOOK_29,Z_000_17_A_DRIVER_HANDBOOK_33)
& has_arg0(Z_000_17_A_DRIVER_HANDBOOK_28,Z_000_17_A_DRIVER_HANDBOOK_2)
& has_conj1(R_0017_0008__OR,R_0017_0001__DRIVING)
& r_0017_0001__Driving(R_0017_0001__DRIVING)
& has_arg0(R_0017_0001__DRIVING,Z_000_17_A_DRIVER_HANDBOOK_2)
& has_nim7(R_0017_0001__DRIVING,R_0017_0002__FASTER)
& r_0017_0002__faster(R_0017_0002__FASTER)
& has_r_0017_0003__than(R_0017_0002__FASTER,R_0017_0004__THE_R_0017_0006__SPEED_R_0017_0007__LIMIT)
& r_0017_0010__is(R_0017_0010__IS)
& has_arg0(R_0017_0010__IS,Z_000_17_A_DRIVER_HANDBOOK_33)
& has_prd(R_0017_0010__IS,R_0017_0011__SAFE)
& r_0017_0011__safe(R_0017_0011__SAFE)
& has_r_0017_0012__for(R_0017_0011__SAFE,R_0017_0014__CONDITIONS)
& r_0017_0014__conditions(R_0017_0014__CONDITIONS)
& has_r_0017_0016__on(R_0017_0014__CONDITIONS,R_0017_0017__ANY_R_0017_0018__ROAD)
& has_attrib46(R_0017_0014__CONDITIONS,R_0017_0013__CURRENT)
& r_0017_0005__posted(R_0017_0005__POSTED)
& has_arg0(R_0017_0005__POSTED,Z_000_17_A_DRIVER_HANDBOOK_17)
& has_arg1(R_0017_0005__POSTED,R_0017_0004__THE_R_0017_0006__SPEED_R_0017_0007__LIMIT) ) ).
( (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))