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.
( (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))
arc(r_0024_0003__was_r_0024_0004__after,r_0024_0001__Mr_dot__r_0024_0002__McGregor,arg0).
arc(r_0024_0003__was_r_0024_0004__after,r_0024_0005__him,arg1).
arc(r_0024_0003__was_r_0024_0004__after,r_0024_0008__time,r_0024_0006__in__nim).
arc(r_0024_0007__no__quant,r_0024_0003__was_r_0024_0004__after,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_0013__put_r_0024_0016__upon,clr).
arc(r_0024_0013__put_r_0024_0016__upon,r_0024_0001__Mr_dot__r_0024_0002__McGregor,arg0).
arc(r_0024_0013__put_r_0024_0016__upon,r_0024_0015__foot,arg1).
arc(r_0024_0013__put_r_0024_0016__upon,r_0024_0017__Peter,arg2).
arc(r_0024_0015__foot,r_0024_0001__Mr_dot__r_0024_0002__McGregor,gen).
arc(r_0024_0020__jumped_r_0024_0021__out_of,r_0024_0017__Peter,arg0).
arc(r_0024_0020__jumped_r_0024_0021__out_of,r_0024_0022__a_r_0024_0023__window,arg1).
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_0024_5008,r_0024_0020__jumped_r_0024_0021__out_of,scope).
arc(z_0024_5008,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_0013__PUT_R_0024_0016__UPON,R_0024_0011__TRIED,R_0024_0010__AND,R_0024_0022__A_R_0024_0023__WINDOW,R_0024_0020__JUMPED_R_0024_0021__OUT_OF,R_0024_0026__THREE_R_0024_0027__PLANTS,R_0024_0025__UPSETTING,Z_0024_5008] :
( 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_0024_5008(Z_0024_5008)
& has_conj1(Z_0024_5008,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_0024_5008,R_0024_0020__JUMPED_R_0024_0021__OUT_OF)
& r_0024_0020__jumped_r_0024_0021__out_of(R_0024_0020__JUMPED_R_0024_0021__OUT_OF)
& has_arg1(R_0024_0020__JUMPED_R_0024_0021__OUT_OF,R_0024_0022__A_R_0024_0023__WINDOW)
& has_arg0(R_0024_0020__JUMPED_R_0024_0021__OUT_OF,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_clr(R_0024_0011__TRIED,R_0024_0013__PUT_R_0024_0016__UPON)
& r_0024_0013__put_r_0024_0016__upon(R_0024_0013__PUT_R_0024_0016__UPON)
& has_arg2(R_0024_0013__PUT_R_0024_0016__UPON,R_0024_0017__PETER)
& has_arg1(R_0024_0013__PUT_R_0024_0016__UPON,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_0013__PUT_R_0024_0016__UPON,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_0004__AFTER] :
( r_0024_0005__him(R_0024_0005__HIM)
& r_0024_0003__was_r_0024_0004__after(R_0024_0003__WAS_R_0024_0004__AFTER)
& has_r_0024_0006__in__nim(R_0024_0003__WAS_R_0024_0004__AFTER,R_0024_0008__TIME)
& has_arg1(R_0024_0003__WAS_R_0024_0004__AFTER,R_0024_0005__HIM)
& has_arg0(R_0024_0003__WAS_R_0024_0004__AFTER,R_0024_0001__MR_DOT__R_0024_0002__MCGREGOR) ) ) ) ).