Context                Previous, Next                Top


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

%3 r_0048_0003__stopped stopped r_0048_0002__never never r_0048_0003__stopped->r_0048_0002__never [nim] r_0048_0004__running running r_0048_0003__stopped->r_0048_0004__running [scope] r_0048_0001__Peter Peter r_0048_0004__running->r_0048_0001__Peter [arg0] r_0048_0005__or or r_0048_0005__or->r_0048_0003__stopped [conj1] r_0048_0006__looked looked r_0048_0005__or->r_0048_0006__looked [conj2] r_0048_0006__looked->r_0048_0002__never [nim] r_0048_0006__looked->r_0048_0001__Peter [arg0] r_0048_0006__looked->r_0048_0001__Peter behind [clr] r_0048_0009__till till r_0048_0009__till->r_0048_0005__or [scope] r_0048_0011__got got r_0048_0009__till->r_0048_0011__got [restriction] r_0048_0011__got->r_0048_0001__Peter [arg0] r_0048_0012__home home r_0048_0011__got->r_0048_0012__home [clr] r_0048_0014__the_r_0048_0016__fir__hyphen__tree the fir-tree r_0048_0012__home->r_0048_0014__the_r_0048_0016__fir__hyphen__tree to r_0048_0015__big big r_0048_0014__the_r_0048_0016__fir__hyphen__tree->r_0048_0015__big [attrib] 
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).


%3 r_0048_0014__the_r_0048_0016__fir__hyphen__tree the fir-tree r_0048_0015__big big r_0048_0014__the_r_0048_0016__fir__hyphen__tree->r_0048_0015__big [attrib] r_0048_0012__home home r_0048_0012__home->r_0048_0014__the_r_0048_0016__fir__hyphen__tree to r_0048_0011__got got r_0048_0011__got->r_0048_0012__home [clr] r_0048_0001__Peter Peter r_0048_0011__got->r_0048_0001__Peter [arg0] r_0048_0009__till till r_0048_0009__till->r_0048_0011__got [conj1] r_0048_0005__or or r_0048_0009__till->r_0048_0005__or [conj2] r_0048_0006__looked looked r_0048_0005__or->r_0048_0006__looked [conj2] r_0048_0003__stopped_r_0048_0004__running stopped running r_0048_0005__or->r_0048_0003__stopped_r_0048_0004__running [conj1] r_0048_0006__looked->r_0048_0001__Peter behind [clr] r_0048_0006__looked->r_0048_0001__Peter [arg0] r_0048_0002__never never r_0048_0006__looked->r_0048_0002__never [nim] r_0048_0003__stopped_r_0048_0004__running->r_0048_0001__Peter [arg0] r_0048_0003__stopped_r_0048_0004__running->r_0048_0002__never [nim] 
fof(formula,axiom,
    ? [R_48_9_TILL,R_48_11_GOT,R_48_12_HOME,R_48_14_THE_FIR_HYPHEN_TREE,R_48_15_BIG,R_48_5_OR,R_48_3_STOPPED_RUNNING,R_48_6_LOOKED,R_48_2_NEVER,R_48_1_PETER] :
      ( big(R_48_15_BIG)
      & never(R_48_2_NEVER)
      & peter(R_48_1_PETER)
      & till(R_48_9_TILL)
      & conj1(R_48_9_TILL,R_48_11_GOT)
      & got(R_48_11_GOT,R_48_1_PETER)
      & clr37(R_48_11_GOT,R_48_12_HOME)
      & home(R_48_12_HOME)
      & to(R_48_12_HOME,R_48_14_THE_FIR_HYPHEN_TREE)
      & the_fir_hyphen_tree(R_48_14_THE_FIR_HYPHEN_TREE)
      & attrib46(R_48_14_THE_FIR_HYPHEN_TREE,R_48_15_BIG)
      & conj2(R_48_9_TILL,R_48_5_OR)
      & or(R_48_5_OR)
      & conj1(R_48_5_OR,R_48_3_STOPPED_RUNNING)
      & stopped_running(R_48_3_STOPPED_RUNNING,R_48_1_PETER)
      & nim6(R_48_3_STOPPED_RUNNING,R_48_2_NEVER)
      & conj2(R_48_5_OR,R_48_6_LOOKED)
      & looked(R_48_6_LOOKED,R_48_1_PETER)
      & nim6(R_48_6_LOOKED,R_48_2_NEVER)
      & behind_clr25(R_48_6_LOOKED,R_48_1_PETER) ) ).


n48_a_potter_1902 n48_a_potter_1902__1_1_1_1_1 Peter n48_a_potter_1902__1_1_2_1_1 never n48_a_potter_1902__1_1_3_1_1_1 stopped n48_a_potter_1902__1_1_3_1_2_1_1 running n48_a_potter_1902__1_1_3_2_1_1 or n48_a_potter_1902__1_1_3_2_2_1_1 looked n48_a_potter_1902__1_1_3_2_2_2_1_1 behind n48_a_potter_1902__1_1_3_2_2_2_2_1_1 him n48_a_potter_1902__1_2_1_1 till n48_a_potter_1902__1_2_2_1_1_1 he n48_a_potter_1902__1_2_2_2_1 got n48_a_potter_1902__1_2_2_3_1_1 home n48_a_potter_1902__1_2_2_3_2_1_1 to n48_a_potter_1902__1_2_2_3_2_2_1_1 the n48_a_potter_1902__1_2_2_3_2_2_2_1_1 big n48_a_potter_1902__1_2_2_3_2_2_3_1 fir-tree n48_a_potter_1902__1_3_1 . n48_a_potter_1902__1 IP-MAT n48_a_potter_1902__1_1 ILYR n48_a_potter_1902__1->n48_a_potter_1902__1_1 n48_a_potter_1902__1_2 PP-SCON n48_a_potter_1902__1->n48_a_potter_1902__1_2 n48_a_potter_1902__1_3 PUNC n48_a_potter_1902__1->n48_a_potter_1902__1_3 n48_a_potter_1902__1_1_1 NP-SBJ n48_a_potter_1902__1_1->n48_a_potter_1902__1_1_1 n48_a_potter_1902__1_1_2 ADVP-NIM n48_a_potter_1902__1_1->n48_a_potter_1902__1_1_2 n48_a_potter_1902__1_1_3 ILYR n48_a_potter_1902__1_1->n48_a_potter_1902__1_1_3 n48_a_potter_1902__1_1_1_1 NPR n48_a_potter_1902__1_1_1->n48_a_potter_1902__1_1_1_1 n48_a_potter_1902__1_1_1_1->n48_a_potter_1902__1_1_1_1_1 n48_a_potter_1902__1_1_2_1 ADV n48_a_potter_1902__1_1_2->n48_a_potter_1902__1_1_2_1 n48_a_potter_1902__1_1_2_1->n48_a_potter_1902__1_1_2_1_1 n48_a_potter_1902__1_1_3_1 ILYR n48_a_potter_1902__1_1_3->n48_a_potter_1902__1_1_3_1 n48_a_potter_1902__1_1_3_2 CONJP n48_a_potter_1902__1_1_3->n48_a_potter_1902__1_1_3_2 n48_a_potter_1902__1_1_3_1_1 VBD;_cat_Vg_ n48_a_potter_1902__1_1_3_1->n48_a_potter_1902__1_1_3_1_1 n48_a_potter_1902__1_1_3_1_2 IP-PPL-CAT n48_a_potter_1902__1_1_3_1->n48_a_potter_1902__1_1_3_1_2 n48_a_potter_1902__1_1_3_1_1->n48_a_potter_1902__1_1_3_1_1_1 n48_a_potter_1902__1_1_3_1_2_1 VAG;_I_ n48_a_potter_1902__1_1_3_1_2->n48_a_potter_1902__1_1_3_1_2_1 n48_a_potter_1902__1_1_3_1_2_1->n48_a_potter_1902__1_1_3_1_2_1_1 n48_a_potter_1902__1_1_3_2_1 CONJ n48_a_potter_1902__1_1_3_2->n48_a_potter_1902__1_1_3_2_1 n48_a_potter_1902__1_1_3_2_2 ILYR n48_a_potter_1902__1_1_3_2->n48_a_potter_1902__1_1_3_2_2 n48_a_potter_1902__1_1_3_2_1->n48_a_potter_1902__1_1_3_2_1_1 n48_a_potter_1902__1_1_3_2_2_1 VBD;_Ipr_ n48_a_potter_1902__1_1_3_2_2->n48_a_potter_1902__1_1_3_2_2_1 n48_a_potter_1902__1_1_3_2_2_2 PP-CLR n48_a_potter_1902__1_1_3_2_2->n48_a_potter_1902__1_1_3_2_2_2 n48_a_potter_1902__1_1_3_2_2_1->n48_a_potter_1902__1_1_3_2_2_1_1 n48_a_potter_1902__1_1_3_2_2_2_1 P-ROLE n48_a_potter_1902__1_1_3_2_2_2->n48_a_potter_1902__1_1_3_2_2_2_1 n48_a_potter_1902__1_1_3_2_2_2_2 NP n48_a_potter_1902__1_1_3_2_2_2->n48_a_potter_1902__1_1_3_2_2_2_2 n48_a_potter_1902__1_1_3_2_2_2_1->n48_a_potter_1902__1_1_3_2_2_2_1_1 n48_a_potter_1902__1_1_3_2_2_2_2_1 PNX n48_a_potter_1902__1_1_3_2_2_2_2->n48_a_potter_1902__1_1_3_2_2_2_2_1 n48_a_potter_1902__1_1_3_2_2_2_2_1->n48_a_potter_1902__1_1_3_2_2_2_2_1_1 n48_a_potter_1902__1_2_1 P-CONN n48_a_potter_1902__1_2->n48_a_potter_1902__1_2_1 n48_a_potter_1902__1_2_2 IP-ADV n48_a_potter_1902__1_2->n48_a_potter_1902__1_2_2 n48_a_potter_1902__1_2_1->n48_a_potter_1902__1_2_1_1 n48_a_potter_1902__1_2_2_1 NP-SBJ n48_a_potter_1902__1_2_2->n48_a_potter_1902__1_2_2_1 n48_a_potter_1902__1_2_2_2 VBD;_Ip_ n48_a_potter_1902__1_2_2->n48_a_potter_1902__1_2_2_2 n48_a_potter_1902__1_2_2_3 ADVP-CLR n48_a_potter_1902__1_2_2->n48_a_potter_1902__1_2_2_3 n48_a_potter_1902__1_2_2_1_1 PRO n48_a_potter_1902__1_2_2_1->n48_a_potter_1902__1_2_2_1_1 n48_a_potter_1902__1_2_2_1_1->n48_a_potter_1902__1_2_2_1_1_1 n48_a_potter_1902__1_2_2_2->n48_a_potter_1902__1_2_2_2_1 n48_a_potter_1902__1_2_2_3_1 ADV n48_a_potter_1902__1_2_2_3->n48_a_potter_1902__1_2_2_3_1 n48_a_potter_1902__1_2_2_3_2 PP n48_a_potter_1902__1_2_2_3->n48_a_potter_1902__1_2_2_3_2 n48_a_potter_1902__1_2_2_3_1->n48_a_potter_1902__1_2_2_3_1_1 n48_a_potter_1902__1_2_2_3_2_1 P-ROLE n48_a_potter_1902__1_2_2_3_2->n48_a_potter_1902__1_2_2_3_2_1 n48_a_potter_1902__1_2_2_3_2_2 NP n48_a_potter_1902__1_2_2_3_2->n48_a_potter_1902__1_2_2_3_2_2 n48_a_potter_1902__1_2_2_3_2_1->n48_a_potter_1902__1_2_2_3_2_1_1 n48_a_potter_1902__1_2_2_3_2_2_1 D n48_a_potter_1902__1_2_2_3_2_2->n48_a_potter_1902__1_2_2_3_2_2_1 n48_a_potter_1902__1_2_2_3_2_2_2 ADJP n48_a_potter_1902__1_2_2_3_2_2->n48_a_potter_1902__1_2_2_3_2_2_2 n48_a_potter_1902__1_2_2_3_2_2_3 N n48_a_potter_1902__1_2_2_3_2_2->n48_a_potter_1902__1_2_2_3_2_2_3 n48_a_potter_1902__1_2_2_3_2_2_1->n48_a_potter_1902__1_2_2_3_2_2_1_1 n48_a_potter_1902__1_2_2_3_2_2_2_1 ADJ n48_a_potter_1902__1_2_2_3_2_2_2->n48_a_potter_1902__1_2_2_3_2_2_2_1 n48_a_potter_1902__1_2_2_3_2_2_2_1->n48_a_potter_1902__1_2_2_3_2_2_2_1_1 n48_a_potter_1902__1_2_2_3_2_2_3->n48_a_potter_1902__1_2_2_3_2_2_3_1 n48_a_potter_1902__1_3->n48_a_potter_1902__1_3_1 
( (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))