arc(utterance_13_a_potter_1902_95, r_0013_0031__Stop, part1).
arc(r_0013_0003__was, r_0013_0001__Mr_dot__r_0013_0002__McGregor, arg0).
arc(r_0013_0003__was, r_0013_0007__and, r_0013_0004__on_clr14).
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_0001__Mr_dot__r_0013_0002__McGregor, arg0).
arc(r_0013_0009__planting, r_0013_0010__out, clr32).
arc(r_0013_0009__planting, r_0013_0012__cabbages, arg1).
arc(r_0013_0012__cabbages, r_0013_0011__young, attrib36).
arc(r_0013_0014__but, r_0013_0018__and, conj2).
arc(r_0013_0014__but, z_000_13_a_potter_1902_28, conj1).
arc(r_0013_0016__jumped, r_0013_0001__Mr_dot__r_0013_0002__McGregor, arg0).
arc(r_0013_0016__jumped, r_0013_0017__up, clr54).
arc(r_0013_0018__and, r_0013_0016__jumped, conj1).
arc(r_0013_0018__and, z_000_13_a_potter_1902_71, conj2).
arc(r_0013_0019__ran, r_0013_0001__Mr_dot__r_0013_0002__McGregor, arg0).
arc(r_0013_0019__ran, r_0013_0021__Peter, r_0013_0020__after_clr66).
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, conj2).
arc(r_0013_0027__calling, utterance_13_a_potter_1902_95, arg1).
arc(r_0013_0027__calling, r_0013_0001__Mr_dot__r_0013_0002__McGregor, arg0).
arc(r_0013_0027__calling, r_0013_0028__out, clr88).
arc(r_0013_0031__Stop, r_0013_0032__thief, nim99).
arc(r_0013_0031__Stop, z_000_13_a_potter_1902_96, arg0).
arc(z_000_13_a_potter_1902_28, r_0013_0003__was, scope).
arc(z_000_13_a_potter_1902_28, r_0013_0009__planting, restriction).
arc(z_000_13_a_potter_1902_71, r_0013_0019__ran, scope).
arc(z_000_13_a_potter_1902_71, r_0013_0026__and, restriction).

fof(formula,axiom,
    ? [R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR,R_0013_0017__UP,R_0013_0016__JUMPED,R_0013_0021__PETER,R_0013_0019__RAN,R_0013_0024__A_R_0013_0025__RAKE,R_0013_0023__WAVING,R_0013_0032__THIEF,Z_000_13_A_POTTER_1902_96,R_0013_0031__STOP,UTTERANCE_13_A_POTTER_1902_95,R_0013_0028__OUT,R_0013_0027__CALLING,R_0013_0026__AND,Z_000_13_A_POTTER_1902_71,R_0013_0018__AND,R_0013_0006__HANDS,R_0013_0008__KNEES,R_0013_0007__AND,R_0013_0003__WAS,R_0013_0010__OUT,R_0013_0011__YOUNG,R_0013_0012__CABBAGES,R_0013_0009__PLANTING,Z_000_13_A_POTTER_1902_28,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_0010__out(R_0013_0010__OUT)
      & r_0013_0011__young(R_0013_0011__YOUNG)
      & r_0013_0017__up(R_0013_0017__UP)
      & 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_0028__out(R_0013_0028__OUT)
      & r_0013_0032__thief(R_0013_0032__THIEF)
      & z_000_13_a_potter_1902_96(Z_000_13_A_POTTER_1902_96)
      & r_0013_0014__but(R_0013_0014__BUT)
      & has_conj1(R_0013_0014__BUT,Z_000_13_A_POTTER_1902_28)
      & z_000_13_a_potter_1902_28(Z_000_13_A_POTTER_1902_28)
      & has_conj1(Z_000_13_A_POTTER_1902_28,R_0013_0009__PLANTING)
      & r_0013_0009__planting(R_0013_0009__PLANTING)
      & has_arg1(R_0013_0009__PLANTING,R_0013_0012__CABBAGES)
      & r_0013_0012__cabbages(R_0013_0012__CABBAGES)
      & has_attrib36(R_0013_0012__CABBAGES,R_0013_0011__YOUNG)
      & has_clr32(R_0013_0009__PLANTING,R_0013_0010__OUT)
      & has_arg0(R_0013_0009__PLANTING,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_conj2(Z_000_13_A_POTTER_1902_28,R_0013_0003__WAS)
      & r_0013_0003__was(R_0013_0003__WAS)
      & has_r_0013_0004__on_clr14(R_0013_0003__WAS,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_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_000_13_A_POTTER_1902_71)
      & z_000_13_a_potter_1902_71(Z_000_13_A_POTTER_1902_71)
      & has_conj1(Z_000_13_A_POTTER_1902_71,R_0013_0026__AND)
      & r_0013_0026__and(R_0013_0026__AND)
      & has_conj2(R_0013_0026__AND,R_0013_0027__CALLING)
      & r_0013_0027__calling(R_0013_0027__CALLING)
      & has_clr88(R_0013_0027__CALLING,R_0013_0028__OUT)
      & has_arg0(R_0013_0027__CALLING,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_arg1(R_0013_0027__CALLING,UTTERANCE_13_A_POTTER_1902_95)
      & utterance_13_a_potter_1902_95(UTTERANCE_13_A_POTTER_1902_95)
      & has_part1(UTTERANCE_13_A_POTTER_1902_95,R_0013_0031__STOP)
      & r_0013_0031__Stop(R_0013_0031__STOP)
      & has_arg0(R_0013_0031__STOP,Z_000_13_A_POTTER_1902_96)
      & has_nim99(R_0013_0031__STOP,R_0013_0032__THIEF)
      & 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_000_13_A_POTTER_1902_71,R_0013_0019__RAN)
      & r_0013_0019__ran(R_0013_0019__RAN)
      & has_r_0013_0020__after_clr66(R_0013_0019__RAN,R_0013_0021__PETER)
      & has_arg0(R_0013_0019__RAN,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR)
      & has_conj1(R_0013_0018__AND,R_0013_0016__JUMPED)
      & r_0013_0016__jumped(R_0013_0016__JUMPED)
      & has_clr54(R_0013_0016__JUMPED,R_0013_0017__UP)
      & has_arg0(R_0013_0016__JUMPED,R_0013_0001__MR_DOT__R_0013_0002__MCGREGOR) ) ).

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