arc(r_0006_0003__means, r_0006_0001__This_r_0006_0002__law, arg0).
arc(r_0006_0003__means, r_0006_0005__may, arg1).
arc(r_0006_0005__may, r_0006_0007__drive, scope).
arc(r_0006_0007__drive, r_0006_0004__you, arg0).
arc(r_0006_0007__drive, r_0006_0006__never, nim17).
arc(r_0006_0007__drive, r_0006_0008__faster, nim22).
arc(r_0006_0008__faster, z_000_6_a_driver_handbook_28, r_0006_0009__than).
arc(r_0006_0010__is, r_0006_0011__safe, prd).
arc(r_0006_0010__is, z_000_6_a_driver_handbook_28, arg0).
arc(r_0006_0011__safe, r_0006_0014__conditions, r_0006_0012__for).
arc(r_0006_0014__conditions, r_0006_0013__current, attrib41).

fof(formula,axiom,
    ? [R_0006_0001__THIS_R_0006_0002__LAW,R_0006_0004__YOU,R_0006_0006__NEVER,Z_000_6_A_DRIVER_HANDBOOK_28,R_0006_0008__FASTER,R_0006_0005__MAY_R_0006_0007__DRIVE,R_0006_0003__MEANS,R_0006_0013__CURRENT,R_0006_0014__CONDITIONS,R_0006_0011__SAFE,R_0006_0010__IS] :
      ( r_0006_0001__This_r_0006_0002__law(R_0006_0001__THIS_R_0006_0002__LAW)
      & r_0006_0004__you(R_0006_0004__YOU)
      & r_0006_0006__never(R_0006_0006__NEVER)
      & r_0006_0013__current(R_0006_0013__CURRENT)
      & z_000_6_a_driver_handbook_28(Z_000_6_A_DRIVER_HANDBOOK_28)
      & r_0006_0010__is(R_0006_0010__IS)
      & has_arg0(R_0006_0010__IS,Z_000_6_A_DRIVER_HANDBOOK_28)
      & has_prd(R_0006_0010__IS,R_0006_0011__SAFE)
      & r_0006_0011__safe(R_0006_0011__SAFE)
      & has_r_0006_0012__for(R_0006_0011__SAFE,R_0006_0014__CONDITIONS)
      & r_0006_0014__conditions(R_0006_0014__CONDITIONS)
      & has_attrib41(R_0006_0014__CONDITIONS,R_0006_0013__CURRENT)
      & r_0006_0003__means(R_0006_0003__MEANS)
      & has_arg1(R_0006_0003__MEANS,R_0006_0005__MAY_R_0006_0007__DRIVE)
      & r_0006_0005__may_r_0006_0007__drive(R_0006_0005__MAY_R_0006_0007__DRIVE)
      & has_nim22(R_0006_0005__MAY_R_0006_0007__DRIVE,R_0006_0008__FASTER)
      & r_0006_0008__faster(R_0006_0008__FASTER)
      & has_r_0006_0009__than(R_0006_0008__FASTER,Z_000_6_A_DRIVER_HANDBOOK_28)
      & has_nim17(R_0006_0005__MAY_R_0006_0007__DRIVE,R_0006_0006__NEVER)
      & has_arg0(R_0006_0005__MAY_R_0006_0007__DRIVE,R_0006_0004__YOU)
      & has_arg0(R_0006_0003__MEANS,R_0006_0001__THIS_R_0006_0002__LAW) ) ).

( (IP-MAT (NP-SBJ;{BSL} (D This;{this})
                        (N law;{law}))
          (VBP;_Tf_ means;{mean})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (MD;_cat_Vi_ may;{may})
                              (IP-INF-CAT (ADVP-NIM (ADV never;{never}))
                                          (VB;_I_ drive;{drive})
                                          (ADVP-NIM (ADVR faster;{fast})
                                                    (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 .))
  (ID 6_a_driver_handbook))