( (IP-IMP (PP-SCON (IP-PPL (VAG;_Ipr_ Coming;{come[out_of]})
                           (PP-CLR (P-ROLE out_of;{out_of})
                                   (NP;{WOOD} (D the;{the})
                                              (N wood;{wood})))))
          (VB;_Tn_ take;{take})
          (NP-OB1 (D the;{the})
                  (N footpath;{footpath})
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (VBP;_Ipr_ passes;{pass[by]})
                          (PP-CLR (P-ROLE by;{by})
                                  (NP (D an;{an})
                                      (ADJP (ADJ old;{old}))
                                      (ADJP (ADJ ruined;{ruined}))
                                      (N house;{house})))))
          (PUNC .))
  (ID 8_a_maptext))

arc(r_0008_0001__Coming_r_0008_0002__out_of,r_0008_0003__the_r_0008_0004__wood,arg1).
arc(r_0008_0001__Coming_r_0008_0002__out_of,r_0008_0006__the_r_0008_0007__footpath,arg0).
arc(r_0008_0005__take,r_0008_0006__the_r_0008_0007__footpath,arg1).
arc(r_0008_0005__take,z_0008_5002,arg0).
arc(r_0008_0009__passes_r_0008_0010__by,r_0008_0006__the_r_0008_0007__footpath,arg0).
arc(r_0008_0009__passes_r_0008_0010__by,r_0008_0011__an_r_0008_0014__house,arg1).
arc(r_0008_0011__an_r_0008_0014__house,r_0008_0012__old,attrib).
arc(r_0008_0011__an_r_0008_0014__house,r_0008_0013__ruined,attrib).
arc(z_0008_5008,r_0008_0001__Coming_r_0008_0002__out_of,restriction).
arc(z_0008_5008,r_0008_0005__take,scope).

fof(formula,axiom,
    ? [R_0008_0006__THE_R_0008_0007__FOOTPATH,R_0008_0012__OLD,R_0008_0013__RUINED,R_0008_0011__AN_R_0008_0014__HOUSE,R_0008_0009__PASSES_R_0008_0010__BY,R_0008_0003__THE_R_0008_0004__WOOD,R_0008_0001__COMING_R_0008_0002__OUT_OF,Z_0008_5002,R_0008_0005__TAKE,Z_0008_5008] :
      ( r_0008_0003__the_r_0008_0004__wood(R_0008_0003__THE_R_0008_0004__WOOD)
      & r_0008_0006__the_r_0008_0007__footpath(R_0008_0006__THE_R_0008_0007__FOOTPATH)
      & r_0008_0012__old(R_0008_0012__OLD)
      & r_0008_0013__ruined(R_0008_0013__RUINED)
      & z_0008_5002(Z_0008_5002)
      & z_0008_5008(Z_0008_5008)
      & has_conj2(Z_0008_5008,R_0008_0005__TAKE)
      & r_0008_0005__take(R_0008_0005__TAKE)
      & has_arg0(R_0008_0005__TAKE,Z_0008_5002)
      & has_arg1(R_0008_0005__TAKE,R_0008_0006__THE_R_0008_0007__FOOTPATH)
      & has_conj1(Z_0008_5008,R_0008_0001__COMING_R_0008_0002__OUT_OF)
      & r_0008_0001__Coming_r_0008_0002__out_of(R_0008_0001__COMING_R_0008_0002__OUT_OF)
      & has_arg0(R_0008_0001__COMING_R_0008_0002__OUT_OF,R_0008_0006__THE_R_0008_0007__FOOTPATH)
      & has_arg1(R_0008_0001__COMING_R_0008_0002__OUT_OF,R_0008_0003__THE_R_0008_0004__WOOD)
      & r_0008_0009__passes_r_0008_0010__by(R_0008_0009__PASSES_R_0008_0010__BY)
      & has_arg1(R_0008_0009__PASSES_R_0008_0010__BY,R_0008_0011__AN_R_0008_0014__HOUSE)
      & r_0008_0011__an_r_0008_0014__house(R_0008_0011__AN_R_0008_0014__HOUSE)
      & has_attrib(R_0008_0011__AN_R_0008_0014__HOUSE,R_0008_0013__RUINED)
      & has_attrib(R_0008_0011__AN_R_0008_0014__HOUSE,R_0008_0012__OLD)
      & has_arg0(R_0008_0009__PASSES_R_0008_0010__BY,R_0008_0006__THE_R_0008_0007__FOOTPATH) ) ).