( (IP-MAT (NP-SBJ;{HEDGEHOG} (PRO It;{it}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ particular;{particular}))
                  (N diet;{diet})
                  (PUNC --)
                  (PRN (NP (D a;{a})
                           (N focus;{focus})
                           (PP (P-ROLE on;{on})
                               (NP (NLYR (NLYR (NS grubs;{grub}))
                                         (CONJP (CONJ and;{and})
                                                (NLYR (NS beetles;{beetle})))))))))
          (PUNC .))
  (ID 123_a_hedgehog;speaker=Stewart))

arc(r_0123_0002__has,r_0123_0001__It,arg0).
arc(r_0123_0002__has,r_0123_0003__a_r_0123_0005__diet,arg1).
arc(r_0123_0003__a_r_0123_0005__diet,r_0123_0004__particular,attrib).
arc(r_0123_0007__a_r_0123_0008__focus,r_0123_0011__and,r_0123_0009__on).
arc(r_0123_0011__and,r_0123_0010__grubs,conj1).
arc(r_0123_0011__and,r_0123_0012__beetles,conj2).
arc(z_0123_5007,r_0123_0003__a_r_0123_0005__diet,arg0).
arc(z_0123_5007,r_0123_0007__a_r_0123_0008__focus,prd).

fof(formula,axiom,
    ? [R_0123_0001__IT,R_0123_0004__PARTICULAR,R_0123_0003__A_R_0123_0005__DIET,R_0123_0002__HAS,R_0123_0010__GRUBS,R_0123_0012__BEETLES,R_0123_0011__AND,R_0123_0007__A_R_0123_0008__FOCUS,Z_0123_5007] :
      ( r_0123_0001__It(R_0123_0001__IT)
      & r_0123_0004__particular(R_0123_0004__PARTICULAR)
      & r_0123_0010__grubs(R_0123_0010__GRUBS)
      & r_0123_0012__beetles(R_0123_0012__BEETLES)
      & z_0123_5007(Z_0123_5007)
      & has_prd(Z_0123_5007,R_0123_0007__A_R_0123_0008__FOCUS)
      & r_0123_0007__a_r_0123_0008__focus(R_0123_0007__A_R_0123_0008__FOCUS)
      & has_r_0123_0009__on(R_0123_0007__A_R_0123_0008__FOCUS,R_0123_0011__AND)
      & r_0123_0011__and(R_0123_0011__AND)
      & has_conj2(R_0123_0011__AND,R_0123_0012__BEETLES)
      & has_conj1(R_0123_0011__AND,R_0123_0010__GRUBS)
      & has_arg0(Z_0123_5007,R_0123_0003__A_R_0123_0005__DIET)
      & r_0123_0003__a_r_0123_0005__diet(R_0123_0003__A_R_0123_0005__DIET)
      & has_attrib(R_0123_0003__A_R_0123_0005__DIET,R_0123_0004__PARTICULAR)
      & r_0123_0002__has(R_0123_0002__HAS)
      & has_arg1(R_0123_0002__HAS,R_0123_0003__A_R_0123_0005__DIET)
      & has_arg0(R_0123_0002__HAS,R_0123_0001__IT) ) ).