( (IP-MAT (NP-SBJ (D The;{the})
                  (N hedgehog;{hedgehog}))
          (HVP;_cat_Ve_ has;{have})
          (ADVP-NIM (ADV of_course;{of_course}))
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ studied;{study})
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (PP (P-ROLE over;{over})
                                                  (NP (NUM 2,000)))
                                              (NS years;{year})))))
          (PUNC .))
  (ID 126_a_hedgehog;speaker=Stewart))

arc(r_0126_0003__has,r_0126_0004__of_course,nim).
arc(r_0126_0003__has,r_0126_0005__been,scope).
arc(r_0126_0005__been,r_0126_0006__studied,scope).
arc(r_0126_0006__studied,r_0126_0001__The_r_0126_0002__hedgehog,arg1).
arc(r_0126_0006__studied,r_0126_0010__years,r_0126_0007__for__nim).
arc(r_0126_0006__studied,z_0126_5007___star_,arg0).
arc(r_0126_0010__years,r_0126_0009__2_comma_000,r_0126_0008__over).

fof(formula,axiom,
    ? [R_0126_0004__OF_COURSE,R_0126_0001__THE_R_0126_0002__HEDGEHOG,R_0126_0009__2_COMMA_000,R_0126_0010__YEARS,Z_0126_5007___STAR_,R_0126_0003__HAS_R_0126_0005__BEEN_R_0126_0006__STUDIED] :
      ( r_0126_0001__The_r_0126_0002__hedgehog(R_0126_0001__THE_R_0126_0002__HEDGEHOG)
      & r_0126_0004__of_course(R_0126_0004__OF_COURSE)
      & r_0126_0009__2_comma_000(R_0126_0009__2_COMMA_000)
      & z_0126_5007___star_(Z_0126_5007___STAR_)
      & r_0126_0003__has_r_0126_0005__been_r_0126_0006__studied(R_0126_0003__HAS_R_0126_0005__BEEN_R_0126_0006__STUDIED)
      & has_arg0(R_0126_0003__HAS_R_0126_0005__BEEN_R_0126_0006__STUDIED,Z_0126_5007___STAR_)
      & has_r_0126_0007__for__nim(R_0126_0003__HAS_R_0126_0005__BEEN_R_0126_0006__STUDIED,R_0126_0010__YEARS)
      & r_0126_0010__years(R_0126_0010__YEARS)
      & has_r_0126_0008__over(R_0126_0010__YEARS,R_0126_0009__2_COMMA_000)
      & has_arg1(R_0126_0003__HAS_R_0126_0005__BEEN_R_0126_0006__STUDIED,R_0126_0001__THE_R_0126_0002__HEDGEHOG)
      & has_nim(R_0126_0003__HAS_R_0126_0005__BEEN_R_0126_0006__STUDIED,R_0126_0004__OF_COURSE) ) ).