TSPC 25_a_potter

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_0025_0001__THE_R_0025_0002__WINDOW,R_0025_0004__TOO,R_0025_0005__SMALL,R_0025_0007__MR_DOT__R_0025_0008__MCGREGOR,R_0025_0003__WAS,R_0025_0017__PETER,Z_000_25_A_POTTER_1902_42,R_0025_0015__RUNNING,R_0025_0013__TIRED,R_0025_0012__WAS,R_0025_0010__AND] :
      ( r_0025_0001__The_r_0025_0002__window(R_0025_0001__THE_R_0025_0002__WINDOW)
      & r_0025_0004__too(R_0025_0004__TOO)
      & r_0025_0007__Mr_dot__r_0025_0008__McGregor(R_0025_0007__MR_DOT__R_0025_0008__MCGREGOR)
      & r_0025_0017__Peter(R_0025_0017__PETER)
      & z_000_25_a_potter_1902_42(Z_000_25_A_POTTER_1902_42)
      & r_0025_0010__and(R_0025_0010__AND)
      & has_conj2(R_0025_0010__AND,R_0025_0012__WAS)
      & r_0025_0012__was(R_0025_0012__WAS)
      & has_prd(R_0025_0012__WAS,R_0025_0013__TIRED)
      & r_0025_0013__tired(R_0025_0013__TIRED)
      & has_r_0025_0014__of(R_0025_0013__TIRED,R_0025_0015__RUNNING)
      & r_0025_0015__running(R_0025_0015__RUNNING)
      & has_arg0(R_0025_0015__RUNNING,Z_000_25_A_POTTER_1902_42)
      & has_r_0025_0016__after_clr48(R_0025_0015__RUNNING,R_0025_0017__PETER)
      & has_arg0(R_0025_0012__WAS,R_0025_0007__MR_DOT__R_0025_0008__MCGREGOR)
      & has_conj1(R_0025_0010__AND,R_0025_0003__WAS)
      & r_0025_0003__was(R_0025_0003__WAS)
      & has_r_0025_0006__for_nim20(R_0025_0003__WAS,R_0025_0007__MR_DOT__R_0025_0008__MCGREGOR)
      & has_prd(R_0025_0003__WAS,R_0025_0005__SMALL)
      & r_0025_0005__small(R_0025_0005__SMALL)
      & has_qual12(R_0025_0005__SMALL,R_0025_0004__TOO)
      & has_arg0(R_0025_0003__WAS,R_0025_0001__THE_R_0025_0002__WINDOW) ) ).

( (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))