( (IP-MAT (NP-SBJ (PRO I;{I}))
          (ADVP-NIM (ADV recently;{recently}))
          (VBD;_Tn_ built;{build})
          (NP-OB1;{HEDGEHOG_HOUSE} (D a;{a})
                                   (N hedgehog;{hedgehog})
                                   (N house;{house}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                      (N garden;{garden})))
          (PUNC .))
  (ID 35_a_hedgehog;speaker=Williamson))

arc(r_0035_0003__built,r_0035_0001__I,arg0).
arc(r_0035_0003__built,r_0035_0002__recently,nim).
arc(r_0035_0003__built,r_0035_0004__a_r_0035_0005__hedgehog_r_0035_0006__house,arg1).
arc(r_0035_0003__built,r_0035_0009__garden,r_0035_0007__in__nim).
arc(r_0035_0009__garden,r_0035_0001__I,gen).

fof(formula,axiom,
    ? [R_0035_0001__I,R_0035_0002__RECENTLY,R_0035_0004__A_R_0035_0005__HEDGEHOG_R_0035_0006__HOUSE,R_0035_0009__GARDEN,R_0035_0003__BUILT] :
      ( r_0035_0001__I(R_0035_0001__I)
      & r_0035_0002__recently(R_0035_0002__RECENTLY)
      & r_0035_0004__a_r_0035_0005__hedgehog_r_0035_0006__house(R_0035_0004__A_R_0035_0005__HEDGEHOG_R_0035_0006__HOUSE)
      & r_0035_0003__built(R_0035_0003__BUILT)
      & has_r_0035_0007__in__nim(R_0035_0003__BUILT,R_0035_0009__GARDEN)
      & r_0035_0009__garden(R_0035_0009__GARDEN)
      & has_gen(R_0035_0009__GARDEN,R_0035_0001__I)
      & has_arg1(R_0035_0003__BUILT,R_0035_0004__A_R_0035_0005__HEDGEHOG_R_0035_0006__HOUSE)
      & has_nim(R_0035_0003__BUILT,R_0035_0002__RECENTLY)
      & has_arg0(R_0035_0003__BUILT,R_0035_0001__I) ) ).