arc(r_0048_0003__stopped, r_0048_0002__never, nim6).
arc(r_0048_0003__stopped, r_0048_0004__running, scope).
arc(r_0048_0004__running, r_0048_0001__Peter, arg0).
arc(r_0048_0005__or, r_0048_0003__stopped, conj1).
arc(r_0048_0005__or, r_0048_0006__looked, conj2).
arc(r_0048_0006__looked, r_0048_0001__Peter, arg0).
arc(r_0048_0006__looked, r_0048_0001__Peter, r_0048_0007__behind_clr25).
arc(r_0048_0006__looked, r_0048_0002__never, nim6).
arc(r_0048_0009__till, r_0048_0005__or, scope).
arc(r_0048_0009__till, r_0048_0011__got, restriction).
arc(r_0048_0011__got, r_0048_0001__Peter, arg0).
arc(r_0048_0011__got, r_0048_0012__home, clr37).
arc(r_0048_0012__home, r_0048_0014__the_r_0048_0016__fir__hyphen__tree, r_0048_0013__to).
arc(r_0048_0014__the_r_0048_0016__fir__hyphen__tree, r_0048_0015__big, attrib46).

fof(formula,axiom,
    ? [R_0048_0002__NEVER,R_0048_0001__PETER,R_0048_0003__STOPPED_R_0048_0004__RUNNING,R_0048_0006__LOOKED,R_0048_0005__OR,R_0048_0015__BIG,R_0048_0014__THE_R_0048_0016__FIR__HYPHEN__TREE,R_0048_0012__HOME,R_0048_0011__GOT,R_0048_0009__TILL] :
      ( r_0048_0001__Peter(R_0048_0001__PETER)
      & r_0048_0002__never(R_0048_0002__NEVER)
      & r_0048_0015__big(R_0048_0015__BIG)
      & r_0048_0009__till(R_0048_0009__TILL)
      & has_conj1(R_0048_0009__TILL,R_0048_0011__GOT)
      & r_0048_0011__got(R_0048_0011__GOT)
      & has_clr37(R_0048_0011__GOT,R_0048_0012__HOME)
      & r_0048_0012__home(R_0048_0012__HOME)
      & has_r_0048_0013__to(R_0048_0012__HOME,R_0048_0014__THE_R_0048_0016__FIR__HYPHEN__TREE)
      & r_0048_0014__the_r_0048_0016__fir__hyphen__tree(R_0048_0014__THE_R_0048_0016__FIR__HYPHEN__TREE)
      & has_attrib46(R_0048_0014__THE_R_0048_0016__FIR__HYPHEN__TREE,R_0048_0015__BIG)
      & has_arg0(R_0048_0011__GOT,R_0048_0001__PETER)
      & has_conj2(R_0048_0009__TILL,R_0048_0005__OR)
      & r_0048_0005__or(R_0048_0005__OR)
      & has_conj2(R_0048_0005__OR,R_0048_0006__LOOKED)
      & r_0048_0006__looked(R_0048_0006__LOOKED)
      & has_nim6(R_0048_0006__LOOKED,R_0048_0002__NEVER)
      & has_r_0048_0007__behind_clr25(R_0048_0006__LOOKED,R_0048_0001__PETER)
      & has_arg0(R_0048_0006__LOOKED,R_0048_0001__PETER)
      & has_conj1(R_0048_0005__OR,R_0048_0003__STOPPED_R_0048_0004__RUNNING)
      & r_0048_0003__stopped_r_0048_0004__running(R_0048_0003__STOPPED_R_0048_0004__RUNNING)
      & has_arg0(R_0048_0003__STOPPED_R_0048_0004__RUNNING,R_0048_0001__PETER)
      & has_nim6(R_0048_0003__STOPPED_R_0048_0004__RUNNING,R_0048_0002__NEVER) ) ).

( (IP-MAT (ILYR (NP-SBJ;{PETER} (NPR Peter;{Peter}))
                (ADVP-NIM (ADV never;{never}))
                (ILYR (ILYR (VBD;_cat_Vg_ stopped;{stop})
                            (IP-PPL-CAT (VAG;_I_ running;{run})))
                      (CONJP (CONJ or;{or})
                             (ILYR (VBD;_Ipr_ looked;{look[behind]})
                                   (PP-CLR (P-ROLE behind;{behind})
                                           (NP;{PETER} (PNX him;{himself})))))))
          (PP-SCON (P-CONN till;{till})
                   (IP-ADV (NP-SBJ;{PETER} (PRO he;{he}))
                           (VBD;_Ip_ got;{get[home]})
                           (ADVP-CLR (ADV home;{home})
                                     (PP (P-ROLE to;{to})
                                         (NP (D the;{the})
                                             (ADJP (ADJ big;{big}))
                                             (N fir_<hyphen>_tree;{fir_tree}))))))
          (PUNC .))
  (ID 48_a_potter_1902))