24_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_0024_0003__was, r_0024_0001__Mr_dot__r_0024_0002__McGregor, arg0).
arc(r_0024_0003__was, r_0024_0005__him, r_0024_0004__after_clr14).
arc(r_0024_0003__was, r_0024_0008__time, r_0024_0006__in_nim20).
arc(r_0024_0007__no_quant, r_0024_0003__was, scope).
arc(r_0024_0007__no_quant, r_0024_0008__time, restriction).
arc(r_0024_0010__And, r_0024_0007__no_quant, conj1).
arc(r_0024_0010__And, r_0024_0011__tried, conj2).
arc(r_0024_0011__tried, r_0024_0001__Mr_dot__r_0024_0002__McGregor, arg0).
arc(r_0024_0011__tried, r_0024_0012__to_r_0024_0013__put, clr33).
arc(r_0024_0012__to_r_0024_0013__put, r_0024_0001__Mr_dot__r_0024_0002__McGregor, arg0).
arc(r_0024_0012__to_r_0024_0013__put, r_0024_0015__foot, arg1).
arc(r_0024_0012__to_r_0024_0013__put, r_0024_0017__Peter, r_0024_0016__upon_clr47).
arc(r_0024_0015__foot, r_0024_0001__Mr_dot__r_0024_0002__McGregor, gen).
arc(r_0024_0020__jumped, r_0024_0017__Peter, arg0).
arc(r_0024_0020__jumped, r_0024_0022__a_r_0024_0023__window, r_0024_0021__out_of_clr61).
arc(r_0024_0025__upsetting, r_0024_0017__Peter, arg0).
arc(r_0024_0025__upsetting, r_0024_0026__three_r_0024_0027__plants, arg1).
arc(z_000_24_a_potter_1902_68, r_0024_0020__jumped, scope).
arc(z_000_24_a_potter_1902_68, r_0024_0025__upsetting, restriction).
fof(formula,axiom,
? [R_24_10_AND,R_24_11_TRIED,R_24_12_TO_PUT,R_24_15_FOOT,R_24_1_MR_DOT_MCGREGOR,Z_24_A_POTTER_1902_68,R_24_25_UPSETTING,R_24_26_THREE_PLANTS,R_24_20_JUMPED,R_24_17_PETER,R_24_22_A_WINDOW] :
( mr_dot_McGregor(R_24_1_MR_DOT_MCGREGOR)
& three_plants(R_24_26_THREE_PLANTS)
& peter(R_24_17_PETER)
& a_window(R_24_22_A_WINDOW)
& ! [R_24_8_TIME] :
( time(R_24_8_TIME)
=> ? [R_24_3_WAS,R_24_5_HIM] :
( him(R_24_5_HIM)
& was(R_24_3_WAS,R_24_1_MR_DOT_MCGREGOR)
& after_clr14(R_24_3_WAS,R_24_5_HIM)
& in_nim20(R_24_3_WAS,R_24_8_TIME) ) )
& conj1(CONJ1)
& and(R_24_10_AND)
& conj2(R_24_10_AND,R_24_11_TRIED)
& tried(R_24_11_TRIED,R_24_1_MR_DOT_MCGREGOR)
& clr33(R_24_11_TRIED,R_24_12_TO_PUT)
& to_put(R_24_12_TO_PUT,R_24_1_MR_DOT_MCGREGOR,R_24_15_FOOT)
& foot(R_24_15_FOOT)
& gen(R_24_15_FOOT,R_24_1_MR_DOT_MCGREGOR)
& upon_clr47(R_24_12_TO_PUT,R_24_17_PETER)
& z_24_a_potter_1902_68(Z_24_A_POTTER_1902_68)
& conj1(Z_24_A_POTTER_1902_68,R_24_25_UPSETTING)
& upsetting(R_24_25_UPSETTING,R_24_17_PETER,R_24_26_THREE_PLANTS)
& conj2(Z_24_A_POTTER_1902_68,R_24_20_JUMPED)
& jumped(R_24_20_JUMPED,R_24_17_PETER)
& out_of_clr61(R_24_20_JUMPED,R_24_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 24_a_potter_1902))