( (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))

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,nim).
arc(r_0006_0007__drive,r_0006_0008__faster,nim).
arc(r_0006_0008__faster,z_0006_5010,r_0006_0009__than).
arc(r_0006_0010__is,r_0006_0011__safe,prd).
arc(r_0006_0010__is,z_0006_5010,inv_arg0).
arc(r_0006_0011__safe,r_0006_0014__conditions,r_0006_0012__for).
arc(r_0006_0014__conditions,r_0006_0013__current,attrib).

fof(formula,axiom,
    ? [R_0006_0001__THIS_R_0006_0002__LAW,R_0006_0004__YOU,R_0006_0006__NEVER,R_0006_0013__CURRENT,R_0006_0014__CONDITIONS,R_0006_0011__SAFE,R_0006_0010__IS,Z_0006_5010,R_0006_0008__FASTER,R_0006_0005__MAY_R_0006_0007__DRIVE,R_0006_0003__MEANS] :
      ( 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)
      & 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_nim(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_0006_5010)
      & z_0006_5010(Z_0006_5010)
      & has_inv_arg0(Z_0006_5010,R_0006_0010__IS)
      & r_0006_0010__is(R_0006_0010__IS)
      & 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_attrib(R_0006_0014__CONDITIONS,R_0006_0013__CURRENT)
      & has_nim(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) ) ).