29_a_potter_1902
Mr. McGregor was after him in no time. And tried to put his foot upon Peter, who jumped out of a window, upsetting three plants.
arc(r_0029_0003__was, r_0029_0001__Mr_dot__r_0029_0002__McGregor, arg0).
arc(r_0029_0003__was, r_0029_0005__him, r_0029_0004__after_clr14).
arc(r_0029_0003__was, r_0029_0008__time, r_0029_0006__in_nim20).
arc(r_0029_0007__no_quant, r_0029_0003__was, scope).
arc(r_0029_0007__no_quant, r_0029_0008__time, restriction).
arc(r_0029_0010__And, r_0029_0007__no_quant, conj1).
arc(r_0029_0010__And, r_0029_0011__tried, conj2).
arc(r_0029_0011__tried, r_0029_0001__Mr_dot__r_0029_0002__McGregor, arg0).
arc(r_0029_0011__tried, r_0029_0012__to_r_0029_0013__put, clr33).
arc(r_0029_0012__to_r_0029_0013__put, r_0029_0001__Mr_dot__r_0029_0002__McGregor, arg0).
arc(r_0029_0012__to_r_0029_0013__put, r_0029_0015__foot, arg1).
arc(r_0029_0012__to_r_0029_0013__put, r_0029_0017__Peter, r_0029_0016__upon_clr47).
arc(r_0029_0015__foot, r_0029_0001__Mr_dot__r_0029_0002__McGregor, gen).
arc(r_0029_0020__jumped, r_0029_0017__Peter, arg0).
arc(r_0029_0020__jumped, r_0029_0022__a_r_0029_0023__window, r_0029_0021__out_of_clr61).
arc(r_0029_0025__upsetting, r_0029_0017__Peter, arg0).
arc(r_0029_0025__upsetting, r_0029_0026__three_r_0029_0027__plants, arg1).
arc(z_000_29_a_potter_1902_68, r_0029_0020__jumped, scope).
arc(z_000_29_a_potter_1902_68, r_0029_0025__upsetting, restriction).
fof(formula,axiom,
? [R_29_10_AND,R_29_11_TRIED,R_29_12_TO_PUT,R_29_15_FOOT,R_29_1_MR_DOT_MCGREGOR,Z_29_A_POTTER_1902_68,R_29_25_UPSETTING,R_29_26_THREE_PLANTS,R_29_20_JUMPED,R_29_17_PETER,R_29_22_A_WINDOW] :
( mr_dot_McGregor(R_29_1_MR_DOT_MCGREGOR)
& three_plants(R_29_26_THREE_PLANTS)
& peter(R_29_17_PETER)
& a_window(R_29_22_A_WINDOW)
& ! [R_29_8_TIME] :
( time(R_29_8_TIME)
=> ? [R_29_3_WAS,R_29_5_HIM] :
( him(R_29_5_HIM)
& was(R_29_3_WAS,R_29_1_MR_DOT_MCGREGOR)
& after_clr14(R_29_3_WAS,R_29_5_HIM)
& in_nim20(R_29_3_WAS,R_29_8_TIME) ) )
& conj1(CONJ1)
& and(R_29_10_AND)
& conj2(R_29_10_AND,R_29_11_TRIED)
& tried(R_29_11_TRIED,R_29_1_MR_DOT_MCGREGOR)
& clr33(R_29_11_TRIED,R_29_12_TO_PUT)
& to_put(R_29_12_TO_PUT,R_29_1_MR_DOT_MCGREGOR,R_29_15_FOOT)
& foot(R_29_15_FOOT)
& gen(R_29_15_FOOT,R_29_1_MR_DOT_MCGREGOR)
& upon_clr47(R_29_12_TO_PUT,R_29_17_PETER)
& z_29_a_potter_1902_68(Z_29_A_POTTER_1902_68)
& conj1(Z_29_A_POTTER_1902_68,R_29_25_UPSETTING)
& upsetting(R_29_25_UPSETTING,R_29_17_PETER,R_29_26_THREE_PLANTS)
& conj2(Z_29_A_POTTER_1902_68,R_29_20_JUMPED)
& jumped(R_29_20_JUMPED,R_29_17_PETER)
& out_of_clr61(R_29_20_JUMPED,R_29_22_A_WINDOW) ) ).
( (IP-MAT (NP-SBJ;{MRMCG} (N Mr<dot>)
(NPR McGregor;{McGregor}))
(ILYR (ILYR (BED;_Ipr_ was;{be[after]})
(PP-CLR (P-ROLE after;{after})
(NP;{PETER} (PRO him;{he})))
(PP-NIM (P-ROLE in;{in})
(NP (Q no;{no})
(N time;{time}))))
(PUNC .)
(CONJP (CONJ And;{and})
(ILYR (VBD;_It_ tried;{try})
(IP-INF-CLR (TO to;{to})
(VB;_Tn.pr_ put;{put[upon]})
(NP-OB1 (NP-GEN;{MRMCG} (PRO;_genm_ his;{his}))
(N foot;{foot}))
(PP-CLR (P-ROLE upon;{upon})
(NP;{PETER} (NPR Peter;{Peter})
(PUNC ,)
(IP-REL (NP-SBJ (RPRO who;{who}))
(VBD;_Ipr_ jumped;{jump[out_of]})
(PP-CLR (P-ROLE out_of;{out_of})
(NP;{WINDOW} (D a;{a})
(N window;{window})))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Tn_ upsetting;{upset})
(NP-OB1 (NUM three;{three})
(NS plants;{plant})))))))))))
(PUNC .))
(ID 29_a_potter_1902))