TSPC 48_a_potter

48_a_potter_1902
Peter never stopped running or looked behind him till he got home to the big fir-tree.

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

arc(r_0048_0003__stopped,r_0048_0002__never,nim).
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_r_0048_0007__behind,conj2).
arc(r_0048_0006__looked_r_0048_0007__behind,r_0048_0001__Peter,arg0).
arc(r_0048_0006__looked_r_0048_0007__behind,r_0048_0001__Peter,arg1).
arc(r_0048_0006__looked_r_0048_0007__behind,r_0048_0002__never,nim).
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,clr).
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,attrib).

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_0007__BEHIND,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_clr(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_attrib(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_0007__BEHIND)
      & r_0048_0006__looked_r_0048_0007__behind(R_0048_0006__LOOKED_R_0048_0007__BEHIND)
      & has_nim(R_0048_0006__LOOKED_R_0048_0007__BEHIND,R_0048_0002__NEVER)
      & has_arg1(R_0048_0006__LOOKED_R_0048_0007__BEHIND,R_0048_0001__PETER)
      & has_arg0(R_0048_0006__LOOKED_R_0048_0007__BEHIND,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_nim(R_0048_0003__STOPPED_R_0048_0004__RUNNING,R_0048_0002__NEVER) ) ).