25_a_potter_1902
The window was too small for Mr. McGregor, and he was tired of running after Peter.
arc(r_0025_0003__was, r_0025_0001__The_r_0025_0002__window, arg0).
arc(r_0025_0003__was, r_0025_0005__small, prd).
arc(r_0025_0003__was, r_0025_0007__Mr_dot__r_0025_0008__McGregor, r_0025_0006__for_nim20).
arc(r_0025_0005__small, r_0025_0004__too, qual12).
arc(r_0025_0010__and, r_0025_0003__was, conj1).
arc(r_0025_0010__and, r_0025_0012__was, conj2).
arc(r_0025_0012__was, r_0025_0007__Mr_dot__r_0025_0008__McGregor, arg0).
arc(r_0025_0012__was, r_0025_0013__tired, prd).
arc(r_0025_0013__tired, r_0025_0015__running, r_0025_0014__of).
arc(r_0025_0015__running, r_0025_0017__Peter, r_0025_0016__after_clr48).
arc(r_0025_0015__running, z_000_25_a_potter_1902_42, arg0).
fof(formula,axiom,
? [R_25_10_AND,R_25_3_WAS,R_25_1_THE_WINDOW,R_25_5_SMALL,R_25_4_TOO,R_25_12_WAS,R_25_7_MR_DOT_MCGREGOR,R_25_13_TIRED,R_25_15_RUNNING,Z_25_A_POTTER_1902_42,R_25_17_PETER] :
( the_window(R_25_1_THE_WINDOW)
& too(R_25_4_TOO)
& mr_dot_McGregor(R_25_7_MR_DOT_MCGREGOR)
& peter(R_25_17_PETER)
& and(R_25_10_AND)
& conj1(R_25_10_AND,R_25_3_WAS)
& was(R_25_3_WAS,R_25_1_THE_WINDOW,R_25_5_SMALL)
& small(R_25_5_SMALL)
& qual12(R_25_5_SMALL,R_25_4_TOO)
& for_nim20(R_25_3_WAS,R_25_7_MR_DOT_MCGREGOR)
& conj2(R_25_10_AND,R_25_12_WAS)
& was(R_25_12_WAS,R_25_7_MR_DOT_MCGREGOR,R_25_13_TIRED)
& tired(R_25_13_TIRED)
& of(R_25_13_TIRED,R_25_15_RUNNING)
& running(R_25_15_RUNNING,Z_25_A_POTTER_1902_42)
& after_clr48(R_25_15_RUNNING,R_25_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-PPL3 (VAG;_Ipr_ running;{run[after]})
(PP-CLR (P-ROLE after;{after})
(NP;{PETER} (NPR Peter;{Peter})))))))))
(PUNC .))
(ID 25_a_potter_1902))