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.

arc(r_0019_0003__came, r_0019_0001__Mr_dot__r_0019_0002__McGregor, arg0).
arc(r_0019_0003__came, r_0019_0004__up, clr11).
arc(r_0019_0003__came, r_0019_0006__a_r_0019_0007__sieve, r_0019_0005__with_nim17).
arc(r_0019_0011__intended, r_0019_0001__Mr_dot__r_0019_0002__McGregor, arg0).
arc(r_0019_0011__intended, r_0019_0012__to_r_0019_0013__pop, arg1).
arc(r_0019_0012__to_r_0019_0013__pop, r_0019_0001__Mr_dot__r_0019_0002__McGregor, arg0).
arc(r_0019_0012__to_r_0019_0013__pop, r_0019_0006__a_r_0019_0007__sieve, arg1).
arc(r_0019_0012__to_r_0019_0013__pop, r_0019_0015__the_r_0019_0016__top, r_0019_0014__upon_clr43).
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, conj1).
arc(r_0019_0020__but, r_0019_0034__And, conj2).
arc(r_0019_0022__wriggled, r_0019_0021__Peter, arg0).
arc(r_0019_0022__wriggled, r_0019_0023__out, clr67).
arc(r_0019_0022__wriggled, r_0019_0026__time, r_0019_0024__just_r_0019_0025__in_nim75).
arc(r_0019_0028__leaving, r_0019_0018__Peter, r_0019_0031__behind_clr93).
arc(r_0019_0028__leaving, r_0019_0021__Peter, arg0).
arc(r_0019_0028__leaving, 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_000_19_a_potter_1902_80, conj1).
arc(r_0019_0035__rushed, r_0019_0021__Peter, arg0).
arc(r_0019_0035__rushed, r_0019_0037__the_r_0019_0038__tool_r_0019_0040__shed, r_0019_0036__into_clr109).
arc(r_0019_0042__and, r_0019_0035__rushed, conj1).
arc(r_0019_0042__and, r_0019_0043__jumped, conj2).
arc(r_0019_0043__jumped, r_0019_0021__Peter, arg0).
arc(r_0019_0043__jumped, r_0019_0045__a_r_0019_0046__can, r_0019_0044__into_clr129).
arc(z_000_19_a_potter_1902_80, r_0019_0022__wriggled, scope).
arc(z_000_19_a_potter_1902_80, r_0019_0028__leaving, 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_0012__TO_R_0019_0013__POP,R_0019_0011__INTENDED,R_0019_0004__UP,R_0019_0003__CAME,R_0019_0021__PETER,R_0019_0037__THE_R_0019_0038__TOOL_R_0019_0040__SHED,R_0019_0035__RUSHED,R_0019_0045__A_R_0019_0046__CAN,R_0019_0043__JUMPED,R_0019_0042__AND,R_0019_0023__OUT,R_0019_0026__TIME,R_0019_0022__WRIGGLED,R_0019_0030__JACKET,R_0019_0028__LEAVING,Z_000_19_A_POTTER_1902_80,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_0004__up(R_0019_0004__UP)
      & 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_0021__Peter(R_0019_0021__PETER)
      & r_0019_0023__out(R_0019_0023__OUT)
      & 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_000_19_A_POTTER_1902_80)
      & z_000_19_a_potter_1902_80(Z_000_19_A_POTTER_1902_80)
      & has_conj1(Z_000_19_A_POTTER_1902_80,R_0019_0028__LEAVING)
      & r_0019_0028__leaving(R_0019_0028__LEAVING)
      & has_arg1(R_0019_0028__LEAVING,R_0019_0030__JACKET)
      & r_0019_0030__jacket(R_0019_0030__JACKET)
      & has_gen(R_0019_0030__JACKET,R_0019_0018__PETER)
      & has_arg0(R_0019_0028__LEAVING,R_0019_0021__PETER)
      & has_r_0019_0031__behind_clr93(R_0019_0028__LEAVING,R_0019_0018__PETER)
      & has_conj2(Z_000_19_A_POTTER_1902_80,R_0019_0022__WRIGGLED)
      & r_0019_0022__wriggled(R_0019_0022__WRIGGLED)
      & has_r_0019_0024__just_r_0019_0025__in_nim75(R_0019_0022__WRIGGLED,R_0019_0026__TIME)
      & has_clr67(R_0019_0022__WRIGGLED,R_0019_0023__OUT)
      & has_arg0(R_0019_0022__WRIGGLED,R_0019_0021__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_0043__jumped(R_0019_0043__JUMPED)
      & has_r_0019_0044__into_clr129(R_0019_0043__JUMPED,R_0019_0045__A_R_0019_0046__CAN)
      & has_arg0(R_0019_0043__JUMPED,R_0019_0021__PETER)
      & has_conj1(R_0019_0042__AND,R_0019_0035__RUSHED)
      & r_0019_0035__rushed(R_0019_0035__RUSHED)
      & has_r_0019_0036__into_clr109(R_0019_0035__RUSHED,R_0019_0037__THE_R_0019_0038__TOOL_R_0019_0040__SHED)
      & has_arg0(R_0019_0035__RUSHED,R_0019_0021__PETER)
      & has_conj1(R_0019_0020__BUT,R_0019_0003__CAME)
      & r_0019_0003__came(R_0019_0003__CAME)
      & has_r_0019_0005__with_nim17(R_0019_0003__CAME,R_0019_0006__A_R_0019_0007__SIEVE)
      & has_clr11(R_0019_0003__CAME,R_0019_0004__UP)
      & has_arg0(R_0019_0003__CAME,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_0012__TO_R_0019_0013__POP)
      & r_0019_0012__to_r_0019_0013__pop(R_0019_0012__TO_R_0019_0013__POP)
      & has_r_0019_0014__upon_clr43(R_0019_0012__TO_R_0019_0013__POP,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_0012__TO_R_0019_0013__POP,R_0019_0006__A_R_0019_0007__SIEVE)
      & has_arg0(R_0019_0012__TO_R_0019_0013__POP,R_0019_0001__MR_DOT__R_0019_0002__MCGREGOR)
      & has_arg0(R_0019_0011__INTENDED,R_0019_0001__MR_DOT__R_0019_0002__MCGREGOR) ) ).

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