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.
( (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))
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,nim).
arc(r_0008_0005__drive,r_0008_0004__legally,nim).
arc(r_0008_0005__drive,r_0008_0006__faster,nim).
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,inv_arg1).
arc(r_0008_0009__posted,z_0008_5013___star_,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_0020__do_r_0008_0021__so,arg0).
arc(r_0008_0020__do_r_0008_0021__so,z_0008_5004,arg0).
fof(formula,axiom,
? [R_0008_0001__YOU,R_0008_0003__NEVER,R_0008_0004__LEGALLY,Z_0008_5013___STAR_,R_0008_0009__POSTED,R_0008_0008__THE_R_0008_0010__SPEED_R_0008_0011__LIMIT,R_0008_0006__FASTER,R_0008_0002__MAY_R_0008_0005__DRIVE,R_0008_0018__SAFE,Z_0008_5004,R_0008_0020__DO_R_0008_0021__SO,R_0008_0017__IS,R_0008_0015__THINK,R_0008_0013__EVEN_IF] :
( r_0008_0001__You(R_0008_0001__YOU)
& r_0008_0003__never(R_0008_0003__NEVER)
& r_0008_0004__legally(R_0008_0004__LEGALLY)
& r_0008_0018__safe(R_0008_0018__SAFE)
& z_0008_5004(Z_0008_5004)
& z_0008_5013___star_(Z_0008_5013___STAR_)
& r_0008_0013__even_if(R_0008_0013__EVEN_IF)
& has_conj1(R_0008_0013__EVEN_IF,R_0008_0015__THINK)
& r_0008_0015__think(R_0008_0015__THINK)
& has_arg1(R_0008_0015__THINK,R_0008_0017__IS)
& r_0008_0017__is(R_0008_0017__IS)
& has_arg0(R_0008_0017__IS,R_0008_0020__DO_R_0008_0021__SO)
& r_0008_0020__do_r_0008_0021__so(R_0008_0020__DO_R_0008_0021__SO)
& has_arg0(R_0008_0020__DO_R_0008_0021__SO,Z_0008_5004)
& has_prd(R_0008_0017__IS,R_0008_0018__SAFE)
& has_arg0(R_0008_0015__THINK,R_0008_0001__YOU)
& has_conj2(R_0008_0013__EVEN_IF,R_0008_0002__MAY_R_0008_0005__DRIVE)
& r_0008_0002__may_r_0008_0005__drive(R_0008_0002__MAY_R_0008_0005__DRIVE)
& has_nim(R_0008_0002__MAY_R_0008_0005__DRIVE,R_0008_0006__FASTER)
& r_0008_0006__faster(R_0008_0006__FASTER)
& has_r_0008_0007__than(R_0008_0006__FASTER,R_0008_0008__THE_R_0008_0010__SPEED_R_0008_0011__LIMIT)
& r_0008_0008__the_r_0008_0010__speed_r_0008_0011__limit(R_0008_0008__THE_R_0008_0010__SPEED_R_0008_0011__LIMIT)
& has_inv_arg1(R_0008_0008__THE_R_0008_0010__SPEED_R_0008_0011__LIMIT,R_0008_0009__POSTED)
& r_0008_0009__posted(R_0008_0009__POSTED)
& has_arg0(R_0008_0009__POSTED,Z_0008_5013___STAR_)
& has_nim(R_0008_0002__MAY_R_0008_0005__DRIVE,R_0008_0004__LEGALLY)
& has_nim(R_0008_0002__MAY_R_0008_0005__DRIVE,R_0008_0003__NEVER)
& has_arg0(R_0008_0002__MAY_R_0008_0005__DRIVE,R_0008_0001__YOU) ) ).