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.
( (IP-MAT (IP-PPL-SBJ (VAG;_I_ Driving;{drive})
(ADVP-NIM (ADVR faster;{fast})
(PP (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})
(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))
arc(r_0017_0001__Driving,r_0017_0002__faster,nim).
arc(r_0017_0001__Driving,z_0017_5003,arg0).
arc(r_0017_0002__faster,r_0017_0008__or,z_0017_5006).
arc(r_0017_0005__posted,r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit,inv_arg1).
arc(r_0017_0005__posted,z_0017_5009___star_,arg0).
arc(r_0017_0008__or,r_0017_0004__the_r_0017_0006__speed_r_0017_0007__limit,r_0017_0003__than).
arc(r_0017_0008__or,z_0017_5017,r_0017_0009__than).
arc(r_0017_0010__is,r_0017_0011__safe,prd).
arc(r_0017_0010__is,z_0017_5017,inv_arg0).
arc(r_0017_0011__safe,r_0017_0014__conditions,r_0017_0012__for).
arc(r_0017_0014__conditions,r_0017_0013__current,attrib).
arc(r_0017_0014__conditions,r_0017_0017__any_r_0017_0018__road,r_0017_0016__on).
arc(r_0017_0020__is,r_0017_0001__Driving,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).
fof(formula,axiom,
? [Z_0017_5009___STAR_,R_0017_0005__POSTED,R_0017_0004__THE_R_0017_0006__SPEED_R_0017_0007__LIMIT,R_0017_0013__CURRENT,R_0017_0017__ANY_R_0017_0018__ROAD,R_0017_0014__CONDITIONS,R_0017_0011__SAFE,R_0017_0010__IS,Z_0017_5017,R_0017_0008__OR,R_0017_0002__FASTER,Z_0017_5003,R_0017_0001__DRIVING,R_0017_0021__DANGEROUS,R_0017_0023__ILLEGAL,R_0017_0022__AND,R_0017_0020__IS] :
( 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_0017_5003(Z_0017_5003)
& z_0017_5009___star_(Z_0017_5009___STAR_)
& 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_0001__DRIVING)
& r_0017_0001__Driving(R_0017_0001__DRIVING)
& has_arg0(R_0017_0001__DRIVING,Z_0017_5003)
& has_nim(R_0017_0001__DRIVING,R_0017_0002__FASTER)
& r_0017_0002__faster(R_0017_0002__FASTER)
& has_z_0017_5006(R_0017_0002__FASTER,R_0017_0008__OR)
& r_0017_0008__or(R_0017_0008__OR)
& has_r_0017_0009__than(R_0017_0008__OR,Z_0017_5017)
& z_0017_5017(Z_0017_5017)
& has_inv_arg0(Z_0017_5017,R_0017_0010__IS)
& r_0017_0010__is(R_0017_0010__IS)
& 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_attrib(R_0017_0014__CONDITIONS,R_0017_0013__CURRENT)
& has_r_0017_0003__than(R_0017_0008__OR,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_0004__THE_R_0017_0006__SPEED_R_0017_0007__LIMIT)
& has_inv_arg1(R_0017_0004__THE_R_0017_0006__SPEED_R_0017_0007__LIMIT,R_0017_0005__POSTED)
& r_0017_0005__posted(R_0017_0005__POSTED)
& has_arg0(R_0017_0005__POSTED,Z_0017_5009___STAR_) ) ).