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.
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, nim8).
arc(r_0008_0005__drive, r_0008_0004__legally, nim11).
arc(r_0008_0005__drive, r_0008_0006__faster, nim16).
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, arg1).
arc(r_0008_0009__posted, z_000_8_a_driver_handbook_26, 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_0019__to_r_0008_0020__do, arg0).
arc(r_0008_0019__to_r_0008_0020__do, r_0008_0021__so, clr60).
arc(r_0008_0019__to_r_0008_0020__do, z_000_8_a_driver_handbook_47, arg0).
fof(formula,axiom,
? [R_0008_0008__THE_R_0008_0010__SPEED_R_0008_0011__LIMIT,Z_000_8_A_DRIVER_HANDBOOK_26,R_0008_0009__POSTED,R_0008_0001__YOU,R_0008_0003__NEVER,R_0008_0004__LEGALLY,R_0008_0006__FASTER,R_0008_0002__MAY_R_0008_0005__DRIVE,R_0008_0018__SAFE,R_0008_0021__SO,Z_000_8_A_DRIVER_HANDBOOK_47,R_0008_0019__TO_R_0008_0020__DO,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_0008__the_r_0008_0010__speed_r_0008_0011__limit(R_0008_0008__THE_R_0008_0010__SPEED_R_0008_0011__LIMIT)
& r_0008_0018__safe(R_0008_0018__SAFE)
& r_0008_0021__so(R_0008_0021__SO)
& z_000_8_a_driver_handbook_26(Z_000_8_A_DRIVER_HANDBOOK_26)
& z_000_8_a_driver_handbook_47(Z_000_8_A_DRIVER_HANDBOOK_47)
& 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_0019__TO_R_0008_0020__DO)
& r_0008_0019__to_r_0008_0020__do(R_0008_0019__TO_R_0008_0020__DO)
& has_arg0(R_0008_0019__TO_R_0008_0020__DO,Z_000_8_A_DRIVER_HANDBOOK_47)
& has_clr60(R_0008_0019__TO_R_0008_0020__DO,R_0008_0021__SO)
& 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_nim16(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)
& has_nim11(R_0008_0002__MAY_R_0008_0005__DRIVE,R_0008_0004__LEGALLY)
& has_nim8(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)
& r_0008_0009__posted(R_0008_0009__POSTED)
& has_arg0(R_0008_0009__POSTED,Z_000_8_A_DRIVER_HANDBOOK_26)
& has_arg1(R_0008_0009__POSTED,R_0008_0008__THE_R_0008_0010__SPEED_R_0008_0011__LIMIT) ) ).
( (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))