arc(r_0044_0002__got, r_0044_0001__Peter, arg0).
arc(r_0044_0002__got, r_0044_0003__down, clr9).
arc(r_0044_0002__got, r_0044_0005__quietly, nim12).
arc(r_0044_0002__got, r_0044_0007__the_r_0044_0008__wheelbarrow, r_0044_0006__off_nim21).
arc(r_0044_0005__quietly, r_0044_0004__very, qual13).
arc(r_0044_0010__and, r_0044_0002__got, conj1).
arc(r_0044_0010__and, r_0044_0011__started, conj2).
arc(r_0044_0011__started, r_0044_0012__running, scope).
arc(r_0044_0012__running, r_0044_0001__Peter, arg0).
arc(r_0044_0012__running, r_0044_0014__fast, nim37).
arc(r_0044_0012__running, r_0044_0021__a_r_0044_0023__walk, r_0044_0020__along_nim63).
arc(r_0044_0014__fast, r_0044_0013__as, qual38).
arc(r_0044_0014__fast, z_000_44_a_potter_1902_46, r_0044_0015__as).
arc(r_0044_0017__could, r_0044_0018__go, scope).
arc(r_0044_0018__go, r_0044_0001__Peter, arg0).
arc(r_0044_0018__go, z_000_44_a_potter_1902_46, nim54).
arc(r_0044_0021__a_r_0044_0023__walk, r_0044_0022__straight, attrib66).
arc(r_0044_0021__a_r_0044_0023__walk, r_0044_0025__some_r_0044_0026__black__hyphen__currant_r_0044_0027__bushes, r_0044_0024__behind).

fof(formula,axiom,
    ? [R_0044_0001__PETER,R_0044_0003__DOWN,R_0044_0004__VERY,R_0044_0005__QUIETLY,R_0044_0007__THE_R_0044_0008__WHEELBARROW,R_0044_0002__GOT,R_0044_0013__AS,Z_000_44_A_POTTER_1902_46,R_0044_0014__FAST,R_0044_0022__STRAIGHT,R_0044_0025__SOME_R_0044_0026__BLACK__HYPHEN__CURRANT_R_0044_0027__BUSHES,R_0044_0021__A_R_0044_0023__WALK,R_0044_0011__STARTED_R_0044_0012__RUNNING,R_0044_0010__AND,R_0044_0017__COULD_R_0044_0018__GO] :
      ( r_0044_0001__Peter(R_0044_0001__PETER)
      & r_0044_0003__down(R_0044_0003__DOWN)
      & r_0044_0004__very(R_0044_0004__VERY)
      & r_0044_0007__the_r_0044_0008__wheelbarrow(R_0044_0007__THE_R_0044_0008__WHEELBARROW)
      & r_0044_0013__as(R_0044_0013__AS)
      & r_0044_0022__straight(R_0044_0022__STRAIGHT)
      & r_0044_0025__some_r_0044_0026__black__hyphen__currant_r_0044_0027__bushes(R_0044_0025__SOME_R_0044_0026__BLACK__HYPHEN__CURRANT_R_0044_0027__BUSHES)
      & z_000_44_a_potter_1902_46(Z_000_44_A_POTTER_1902_46)
      & r_0044_0017__could_r_0044_0018__go(R_0044_0017__COULD_R_0044_0018__GO)
      & has_nim54(R_0044_0017__COULD_R_0044_0018__GO,Z_000_44_A_POTTER_1902_46)
      & has_arg0(R_0044_0017__COULD_R_0044_0018__GO,R_0044_0001__PETER)
      & r_0044_0010__and(R_0044_0010__AND)
      & has_conj2(R_0044_0010__AND,R_0044_0011__STARTED_R_0044_0012__RUNNING)
      & r_0044_0011__started_r_0044_0012__running(R_0044_0011__STARTED_R_0044_0012__RUNNING)
      & has_r_0044_0020__along_nim63(R_0044_0011__STARTED_R_0044_0012__RUNNING,R_0044_0021__A_R_0044_0023__WALK)
      & r_0044_0021__a_r_0044_0023__walk(R_0044_0021__A_R_0044_0023__WALK)
      & has_r_0044_0024__behind(R_0044_0021__A_R_0044_0023__WALK,R_0044_0025__SOME_R_0044_0026__BLACK__HYPHEN__CURRANT_R_0044_0027__BUSHES)
      & has_attrib66(R_0044_0021__A_R_0044_0023__WALK,R_0044_0022__STRAIGHT)
      & has_nim37(R_0044_0011__STARTED_R_0044_0012__RUNNING,R_0044_0014__FAST)
      & r_0044_0014__fast(R_0044_0014__FAST)
      & has_r_0044_0015__as(R_0044_0014__FAST,Z_000_44_A_POTTER_1902_46)
      & has_qual38(R_0044_0014__FAST,R_0044_0013__AS)
      & has_arg0(R_0044_0011__STARTED_R_0044_0012__RUNNING,R_0044_0001__PETER)
      & has_conj1(R_0044_0010__AND,R_0044_0002__GOT)
      & r_0044_0002__got(R_0044_0002__GOT)
      & has_r_0044_0006__off_nim21(R_0044_0002__GOT,R_0044_0007__THE_R_0044_0008__WHEELBARROW)
      & has_nim12(R_0044_0002__GOT,R_0044_0005__QUIETLY)
      & r_0044_0005__quietly(R_0044_0005__QUIETLY)
      & has_qual13(R_0044_0005__QUIETLY,R_0044_0004__VERY)
      & has_clr9(R_0044_0002__GOT,R_0044_0003__DOWN)
      & has_arg0(R_0044_0002__GOT,R_0044_0001__PETER) ) ).

( (IP-MAT (NP-SBJ;{PETER} (NPR Peter;{Peter}))
          (ILYR (ILYR (VBD;_Ip_ got;{get[down]})
                      (ADVP-CLR (RP down;{down}))
                      (ADVP-NIM (ADVP (ADV very;{very}))
                                (ADV quietly;{quietly}))
                      (PP-NIM (P-ROLE off;{off})
                              (NP (D the;{the})
                                  (N wheelbarrow;{wheelbarrow}))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_cat_Vg_ started;{start})
                             (IP-PPL-CAT (VAG;_I_ running;{run})
                                         (ADVP-NIM (ADVP (ADV as;{as}))
                                                   (ADV fast;{fast})
                                                   (PP (P-ROLE as;{as})
                                                       (NP (IP-REL (NP-SBJ;{PETER} (PRO he;{he}))
                                                                   (MD;_cat_Vi_ could;{can})
                                                                   (IP-INF-CAT (NP-NIM *T*)
                                                                               (VB;_I_ go;{go}))))))
                                         (PUNC ,)
                                         (PP-NIM (P-ROLE along;{along})
                                                 (NP (D a;{a})
                                                     (ADJP (ADJ straight;{straight}))
                                                     (N walk;{walk})
                                                     (PP (P-ROLE behind;{behind})
                                                         (NP (D some;{some})
                                                             (N black_<hyphen>_currant;{blackcurrant})
                                                             (NS bushes;{bush})))))))))
          (PUNC .))
  (ID 44_a_potter_1902))