30_a_potter_1902
The window was too small for Mr. McGregor, and he was tired of running after Peter.
arc(r_0030_0003__was, r_0030_0001__The_r_0030_0002__window, arg0).
arc(r_0030_0003__was, r_0030_0005__small, prd).
arc(r_0030_0003__was, r_0030_0007__Mr_dot__r_0030_0008__McGregor, r_0030_0006__for_nim20).
arc(r_0030_0005__small, r_0030_0004__too, qual12).
arc(r_0030_0010__and, r_0030_0003__was, conj1).
arc(r_0030_0010__and, r_0030_0012__was, conj2).
arc(r_0030_0012__was, r_0030_0007__Mr_dot__r_0030_0008__McGregor, arg0).
arc(r_0030_0012__was, r_0030_0013__tired, prd).
arc(r_0030_0013__tired, r_0030_0015__running, r_0030_0014__of).
arc(r_0030_0015__running, r_0030_0017__Peter, r_0030_0016__after_clr48).
arc(r_0030_0015__running, z_000_30_a_potter_1902_42, arg0).
fof(formula,axiom,
? [R_30_10_AND,R_30_3_WAS,R_30_1_THE_WINDOW,R_30_5_SMALL,R_30_4_TOO,R_30_12_WAS,R_30_7_MR_DOT_MCGREGOR,R_30_13_TIRED,R_30_15_RUNNING,Z_30_A_POTTER_1902_42,R_30_17_PETER] :
( the_window(R_30_1_THE_WINDOW)
& too(R_30_4_TOO)
& mr_dot_McGregor(R_30_7_MR_DOT_MCGREGOR)
& peter(R_30_17_PETER)
& and(R_30_10_AND)
& conj1(R_30_10_AND,R_30_3_WAS)
& was(R_30_3_WAS,R_30_1_THE_WINDOW,R_30_5_SMALL)
& small(R_30_5_SMALL)
& qual12(R_30_5_SMALL,R_30_4_TOO)
& for_nim20(R_30_3_WAS,R_30_7_MR_DOT_MCGREGOR)
& conj2(R_30_10_AND,R_30_12_WAS)
& was(R_30_12_WAS,R_30_7_MR_DOT_MCGREGOR,R_30_13_TIRED)
& tired(R_30_13_TIRED)
& of(R_30_13_TIRED,R_30_15_RUNNING)
& running(R_30_15_RUNNING,Z_30_A_POTTER_1902_42)
& after_clr48(R_30_15_RUNNING,R_30_17_PETER) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{WINDOW} (D The;{the})
(N window;{window}))
(BED;_La_ was;{be})
(ADJP-PRD (ADVP (ADV too;{too}))
(ADJ small;{small}))
(PP-NIM (P-ROLE for;{for})
(NP;{MRMCG} (N Mr<dot>)
(NPR McGregor;{McGregor}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{MRMCG} (PRO he;{he}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ tired;{tired})
(PP (P-ROLE of;{of})
(IP-PPL (VAG;_Ipr_ running;{run[after]})
(PP-CLR (P-ROLE after;{after})
(NP;{PETER} (NPR Peter;{Peter})))))))))
(PUNC .))
(ID 30_a_potter_1902))