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, attrib10).
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_000_123_a_hedgehog_17, r_0123_0003__a_r_0123_0005__diet, arg0).
arc(z_000_123_a_hedgehog_17, 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_000_123_A_HEDGEHOG_17] :
      ( 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_000_123_a_hedgehog_17(Z_000_123_A_HEDGEHOG_17)
      & has_prd(Z_000_123_A_HEDGEHOG_17,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_000_123_A_HEDGEHOG_17,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_attrib10(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) ) ).

( (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 --)
                  (IP-PPL (NP-PRD (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))