( (IP-MAT (NP-SBJ;{MICKEY} (PRO He;{he}))
          (ADVP-NIM (ADV certainly;{certainly}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADVP (ADV very;{very}))
                        (ADJ intelligent;{intelligent}))
                  (N pet;{pet})
                  (IP-INF-REL (NP-OB1 *T*)
                              (TO to;{to})
                              (VB;_Tn_ own;{own})))
          (PUNC .))
  (ID 12_a_stories_10_k58))

arc(r_0012_0003__is,r_0012_0001__He,arg0).
arc(r_0012_0003__is,r_0012_0002__certainly,nim).
arc(r_0012_0003__is,r_0012_0004__a_r_0012_0007__pet,prd).
arc(r_0012_0004__a_r_0012_0007__pet,r_0012_0006__intelligent,attrib).
arc(r_0012_0006__intelligent,r_0012_0005__very,qual).
arc(r_0012_0009__own,r_0012_0004__a_r_0012_0007__pet,inv_arg1).
arc(r_0012_0009__own,z_0012_5005,arg0).

fof(formula,axiom,
    ? [R_0012_0001__HE,R_0012_0002__CERTAINLY,R_0012_0005__VERY,R_0012_0006__INTELLIGENT,Z_0012_5005,R_0012_0009__OWN,R_0012_0004__A_R_0012_0007__PET,R_0012_0003__IS] :
      ( r_0012_0001__He(R_0012_0001__HE)
      & r_0012_0002__certainly(R_0012_0002__CERTAINLY)
      & r_0012_0005__very(R_0012_0005__VERY)
      & z_0012_5005(Z_0012_5005)
      & r_0012_0003__is(R_0012_0003__IS)
      & has_prd(R_0012_0003__IS,R_0012_0004__A_R_0012_0007__PET)
      & r_0012_0004__a_r_0012_0007__pet(R_0012_0004__A_R_0012_0007__PET)
      & has_inv_arg1(R_0012_0004__A_R_0012_0007__PET,R_0012_0009__OWN)
      & r_0012_0009__own(R_0012_0009__OWN)
      & has_arg0(R_0012_0009__OWN,Z_0012_5005)
      & has_attrib(R_0012_0004__A_R_0012_0007__PET,R_0012_0006__INTELLIGENT)
      & r_0012_0006__intelligent(R_0012_0006__INTELLIGENT)
      & has_qual(R_0012_0006__INTELLIGENT,R_0012_0005__VERY)
      & has_nim(R_0012_0003__IS,R_0012_0002__CERTAINLY)
      & has_arg0(R_0012_0003__IS,R_0012_0001__HE) ) ).