TSPC 19_a_potter

19_a_potter_1902
Mr. McGregor came up with a sieve, which he intended to pop upon the top of Peter; but Peter wriggled out just in time, leaving his jacket behind him. And rushed into the tool - shed, and jumped into a can.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{MRMCG} (N Mr<dot>)
                                      (NPR McGregor;{McGregor}))
                      (VBD;_Ip_ came;{come[up]})
                      (ADVP-CLR (RP up;{up}))
                      (PP-NIM (P-ROLE with;{with})
                              (NP (D a;{a})
                                  (N sieve;{sieve})
                                  (PUNC ,)
                                  (IP-REL (NP-123 (RPRO which;{which}))
                                          (NP-SBJ;{MRMCG} (PRO he;{he}))
                                          (VBD;_Tt_ intended;{intend})
                                          (IP-INF-OB1 (NP-OB1 *ICH*-123)
                                                      (TO to;{to})
                                                      (VB;_Tn.pr_ pop;{pop[upon]})
                                                      (PP-CLR (P-ROLE upon;{upon})
                                                              (NP (D the;{the})
                                                                  (N top;{top})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP;{PETER} (NPR Peter;{Peter}))))))))))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{PETER} (NPR Peter;{Peter}))
                             (ILYR (ILYR (VBD;_Ip_ wriggled;{wriggle[out]})
                                         (ADVP-CLR (RP out;{out}))
                                         (PP-NIM (ADVP-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 19_a_potter_1902))

arc(r_0019_0003__came_r_0019_0004__up,r_0019_0001__Mr_dot__r_0019_0002__McGregor,arg0).
arc(r_0019_0003__came_r_0019_0004__up,r_0019_0006__a_r_0019_0007__sieve,r_0019_0005__with__nim).
arc(r_0019_0011__intended,r_0019_0001__Mr_dot__r_0019_0002__McGregor,arg0).
arc(r_0019_0011__intended,r_0019_0013__pop_r_0019_0014__upon,arg1).
arc(r_0019_0013__pop_r_0019_0014__upon,r_0019_0001__Mr_dot__r_0019_0002__McGregor,arg0).
arc(r_0019_0013__pop_r_0019_0014__upon,r_0019_0006__a_r_0019_0007__sieve,arg1).
arc(r_0019_0013__pop_r_0019_0014__upon,r_0019_0015__the_r_0019_0016__top,arg2).
arc(r_0019_0015__the_r_0019_0016__top,r_0019_0018__Peter,r_0019_0017__of).
arc(r_0019_0020__but,r_0019_0003__came_r_0019_0004__up,conj1).
arc(r_0019_0020__but,r_0019_0034__And,conj2).
arc(r_0019_0022__wriggled_r_0019_0023__out,r_0019_0018__Peter,arg0).
arc(r_0019_0022__wriggled_r_0019_0023__out,r_0019_0026__time,r_0019_0024__just_r_0019_0025__in__nim).
arc(r_0019_0028__leaving_r_0019_0031__behind,r_0019_0018__Peter,arg0).
arc(r_0019_0028__leaving_r_0019_0031__behind,r_0019_0018__Peter,arg2).
arc(r_0019_0028__leaving_r_0019_0031__behind,r_0019_0030__jacket,arg1).
arc(r_0019_0030__jacket,r_0019_0018__Peter,gen).
arc(r_0019_0034__And,r_0019_0042__and,conj2).
arc(r_0019_0034__And,z_0019_5009,conj1).
arc(r_0019_0035__rushed_r_0019_0036__into,r_0019_0018__Peter,arg0).
arc(r_0019_0035__rushed_r_0019_0036__into,r_0019_0037__the_r_0019_0038__tool_r_0019_0040__shed,arg1).
arc(r_0019_0042__and,r_0019_0035__rushed_r_0019_0036__into,conj1).
arc(r_0019_0042__and,r_0019_0043__jumped_r_0019_0044__into,conj2).
arc(r_0019_0043__jumped_r_0019_0044__into,r_0019_0018__Peter,arg0).
arc(r_0019_0043__jumped_r_0019_0044__into,r_0019_0045__a_r_0019_0046__can,arg1).
arc(z_0019_5009,r_0019_0022__wriggled_r_0019_0023__out,scope).
arc(z_0019_5009,r_0019_0028__leaving_r_0019_0031__behind,restriction).

fof(formula,axiom,
    ? [R_0019_0001__MR_DOT__R_0019_0002__MCGREGOR,R_0019_0006__A_R_0019_0007__SIEVE,R_0019_0018__PETER,R_0019_0015__THE_R_0019_0016__TOP,R_0019_0013__POP_R_0019_0014__UPON,R_0019_0011__INTENDED,R_0019_0003__CAME_R_0019_0004__UP,R_0019_0037__THE_R_0019_0038__TOOL_R_0019_0040__SHED,R_0019_0035__RUSHED_R_0019_0036__INTO,R_0019_0045__A_R_0019_0046__CAN,R_0019_0043__JUMPED_R_0019_0044__INTO,R_0019_0042__AND,R_0019_0026__TIME,R_0019_0022__WRIGGLED_R_0019_0023__OUT,R_0019_0030__JACKET,R_0019_0028__LEAVING_R_0019_0031__BEHIND,Z_0019_5009,R_0019_0034__AND,R_0019_0020__BUT] :
      ( r_0019_0001__Mr_dot__r_0019_0002__McGregor(R_0019_0001__MR_DOT__R_0019_0002__MCGREGOR)
      & r_0019_0006__a_r_0019_0007__sieve(R_0019_0006__A_R_0019_0007__SIEVE)
      & r_0019_0018__Peter(R_0019_0018__PETER)
      & r_0019_0026__time(R_0019_0026__TIME)
      & r_0019_0037__the_r_0019_0038__tool_r_0019_0040__shed(R_0019_0037__THE_R_0019_0038__TOOL_R_0019_0040__SHED)
      & r_0019_0045__a_r_0019_0046__can(R_0019_0045__A_R_0019_0046__CAN)
      & r_0019_0020__but(R_0019_0020__BUT)
      & has_conj2(R_0019_0020__BUT,R_0019_0034__AND)
      & r_0019_0034__And(R_0019_0034__AND)
      & has_conj1(R_0019_0034__AND,Z_0019_5009)
      & z_0019_5009(Z_0019_5009)
      & has_conj1(Z_0019_5009,R_0019_0028__LEAVING_R_0019_0031__BEHIND)
      & r_0019_0028__leaving_r_0019_0031__behind(R_0019_0028__LEAVING_R_0019_0031__BEHIND)
      & has_arg1(R_0019_0028__LEAVING_R_0019_0031__BEHIND,R_0019_0030__JACKET)
      & r_0019_0030__jacket(R_0019_0030__JACKET)
      & has_gen(R_0019_0030__JACKET,R_0019_0018__PETER)
      & has_arg2(R_0019_0028__LEAVING_R_0019_0031__BEHIND,R_0019_0018__PETER)
      & has_arg0(R_0019_0028__LEAVING_R_0019_0031__BEHIND,R_0019_0018__PETER)
      & has_conj2(Z_0019_5009,R_0019_0022__WRIGGLED_R_0019_0023__OUT)
      & r_0019_0022__wriggled_r_0019_0023__out(R_0019_0022__WRIGGLED_R_0019_0023__OUT)
      & has_r_0019_0024__just_r_0019_0025__in__nim(R_0019_0022__WRIGGLED_R_0019_0023__OUT,R_0019_0026__TIME)
      & has_arg0(R_0019_0022__WRIGGLED_R_0019_0023__OUT,R_0019_0018__PETER)
      & has_conj2(R_0019_0034__AND,R_0019_0042__AND)
      & r_0019_0042__and(R_0019_0042__AND)
      & has_conj2(R_0019_0042__AND,R_0019_0043__JUMPED_R_0019_0044__INTO)
      & r_0019_0043__jumped_r_0019_0044__into(R_0019_0043__JUMPED_R_0019_0044__INTO)
      & has_arg1(R_0019_0043__JUMPED_R_0019_0044__INTO,R_0019_0045__A_R_0019_0046__CAN)
      & has_arg0(R_0019_0043__JUMPED_R_0019_0044__INTO,R_0019_0018__PETER)
      & has_conj1(R_0019_0042__AND,R_0019_0035__RUSHED_R_0019_0036__INTO)
      & r_0019_0035__rushed_r_0019_0036__into(R_0019_0035__RUSHED_R_0019_0036__INTO)
      & has_arg1(R_0019_0035__RUSHED_R_0019_0036__INTO,R_0019_0037__THE_R_0019_0038__TOOL_R_0019_0040__SHED)
      & has_arg0(R_0019_0035__RUSHED_R_0019_0036__INTO,R_0019_0018__PETER)
      & has_conj1(R_0019_0020__BUT,R_0019_0003__CAME_R_0019_0004__UP)
      & r_0019_0003__came_r_0019_0004__up(R_0019_0003__CAME_R_0019_0004__UP)
      & has_r_0019_0005__with__nim(R_0019_0003__CAME_R_0019_0004__UP,R_0019_0006__A_R_0019_0007__SIEVE)
      & has_arg0(R_0019_0003__CAME_R_0019_0004__UP,R_0019_0001__MR_DOT__R_0019_0002__MCGREGOR)
      & r_0019_0011__intended(R_0019_0011__INTENDED)
      & has_arg1(R_0019_0011__INTENDED,R_0019_0013__POP_R_0019_0014__UPON)
      & r_0019_0013__pop_r_0019_0014__upon(R_0019_0013__POP_R_0019_0014__UPON)
      & has_arg2(R_0019_0013__POP_R_0019_0014__UPON,R_0019_0015__THE_R_0019_0016__TOP)
      & r_0019_0015__the_r_0019_0016__top(R_0019_0015__THE_R_0019_0016__TOP)
      & has_r_0019_0017__of(R_0019_0015__THE_R_0019_0016__TOP,R_0019_0018__PETER)
      & has_arg1(R_0019_0013__POP_R_0019_0014__UPON,R_0019_0006__A_R_0019_0007__SIEVE)
      & has_arg0(R_0019_0013__POP_R_0019_0014__UPON,R_0019_0001__MR_DOT__R_0019_0002__MCGREGOR)
      & has_arg0(R_0019_0011__INTENDED,R_0019_0001__MR_DOT__R_0019_0002__MCGREGOR) ) ).