( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_I_ drive;{drive})
                      (ADVP-NIM (ADVR slower;{slowly})))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (EX there;{there})
                           (BEP;_ex_V_ is;{be})
                           (NP-ESBJ (NLYR (NLYR (ADJP (ADJ heavy;{heavy}))
                                                (N traffic;{traffic}))
                                          (CONJP (CONJ or;{or})
                                                 (NLYR (ADJP (ADJ bad;{bad}))
                                                       (N weather;{weather})))))))
          (PUNC .))
  (ID 22_a_driver_handbook))

arc(r_0022_0002__must,r_0022_0003__drive,scope).
arc(r_0022_0003__drive,r_0022_0001__You,arg0).
arc(r_0022_0003__drive,r_0022_0004__slower,nim).
arc(r_0022_0005__when,r_0022_0002__must,scope).
arc(r_0022_0005__when,r_0022_0007__is,restriction).
arc(r_0022_0007__is,r_0022_0010__or,arg0).
arc(r_0022_0009__traffic,r_0022_0008__heavy,attrib).
arc(r_0022_0010__or,r_0022_0009__traffic,conj1).
arc(r_0022_0010__or,r_0022_0012__weather,conj2).
arc(r_0022_0012__weather,r_0022_0011__bad,attrib).

fof(formula,axiom,
    ! [R_0022_0007__IS,R_0022_0008__HEAVY,R_0022_0009__TRAFFIC,R_0022_0011__BAD,R_0022_0012__WEATHER,R_0022_0010__OR] :
      ( ( r_0022_0008__heavy(R_0022_0008__HEAVY)
        & r_0022_0011__bad(R_0022_0011__BAD)
        & r_0022_0007__is(R_0022_0007__IS)
        & has_arg0(R_0022_0007__IS,R_0022_0010__OR)
        & r_0022_0010__or(R_0022_0010__OR)
        & has_conj2(R_0022_0010__OR,R_0022_0012__WEATHER)
        & r_0022_0012__weather(R_0022_0012__WEATHER)
        & has_attrib(R_0022_0012__WEATHER,R_0022_0011__BAD)
        & has_conj1(R_0022_0010__OR,R_0022_0009__TRAFFIC)
        & r_0022_0009__traffic(R_0022_0009__TRAFFIC)
        & has_attrib(R_0022_0009__TRAFFIC,R_0022_0008__HEAVY) )
     => ? [R_0022_0001__YOU,R_0022_0004__SLOWER,R_0022_0002__MUST_R_0022_0003__DRIVE] :
          ( r_0022_0001__You(R_0022_0001__YOU)
          & r_0022_0004__slower(R_0022_0004__SLOWER)
          & r_0022_0002__must_r_0022_0003__drive(R_0022_0002__MUST_R_0022_0003__DRIVE)
          & has_nim(R_0022_0002__MUST_R_0022_0003__DRIVE,R_0022_0004__SLOWER)
          & has_arg0(R_0022_0002__MUST_R_0022_0003__DRIVE,R_0022_0001__YOU) ) ) ).