TSPC 25_a_potter

25_a_potter_1902
The window was too small for Mr. McGregor, and he was tired of running after 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))

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__nim).
arc(r_0025_0005__small,r_0025_0004__too,qual).
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_0016__after,r_0025_0014__of).
arc(r_0025_0015__running_r_0025_0016__after,r_0025_0017__Peter,arg1).
arc(r_0025_0015__running_r_0025_0016__after,z_0025_5009,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_0025_5009,R_0025_0015__RUNNING_R_0025_0016__AFTER,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_0025_5009(Z_0025_5009)
      & 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_0016__AFTER)
      & r_0025_0015__running_r_0025_0016__after(R_0025_0015__RUNNING_R_0025_0016__AFTER)
      & has_arg0(R_0025_0015__RUNNING_R_0025_0016__AFTER,Z_0025_5009)
      & has_arg1(R_0025_0015__RUNNING_R_0025_0016__AFTER,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__nim(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_qual(R_0025_0005__SMALL,R_0025_0004__TOO)
      & has_arg0(R_0025_0003__WAS,R_0025_0001__THE_R_0025_0002__WINDOW) ) ).