1_a_potter_1902
THE TALE OF PETER RABBIT BY BEATRIX POTTER
arc(r_0001_0001__THE_r_0001_0002__TALE, r_0001_0004__PETER_r_0001_0005__RABBIT, r_0001_0003__OF).
arc(r_0001_0001__THE_r_0001_0002__TALE, r_0001_0007__BEATRIX_r_0001_0008__POTTER, r_0001_0006__BY).
arc(z_000_1_a_potter_1902_1, r_0001_0001__THE_r_0001_0002__TALE, nim2).
fof(formula,axiom,
? [R_0001_0004__PETER_R_0001_0005__RABBIT,R_0001_0007__BEATRIX_R_0001_0008__POTTER,R_0001_0001__THE_R_0001_0002__TALE,Z_000_1_A_POTTER_1902_1] :
( r_0001_0004__PETER_r_0001_0005__RABBIT(R_0001_0004__PETER_R_0001_0005__RABBIT)
& r_0001_0007__BEATRIX_r_0001_0008__POTTER(R_0001_0007__BEATRIX_R_0001_0008__POTTER)
& z_000_1_a_potter_1902_1(Z_000_1_A_POTTER_1902_1)
& has_nim2(Z_000_1_A_POTTER_1902_1,R_0001_0001__THE_R_0001_0002__TALE)
& r_0001_0001__THE_r_0001_0002__TALE(R_0001_0001__THE_R_0001_0002__TALE)
& has_r_0001_0006__BY(R_0001_0001__THE_R_0001_0002__TALE,R_0001_0007__BEATRIX_R_0001_0008__POTTER)
& has_r_0001_0003__OF(R_0001_0001__THE_R_0001_0002__TALE,R_0001_0004__PETER_R_0001_0005__RABBIT) ) ).
( (FRAG (NP (D THE;{the})
(N TALE;{tale})
(PP (P-ROLE OF;{of})
(NP (NPR PETER;{Peter})
(N RABBIT;{rabbit})))
(PP (P-ROLE BY;{by})
(NP (NPR BEATRIX;{Beatrix})
(NPR POTTER;{Potter})))))
(ID 1_a_potter_1902))