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_0024_0001__MR_DOT__R_0024_0002__MCGREGOR,R_0024_0015__FOOT,R_0024_0017__PETER,R_0024_0012__TO_R_0024_0013__PUT,R_0024_0011__TRIED,R_0024_0010__AND,R_0024_0022__A_R_0024_0023__WINDOW,R_0024_0020__JUMPED,R_0024_0026__THREE_R_0024_0027__PLANTS,R_0024_0025__UPSETTING,Z_000_24_A_POTTER_1902_68] :
( r_0024_0001__Mr_dot__r_0024_0002__McGregor(R_0024_0001__MR_DOT__R_0024_0002__MCGREGOR)
& r_0024_0017__Peter(R_0024_0017__PETER)
& r_0024_0022__a_r_0024_0023__window(R_0024_0022__A_R_0024_0023__WINDOW)
& r_0024_0026__three_r_0024_0027__plants(R_0024_0026__THREE_R_0024_0027__PLANTS)
& z_000_24_a_potter_1902_68(Z_000_24_A_POTTER_1902_68)
& has_conj1(Z_000_24_A_POTTER_1902_68,R_0024_0025__UPSETTING)
& r_0024_0025__upsetting(R_0024_0025__UPSETTING)
& has_arg1(R_0024_0025__UPSETTING,R_0024_0026__THREE_R_0024_0027__PLANTS)
& has_arg0(R_0024_0025__UPSETTING,R_0024_0017__PETER)
& has_conj2(Z_000_24_A_POTTER_1902_68,R_0024_0020__JUMPED)
& r_0024_0020__jumped(R_0024_0020__JUMPED)
& has_r_0024_0021__out_of_clr61(R_0024_0020__JUMPED,R_0024_0022__A_R_0024_0023__WINDOW)
& has_arg0(R_0024_0020__JUMPED,R_0024_0017__PETER)
& r_0024_0010__And(R_0024_0010__AND)
& has_conj2(R_0024_0010__AND,R_0024_0011__TRIED)
& r_0024_0011__tried(R_0024_0011__TRIED)
& has_clr33(R_0024_0011__TRIED,R_0024_0012__TO_R_0024_0013__PUT)
& r_0024_0012__to_r_0024_0013__put(R_0024_0012__TO_R_0024_0013__PUT)
& has_r_0024_0016__upon_clr47(R_0024_0012__TO_R_0024_0013__PUT,R_0024_0017__PETER)
& has_arg1(R_0024_0012__TO_R_0024_0013__PUT,R_0024_0015__FOOT)
& r_0024_0015__foot(R_0024_0015__FOOT)
& has_gen(R_0024_0015__FOOT,R_0024_0001__MR_DOT__R_0024_0002__MCGREGOR)
& has_arg0(R_0024_0012__TO_R_0024_0013__PUT,R_0024_0001__MR_DOT__R_0024_0002__MCGREGOR)
& has_arg0(R_0024_0011__TRIED,R_0024_0001__MR_DOT__R_0024_0002__MCGREGOR)
& ! [R_0024_0008__TIME] :
( r_0024_0008__time(R_0024_0008__TIME)
=> ? [R_0024_0005__HIM,R_0024_0003__WAS] :
( r_0024_0005__him(R_0024_0005__HIM)
& r_0024_0003__was(R_0024_0003__WAS)
& has_r_0024_0006__in_nim20(R_0024_0003__WAS,R_0024_0008__TIME)
& has_r_0024_0004__after_clr14(R_0024_0003__WAS,R_0024_0005__HIM)
& has_arg0(R_0024_0003__WAS,R_0024_0001__MR_DOT__R_0024_0002__MCGREGOR) ) ) ) ).
( (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))