( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJS funniest;{funny}))
                  (N job;{job}))
          (BED;_equ_Vg_ was;{be})
          (IP-PPL-PRD (VAG;_Tn_ cleaning;{clean})
                      (NP-OB1 (D a;{a})
                              (N dog;{dog})))
          (PUNC .))
  (ID 2_a_stories_09_m12))

arc(r_0002_0001__The_r_0002_0003__job,r_0002_0002__funniest,attrib).
arc(r_0002_0004__was,r_0002_0001__The_r_0002_0003__job,arg0).
arc(r_0002_0004__was,r_0002_0005__cleaning,prd).
arc(r_0002_0005__cleaning,r_0002_0006__a_r_0002_0007__dog,arg1).
arc(r_0002_0005__cleaning,z_0002_5005,arg0).

fof(formula,axiom,
    ? [R_0002_0002__FUNNIEST,R_0002_0001__THE_R_0002_0003__JOB,R_0002_0006__A_R_0002_0007__DOG,Z_0002_5005,R_0002_0005__CLEANING,R_0002_0004__WAS] :
      ( r_0002_0002__funniest(R_0002_0002__FUNNIEST)
      & r_0002_0006__a_r_0002_0007__dog(R_0002_0006__A_R_0002_0007__DOG)
      & z_0002_5005(Z_0002_5005)
      & r_0002_0004__was(R_0002_0004__WAS)
      & has_prd(R_0002_0004__WAS,R_0002_0005__CLEANING)
      & r_0002_0005__cleaning(R_0002_0005__CLEANING)
      & has_arg0(R_0002_0005__CLEANING,Z_0002_5005)
      & has_arg1(R_0002_0005__CLEANING,R_0002_0006__A_R_0002_0007__DOG)
      & has_arg0(R_0002_0004__WAS,R_0002_0001__THE_R_0002_0003__JOB)
      & r_0002_0001__The_r_0002_0003__job(R_0002_0001__THE_R_0002_0003__JOB)
      & has_attrib(R_0002_0001__THE_R_0002_0003__JOB,R_0002_0002__FUNNIEST) ) ).