46_a_potter_1902
he had heard about cats from his cousin, little Benjamin Bunny.
arc(r_0046_0002__had, r_0046_0003__heard, scope).
arc(r_0046_0003__heard, r_0046_0001__he, arg0).
arc(r_0046_0003__heard, r_0046_0005__cats, r_0046_0004__about_clr13).
arc(r_0046_0003__heard, r_0046_0008__cousin, r_0046_0006__from_nim19).
arc(r_0046_0008__cousin, r_0046_0001__he, gen).
arc(r_0046_0011__Benjamin_r_0046_0012__Bunny, r_0046_0010__little, attrib29).
arc(z_000_46_a_potter_1902_27, r_0046_0008__cousin, arg0).
arc(z_000_46_a_potter_1902_27, r_0046_0011__Benjamin_r_0046_0012__Bunny, prd).
fof(formula,axiom,
? [R_46_2_HAD_HEARD,R_46_5_CATS,Z_46_A_POTTER_1902_27,R_46_8_COUSIN,R_46_1_HE,R_46_11_BENJAMIN_BUNNY,R_46_10_LITTLE] :
( cats(R_46_5_CATS)
& he(R_46_1_HE)
& little(R_46_10_LITTLE)
& had_heard(R_46_2_HAD_HEARD,R_46_1_HE)
& about_clr13(R_46_2_HAD_HEARD,R_46_5_CATS)
& from_nim19(R_46_2_HAD_HEARD,R_46_8_COUSIN)
& cousin(R_46_8_COUSIN)
& gen(R_46_8_COUSIN,R_46_1_HE)
& z_46_a_potter_1902_27(Z_46_A_POTTER_1902_27,R_46_8_COUSIN,R_46_11_BENJAMIN_BUNNY)
& benjamin_Bunny(R_46_11_BENJAMIN_BUNNY)
& attrib29(R_46_11_BENJAMIN_BUNNY,R_46_10_LITTLE) ) ).
( (IP-MAT (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 46_a_potter_1902))