TSPC 13_a_potter

13_a_potter_1902
Mr. McGregor was on his hands and knees planting out young cabbages, but he jumped up and ran after Peter, waving a rake and calling out, ‘Stop thief!’

( (IP-MAT (ILYR (ILYR (NP-SBJ;{MRMCG} (N Mr<dot>)
                                      (NPR McGregor;{McGregor}))
                      (BED;_Ipr_ was;{be[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (NP-GEN;{MRMCG} (PRO;_genm_ his;{his}))
                                  (NLYR (NLYR (NS hands;{hand}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NS knees;{knee}))))))
                      (PP-SCON (IP-PPL2 (VAG;_Tn.p_ planting;{plant[out]})
                                        (ADVP-CLR (RP out;{out}))
                                        (NP-OB1 (ADJP (ADJ young;{young}))
                                                (NS cabbages;{cabbage})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{MRMCG} (PRO he;{he}))
                             (ILYR (ILYR (VBD;_Ip_ jumped;{jump[up]})
                                         (ADVP-CLR (RP up;{up})))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBD;_Ipr_ ran;{run[after]})
                                                (PP-CLR (P-ROLE after;{after})
                                                        (NP;{PETER} (NPR Peter;{Peter})))
                                                (PUNC ,)
                                                (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Tn_ waving;{wave})
                                                                              (NP-OB1 (D a;{a})
                                                                                      (N rake;{rake})))
                                                                        (CONJP (CONJ and;{and})
                                                                               (ILYR (VAG;_Tr.p_ calling;{call[out]})
                                                                                     (ADVP-CLR (RP out;{out}))
                                                                                     (PUNC ,)
                                                                                     (PULQ <lquo>)
                                                                                     (utterance-OB1 (IP-IMP (VB;_I_ Stop;{stop})
                                                                                                            (NP-VOC (N thief;{thief}))
                                                                                                            (PUNC !)))
                                                                                     (PURQ <rquo>)))))))))))))
  (ID 13_a_potter_1902))

arc(r_0013_0003__was_r_0013_0004__on,r_0013_0001__Mr_dot__r_0013_0002__McGregor,arg0).
arc(r_0013_0003__was_r_0013_0004__on,r_0013_0007__and,arg1).
arc(r_0013_0007__and,r_0013_0001__Mr_dot__r_0013_0002__McGregor,gen).
arc(r_0013_0007__and,r_0013_0006__hands,conj1).
arc(r_0013_0007__and,r_0013_0008__knees,conj2).
arc(r_0013_0009__planting_r_0013_0010__out,r_0013_0001__Mr_dot__r_0013_0002__McGregor,arg0).
arc(r_0013_0009__planting_r_0013_0010__out,r_0013_0012__cabbages,arg1).
arc(r_0013_0012__cabbages,r_0013_0011__young,attrib).
arc(r_0013_0014__but,r_0013_0018__and,conj2).
arc(r_0013_0014__but,z_0013_5005,conj1).
arc(r_0013_0016__jumped_r_0013_0017__up,r_0013_0001__Mr_dot__r_0013_0002__McGregor,arg0).
arc(r_0013_0018__and,r_0013_0016__jumped_r_0013_0017__up,conj1).
arc(r_0013_0018__and,z_0013_5013,conj2).
arc(r_0013_0019__ran_r_0013_0020__after,r_0013_0001__Mr_dot__r_0013_0002__McGregor,arg0).
arc(r_0013_0019__ran_r_0013_0020__after,r_0013_0021__Peter,arg1).
arc(r_0013_0023__waving,r_0013_0001__Mr_dot__r_0013_0002__McGregor,arg0).
arc(r_0013_0023__waving,r_0013_0024__a_r_0013_0025__rake,arg1).
arc(r_0013_0026__and,r_0013_0023__waving,conj1).
arc(r_0013_0026__and,r_0013_0027__calling_r_0013_0028__out,conj2).
arc(r_0013_0027__calling_r_0013_0028__out,r_0013_0001__Mr_dot__r_0013_0002__McGregor,arg0).
arc(r_0013_0027__calling_r_0013_0028__out,z_0013_5018__utterance,arg1).
arc(r_0013_0031__Stop,r_0013_0032__thief,voc).
arc(r_0013_0031__Stop,z_0013_5020,arg0).
arc(z_0013_5005,r_0013_0003__was_r_0013_0004__on,scope).
arc(z_0013_5005,r_0013_0009__planting_r_0013_0010__out,restriction).
arc(z_0013_5013,r_0013_0019__ran_r_0013_0020__after,scope).
arc(z_0013_5013,r_0013_0026__and,restriction).
arc(z_0013_5018__utterance,r_0013_0031__Stop,part1).

fof(formula,axiom,
    ? [R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR,R_0013_0016__JUMPED_R_0013_0017__UP,R_0013_0021__PETER,R_0013_0019__RAN_R_0013_0020__AFTER,R_0013_0024__A_R_0013_0025__RAKE,R_0013_0023__WAVING,R_0013_0032__THIEF,Z_0013_5020,R_0013_0031__STOP,Z_0013_5018__UTTERANCE,R_0013_0027__CALLING_R_0013_0028__OUT,R_0013_0026__AND,Z_0013_5013,R_0013_0018__AND,R_0013_0006__HANDS,R_0013_0008__KNEES,R_0013_0007__AND,R_0013_0003__WAS_R_0013_0004__ON,R_0013_0011__YOUNG,R_0013_0012__CABBAGES,R_0013_0009__PLANTING_R_0013_0010__OUT,Z_0013_5005,R_0013_0014__BUT] :
      ( r_0013_0001__Mr_dot__r_0013_0002__McGregor(R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & r_0013_0006__hands(R_0013_0006__HANDS)
      & r_0013_0008__knees(R_0013_0008__KNEES)
      & r_0013_0011__young(R_0013_0011__YOUNG)
      & r_0013_0021__Peter(R_0013_0021__PETER)
      & r_0013_0024__a_r_0013_0025__rake(R_0013_0024__A_R_0013_0025__RAKE)
      & r_0013_0032__thief(R_0013_0032__THIEF)
      & z_0013_5020(Z_0013_5020)
      & r_0013_0014__but(R_0013_0014__BUT)
      & has_conj1(R_0013_0014__BUT,Z_0013_5005)
      & z_0013_5005(Z_0013_5005)
      & has_conj1(Z_0013_5005,R_0013_0009__PLANTING_R_0013_0010__OUT)
      & r_0013_0009__planting_r_0013_0010__out(R_0013_0009__PLANTING_R_0013_0010__OUT)
      & has_arg1(R_0013_0009__PLANTING_R_0013_0010__OUT,R_0013_0012__CABBAGES)
      & r_0013_0012__cabbages(R_0013_0012__CABBAGES)
      & has_attrib(R_0013_0012__CABBAGES,R_0013_0011__YOUNG)
      & has_arg0(R_0013_0009__PLANTING_R_0013_0010__OUT,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_conj2(Z_0013_5005,R_0013_0003__WAS_R_0013_0004__ON)
      & r_0013_0003__was_r_0013_0004__on(R_0013_0003__WAS_R_0013_0004__ON)
      & has_arg1(R_0013_0003__WAS_R_0013_0004__ON,R_0013_0007__AND)
      & r_0013_0007__and(R_0013_0007__AND)
      & has_conj2(R_0013_0007__AND,R_0013_0008__KNEES)
      & has_conj1(R_0013_0007__AND,R_0013_0006__HANDS)
      & has_gen(R_0013_0007__AND,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_arg0(R_0013_0003__WAS_R_0013_0004__ON,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_conj2(R_0013_0014__BUT,R_0013_0018__AND)
      & r_0013_0018__and(R_0013_0018__AND)
      & has_conj2(R_0013_0018__AND,Z_0013_5013)
      & z_0013_5013(Z_0013_5013)
      & has_conj1(Z_0013_5013,R_0013_0026__AND)
      & r_0013_0026__and(R_0013_0026__AND)
      & has_conj2(R_0013_0026__AND,R_0013_0027__CALLING_R_0013_0028__OUT)
      & r_0013_0027__calling_r_0013_0028__out(R_0013_0027__CALLING_R_0013_0028__OUT)
      & has_arg1(R_0013_0027__CALLING_R_0013_0028__OUT,Z_0013_5018__UTTERANCE)
      & z_0013_5018__utterance(Z_0013_5018__UTTERANCE)
      & has_part1(Z_0013_5018__UTTERANCE,R_0013_0031__STOP)
      & r_0013_0031__Stop(R_0013_0031__STOP)
      & has_arg0(R_0013_0031__STOP,Z_0013_5020)
      & has_voc(R_0013_0031__STOP,R_0013_0032__THIEF)
      & has_arg0(R_0013_0027__CALLING_R_0013_0028__OUT,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_conj1(R_0013_0026__AND,R_0013_0023__WAVING)
      & r_0013_0023__waving(R_0013_0023__WAVING)
      & has_arg1(R_0013_0023__WAVING,R_0013_0024__A_R_0013_0025__RAKE)
      & has_arg0(R_0013_0023__WAVING,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_conj2(Z_0013_5013,R_0013_0019__RAN_R_0013_0020__AFTER)
      & r_0013_0019__ran_r_0013_0020__after(R_0013_0019__RAN_R_0013_0020__AFTER)
      & has_arg1(R_0013_0019__RAN_R_0013_0020__AFTER,R_0013_0021__PETER)
      & has_arg0(R_0013_0019__RAN_R_0013_0020__AFTER,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_conj1(R_0013_0018__AND,R_0013_0016__JUMPED_R_0013_0017__UP)
      & r_0013_0016__jumped_r_0013_0017__up(R_0013_0016__JUMPED_R_0013_0017__UP)
      & has_arg0(R_0013_0016__JUMPED_R_0013_0017__UP,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR) ) ).