( (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 ,)
                                                     (PRN (NP (ADJP (ADJ little;{little}))
                                                              (NPR Benjamin;{Benjamin})
                                                              (NPR Bunny;{Bunny})))))))))
          (PUNC .))
  (ID 38_a_potter_1902))

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_0006__go_r_0038_0007__away,arg1).
arc(r_0038_0006__go_r_0038_0007__away,r_0038_0009__speaking_r_0038_0010__to,r_0038_0008__without__nim).
arc(r_0038_0006__go_r_0038_0007__away,z_0038_5004,arg0).
arc(r_0038_0009__speaking_r_0038_0010__to,r_0038_0011__her,arg1).
arc(r_0038_0009__speaking_r_0038_0010__to,z_0038_5004,arg0).
arc(r_0038_0014__had,r_0038_0015__heard_r_0038_0016__about,scope).
arc(r_0038_0015__heard_r_0038_0016__about,r_0038_0001__Peter,arg0).
arc(r_0038_0015__heard_r_0038_0016__about,r_0038_0017__cats,arg1).
arc(r_0038_0015__heard_r_0038_0016__about,r_0038_0020__cousin,r_0038_0018__from__nim).
arc(r_0038_0020__cousin,r_0038_0001__Peter,gen).
arc(r_0038_0023__Benjamin_r_0038_0024__Bunny,r_0038_0022__little,attrib).
arc(z_0038_5001,r_0038_0002__thought,conj1).
arc(z_0038_5001,r_0038_0014__had,conj2).
arc(z_0038_5016,r_0038_0020__cousin,arg0).
arc(z_0038_5016,r_0038_0023__Benjamin_r_0038_0024__Bunny,prd).

fof(formula,axiom,
    ? [R_0038_0001__PETER,R_0038_0004__BEST,R_0038_0011__HER,Z_0038_5004,R_0038_0009__SPEAKING_R_0038_0010__TO,R_0038_0006__GO_R_0038_0007__AWAY,R_0038_0002__THOUGHT,R_0038_0017__CATS,R_0038_0020__COUSIN,R_0038_0014__HAD_R_0038_0015__HEARD_R_0038_0016__ABOUT,Z_0038_5001,R_0038_0022__LITTLE,R_0038_0023__BENJAMIN_R_0038_0024__BUNNY,Z_0038_5016] :
      ( r_0038_0001__Peter(R_0038_0001__PETER)
      & r_0038_0004__best(R_0038_0004__BEST)
      & 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_0038_5004(Z_0038_5004)
      & z_0038_5016(Z_0038_5016)
      & has_prd(Z_0038_5016,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_attrib(R_0038_0023__BENJAMIN_R_0038_0024__BUNNY,R_0038_0022__LITTLE)
      & has_arg0(Z_0038_5016,R_0038_0020__COUSIN)
      & r_0038_0020__cousin(R_0038_0020__COUSIN)
      & has_gen(R_0038_0020__COUSIN,R_0038_0001__PETER)
      & z_0038_5001(Z_0038_5001)
      & has_conj2(Z_0038_5001,R_0038_0014__HAD_R_0038_0015__HEARD_R_0038_0016__ABOUT)
      & r_0038_0014__had_r_0038_0015__heard_r_0038_0016__about(R_0038_0014__HAD_R_0038_0015__HEARD_R_0038_0016__ABOUT)
      & has_r_0038_0018__from__nim(R_0038_0014__HAD_R_0038_0015__HEARD_R_0038_0016__ABOUT,R_0038_0020__COUSIN)
      & has_arg1(R_0038_0014__HAD_R_0038_0015__HEARD_R_0038_0016__ABOUT,R_0038_0017__CATS)
      & has_arg0(R_0038_0014__HAD_R_0038_0015__HEARD_R_0038_0016__ABOUT,R_0038_0001__PETER)
      & has_conj1(Z_0038_5001,R_0038_0002__THOUGHT)
      & r_0038_0002__thought(R_0038_0002__THOUGHT)
      & has_arg1(R_0038_0002__THOUGHT,R_0038_0006__GO_R_0038_0007__AWAY)
      & r_0038_0006__go_r_0038_0007__away(R_0038_0006__GO_R_0038_0007__AWAY)
      & has_arg0(R_0038_0006__GO_R_0038_0007__AWAY,Z_0038_5004)
      & has_r_0038_0008__without__nim(R_0038_0006__GO_R_0038_0007__AWAY,R_0038_0009__SPEAKING_R_0038_0010__TO)
      & r_0038_0009__speaking_r_0038_0010__to(R_0038_0009__SPEAKING_R_0038_0010__TO)
      & has_arg0(R_0038_0009__SPEAKING_R_0038_0010__TO,Z_0038_5004)
      & has_arg1(R_0038_0009__SPEAKING_R_0038_0010__TO,R_0038_0011__HER)
      & has_prd(R_0038_0002__THOUGHT,R_0038_0004__BEST)
      & has_arg0(R_0038_0002__THOUGHT,R_0038_0001__PETER) ) ).