12_a_potter_1902
But round the end of a cucumber frame, whom should he meet but Mr. McGregor!
arc(r_0012_0001__But_r_0012_0011__should, r_0012_0003__the_r_0012_0004__end, r_0012_0002__round_nim8).
arc(r_0012_0001__But_r_0012_0011__should, r_0012_0013__meet, scope).
arc(r_0012_0001__But_r_0012_0011__should, r_0012_0015__Mr_dot__r_0012_0016__McGregor, r_0012_0014__but_nim41).
arc(r_0012_0003__the_r_0012_0004__end, r_0012_0006__a_r_0012_0007__cucumber_r_0012_0008__frame, r_0012_0005__of).
arc(r_0012_0013__meet, r_0012_0010__whom, arg1).
arc(r_0012_0013__meet, r_0012_0012__he, arg0).
fof(formula,axiom,
? [R_12_1_BUT_SHOULD_MEET,R_12_12_HE,R_12_10_WHOM,R_12_3_THE_END,R_12_6_A_CUCUMBER_FRAME,R_12_15_MR_DOT_MCGREGOR] :
( he(R_12_12_HE)
& whom(R_12_10_WHOM)
& a_cucumber_frame(R_12_6_A_CUCUMBER_FRAME)
& mr_dot_McGregor(R_12_15_MR_DOT_MCGREGOR)
& but_should_meet(R_12_1_BUT_SHOULD_MEET,R_12_12_HE,R_12_10_WHOM)
& round_nim8(R_12_1_BUT_SHOULD_MEET,R_12_3_THE_END)
& the_end(R_12_3_THE_END)
& of(R_12_3_THE_END,R_12_6_A_CUCUMBER_FRAME)
& but_nim41(R_12_1_BUT_SHOULD_MEET,R_12_15_MR_DOT_MCGREGOR) ) ).
( (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
(PP-TPC-NIM (P-ROLE round;{round})
(NP (D the;{the})
(N end;{end})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N cucumber;{cucumber})
(N frame;{frame})))))
(PUNC ,)
(NP-168 (WPRO whom;{who}))
(MD;_cat_Vi_ should;{shall})
(NP-SBJ;{PETER} (PRO he;{he}))
(IP-INF-CAT (NP-OB1 *ICH*-168)
(VB;_Tn_ meet;{meet}))
(PP-NIM (P-ROLE but;{but})
(NP;{MRMCG} (N Mr<dot>)
(NPR McGregor;{McGregor}))))
(PUNC !))
(ID 12_a_potter_1902))