arc(r_0038_0002__thought, r_0038_0001__Peter, arg0).
arc(r_0038_0002__thought, r_0038_0004__best, prd).
arc(r_0038_0002__thought, r_0038_0005__to_r_0038_0006__go, arg1).
arc(r_0038_0005__to_r_0038_0006__go, r_0038_0007__away, clr20).
arc(r_0038_0005__to_r_0038_0006__go, r_0038_0009__speaking, r_0038_0008__without_nim26).
arc(r_0038_0005__to_r_0038_0006__go, z_000_38_a_potter_1902_9, arg0).
arc(r_0038_0009__speaking, r_0038_0011__her, r_0038_0010__to_clr32).
arc(r_0038_0009__speaking, z_000_38_a_potter_1902_26, arg0).
arc(r_0038_0014__had, r_0038_0015__heard, scope).
arc(r_0038_0015__heard, r_0038_0001__Peter, arg0).
arc(r_0038_0015__heard, r_0038_0017__cats, r_0038_0016__about_clr50).
arc(r_0038_0015__heard, r_0038_0020__cousin, r_0038_0018__from_nim56).
arc(r_0038_0020__cousin, r_0038_0001__Peter, gen).
arc(r_0038_0023__Benjamin_r_0038_0024__Bunny, r_0038_0022__little, attrib66).
arc(z_000_38_a_potter_1902_2, r_0038_0002__thought, conj1).
arc(z_000_38_a_potter_1902_2, r_0038_0014__had, conj2).
arc(z_000_38_a_potter_1902_64, r_0038_0020__cousin, arg0).
arc(z_000_38_a_potter_1902_64, r_0038_0023__Benjamin_r_0038_0024__Bunny, prd).

fof(formula,axiom,
    ? [R_0038_0001__PETER,R_0038_0004__BEST,R_0038_0007__AWAY,R_0038_0011__HER,Z_000_38_A_POTTER_1902_26,R_0038_0009__SPEAKING,Z_000_38_A_POTTER_1902_9,R_0038_0005__TO_R_0038_0006__GO,R_0038_0002__THOUGHT,R_0038_0017__CATS,R_0038_0020__COUSIN,R_0038_0014__HAD_R_0038_0015__HEARD,Z_000_38_A_POTTER_1902_2,R_0038_0022__LITTLE,R_0038_0023__BENJAMIN_R_0038_0024__BUNNY,Z_000_38_A_POTTER_1902_64] :
      ( r_0038_0001__Peter(R_0038_0001__PETER)
      & r_0038_0004__best(R_0038_0004__BEST)
      & r_0038_0007__away(R_0038_0007__AWAY)
      & r_0038_0011__her(R_0038_0011__HER)
      & r_0038_0017__cats(R_0038_0017__CATS)
      & r_0038_0022__little(R_0038_0022__LITTLE)
      & z_000_38_a_potter_1902_26(Z_000_38_A_POTTER_1902_26)
      & z_000_38_a_potter_1902_9(Z_000_38_A_POTTER_1902_9)
      & z_000_38_a_potter_1902_64(Z_000_38_A_POTTER_1902_64)
      & has_prd(Z_000_38_A_POTTER_1902_64,R_0038_0023__BENJAMIN_R_0038_0024__BUNNY)
      & r_0038_0023__Benjamin_r_0038_0024__Bunny(R_0038_0023__BENJAMIN_R_0038_0024__BUNNY)
      & has_attrib66(R_0038_0023__BENJAMIN_R_0038_0024__BUNNY,R_0038_0022__LITTLE)
      & has_arg0(Z_000_38_A_POTTER_1902_64,R_0038_0020__COUSIN)
      & r_0038_0020__cousin(R_0038_0020__COUSIN)
      & has_gen(R_0038_0020__COUSIN,R_0038_0001__PETER)
      & z_000_38_a_potter_1902_2(Z_000_38_A_POTTER_1902_2)
      & has_conj2(Z_000_38_A_POTTER_1902_2,R_0038_0014__HAD_R_0038_0015__HEARD)
      & r_0038_0014__had_r_0038_0015__heard(R_0038_0014__HAD_R_0038_0015__HEARD)
      & has_r_0038_0018__from_nim56(R_0038_0014__HAD_R_0038_0015__HEARD,R_0038_0020__COUSIN)
      & has_r_0038_0016__about_clr50(R_0038_0014__HAD_R_0038_0015__HEARD,R_0038_0017__CATS)
      & has_arg0(R_0038_0014__HAD_R_0038_0015__HEARD,R_0038_0001__PETER)
      & has_conj1(Z_000_38_A_POTTER_1902_2,R_0038_0002__THOUGHT)
      & r_0038_0002__thought(R_0038_0002__THOUGHT)
      & has_arg1(R_0038_0002__THOUGHT,R_0038_0005__TO_R_0038_0006__GO)
      & r_0038_0005__to_r_0038_0006__go(R_0038_0005__TO_R_0038_0006__GO)
      & has_arg0(R_0038_0005__TO_R_0038_0006__GO,Z_000_38_A_POTTER_1902_9)
      & has_r_0038_0008__without_nim26(R_0038_0005__TO_R_0038_0006__GO,R_0038_0009__SPEAKING)
      & r_0038_0009__speaking(R_0038_0009__SPEAKING)
      & has_arg0(R_0038_0009__SPEAKING,Z_000_38_A_POTTER_1902_26)
      & has_r_0038_0010__to_clr32(R_0038_0009__SPEAKING,R_0038_0011__HER)
      & has_clr20(R_0038_0005__TO_R_0038_0006__GO,R_0038_0007__AWAY)
      & has_prd(R_0038_0002__THOUGHT,R_0038_0004__BEST)
      & has_arg0(R_0038_0002__THOUGHT,R_0038_0001__PETER) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PETER} (NPR Peter;{Peter}))
                      (VBD;_Cn.a_ thought;{think})
                      (NP-OB1 (PRO;_provisional_ it;{it}))
                      (ADJP-PRD (ADJS best;{good}))
                      (IP-INF3-NOB1 (TO to;{to})
                                    (VB;_Ip_ go;{go[away]})
                                    (ADVP-CLR (ADV away;{away}))
                                    (PP-NIM (P-ROLE without;{without})
                                            (IP-PPL2 (VAG;_Ipr_ speaking;{speak[to]})
                                                     (PP-CLR (P-ROLE to;{to})
                                                             (NP;{WHITE_CAT} (PRO her;{her})))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{PETER} (PRO he;{he}))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (VVN;_Ipr_ heard;{hear[about]})
                                         (PP-CLR (P-ROLE about;{about})
                                                 (NP (NS cats;{cat})))
                                         (PP-NIM (P-ROLE from;{from})
                                                 (NP (NP-GEN;{PETER} (PRO;_genm_ his;{his}))
                                                     (N cousin;{cousin})
                                                     (PUNC ,)
                                                     (IP-PPL (NP-PRD (ADJP (ADJ little;{little}))
                                                                     (NPR Benjamin;{Benjamin})
                                                                     (NPR Bunny;{Bunny})))))))))
          (PUNC .))
  (ID 38_a_potter_1902))