24_a_potter_1902
but Peter wriggled out just in time, leaving his jacket behind him. And rushed into the tool - shed, and jumped into a can.
arc(r_0024_0003__wriggled, r_0024_0002__Peter, arg0).
arc(r_0024_0003__wriggled, r_0024_0004__out, clr11).
arc(r_0024_0003__wriggled, r_0024_0007__time, r_0024_0005__just_r_0024_0006__in_nim19).
arc(r_0024_0009__leaving, r_0024_0002__Peter, arg0).
arc(r_0024_0009__leaving, r_0024_0002__Peter, r_0024_0012__behind_clr37).
arc(r_0024_0009__leaving, r_0024_0011__jacket, arg1).
arc(r_0024_0011__jacket, r_0024_0002__Peter, gen).
arc(r_0024_0015__And, r_0024_0023__and, conj2).
arc(r_0024_0015__And, z_000_24_a_potter_1902_24, conj1).
arc(r_0024_0016__rushed, r_0024_0002__Peter, arg0).
arc(r_0024_0016__rushed, r_0024_0018__the_r_0024_0019__tool_r_0024_0021__shed, r_0024_0017__into_clr53).
arc(r_0024_0023__and, r_0024_0016__rushed, conj1).
arc(r_0024_0023__and, r_0024_0024__jumped, conj2).
arc(r_0024_0024__jumped, r_0024_0002__Peter, arg0).
arc(r_0024_0024__jumped, r_0024_0026__a_r_0024_0027__can, r_0024_0025__into_clr73).
arc(z_000_24_a_potter_1902_24, r_0024_0003__wriggled, scope).
arc(z_000_24_a_potter_1902_24, r_0024_0009__leaving, restriction).
fof(formula,axiom,
? [R_24_15_AND,Z_24_A_POTTER_1902_24,R_24_9_LEAVING,R_24_11_JACKET,R_24_3_WRIGGLED,R_24_4_OUT,R_24_7_TIME,R_24_23_AND,R_24_16_RUSHED,R_24_18_THE_TOOL_SHED,R_24_24_JUMPED,R_24_2_PETER,R_24_26_A_CAN] :
( out(R_24_4_OUT)
& time(R_24_7_TIME)
& the_tool_shed(R_24_18_THE_TOOL_SHED)
& peter(R_24_2_PETER)
& a_can(R_24_26_A_CAN)
& and(R_24_15_AND)
& conj1(R_24_15_AND,Z_24_A_POTTER_1902_24)
& z_24_a_potter_1902_24(Z_24_A_POTTER_1902_24)
& conj1(Z_24_A_POTTER_1902_24,R_24_9_LEAVING)
& leaving(R_24_9_LEAVING,R_24_2_PETER,R_24_11_JACKET)
& jacket(R_24_11_JACKET)
& gen(R_24_11_JACKET,R_24_2_PETER)
& behind_clr37(R_24_9_LEAVING,R_24_2_PETER)
& conj2(Z_24_A_POTTER_1902_24,R_24_3_WRIGGLED)
& wriggled(R_24_3_WRIGGLED,R_24_2_PETER)
& clr11(R_24_3_WRIGGLED,R_24_4_OUT)
& just_in_nim19(R_24_3_WRIGGLED,R_24_7_TIME)
& conj2(R_24_15_AND,R_24_23_AND)
& and(R_24_23_AND)
& conj1(R_24_23_AND,R_24_16_RUSHED)
& rushed(R_24_16_RUSHED,R_24_2_PETER)
& into_clr53(R_24_16_RUSHED,R_24_18_THE_TOOL_SHED)
& conj2(R_24_23_AND,R_24_24_JUMPED)
& jumped(R_24_24_JUMPED,R_24_2_PETER)
& into_clr73(R_24_24_JUMPED,R_24_26_A_CAN) ) ).
( (IP-MAT (CONJ;_cl_ but;{but})
(NP-SBJ;{PETER} (NPR Peter;{Peter}))
(ILYR (ILYR (VBD;_Ip_ wriggled;{wriggle[out]})
(ADVP-CLR (RP out;{out}))
(PP-NIM (ADV just;{just})
(P-ROLE in;{in})
(NP (N time;{time})))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Tn.pr_ leaving;{leave[behind]})
(NP-OB1;{JACKET} (NP-GEN;{PETER} (PRO;_genm_ his;{his}))
(N jacket;{jacket}))
(PP-CLR (P-ROLE behind;{behind})
(NP;{PETER} (PRO him;{he}))))))
(PUNC .)
(CONJP (CONJ And;{and})
(ILYR (ILYR (ILYR (VBD;_Ipr_ rushed;{rush[into]})
(PP-CLR (P-ROLE into;{into})
(NP;{TOOL_SHED} (D the;{the})
(N tool;{tool})
(PUNC <hyphen>)
(N shed;{shed}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBD;_Ipr_ jumped;{jump[into]})
(PP-CLR (P-ROLE into;{into})
(NP;{CONTAINER} (D a;{a})
(N can;{can})))))))))
(PUNC .))
(ID 24_a_potter_1902))