Context                Previous, Next                Top


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

%3 r_0056_0003__stopped stopped r_0056_0002__never never r_0056_0003__stopped->r_0056_0002__never [nim] r_0056_0004__running running r_0056_0003__stopped->r_0056_0004__running [scope] r_0056_0001__Peter Peter r_0056_0004__running->r_0056_0001__Peter [arg0] r_0056_0005__or or r_0056_0005__or->r_0056_0003__stopped [conj1] r_0056_0006__looked looked r_0056_0005__or->r_0056_0006__looked [conj2] r_0056_0006__looked->r_0056_0002__never [nim] r_0056_0006__looked->r_0056_0001__Peter [arg0] r_0056_0006__looked->r_0056_0001__Peter behind [clr] r_0056_0009__till till r_0056_0009__till->r_0056_0005__or [scope] r_0056_0011__got got r_0056_0009__till->r_0056_0011__got [restriction] r_0056_0011__got->r_0056_0001__Peter [arg0] r_0056_0012__home home r_0056_0011__got->r_0056_0012__home [clr] r_0056_0014__the_r_0056_0016__fir__hyphen__tree the fir-tree r_0056_0012__home->r_0056_0014__the_r_0056_0016__fir__hyphen__tree to r_0056_0015__big big r_0056_0014__the_r_0056_0016__fir__hyphen__tree->r_0056_0015__big [attrib] 
arc(r_0056_0003__stopped, r_0056_0002__never, nim6).
arc(r_0056_0003__stopped, r_0056_0004__running, scope).
arc(r_0056_0004__running, r_0056_0001__Peter, arg0).
arc(r_0056_0005__or, r_0056_0003__stopped, conj1).
arc(r_0056_0005__or, r_0056_0006__looked, conj2).
arc(r_0056_0006__looked, r_0056_0001__Peter, arg0).
arc(r_0056_0006__looked, r_0056_0001__Peter, r_0056_0007__behind_clr25).
arc(r_0056_0006__looked, r_0056_0002__never, nim6).
arc(r_0056_0009__till, r_0056_0005__or, scope).
arc(r_0056_0009__till, r_0056_0011__got, restriction).
arc(r_0056_0011__got, r_0056_0001__Peter, arg0).
arc(r_0056_0011__got, r_0056_0012__home, clr37).
arc(r_0056_0012__home, r_0056_0014__the_r_0056_0016__fir__hyphen__tree, r_0056_0013__to).
arc(r_0056_0014__the_r_0056_0016__fir__hyphen__tree, r_0056_0015__big, attrib46).


%3 r_0056_0003__stopped_r_0056_0004__running stopped running r_0056_0001__Peter Peter r_0056_0003__stopped_r_0056_0004__running->r_0056_0001__Peter [arg0] r_0056_0002__never never r_0056_0003__stopped_r_0056_0004__running->r_0056_0002__never [nim] r_0056_0005__or or r_0056_0005__or->r_0056_0003__stopped_r_0056_0004__running [conj1] r_0056_0006__looked looked r_0056_0005__or->r_0056_0006__looked [conj2] r_0056_0006__looked->r_0056_0001__Peter [arg0] r_0056_0006__looked->r_0056_0001__Peter behind [clr] r_0056_0006__looked->r_0056_0002__never [nim] r_0056_0009__till till r_0056_0009__till->r_0056_0005__or [conj2] r_0056_0011__got got r_0056_0009__till->r_0056_0011__got [conj1] r_0056_0011__got->r_0056_0001__Peter [arg0] r_0056_0012__home home r_0056_0011__got->r_0056_0012__home [clr] r_0056_0014__the_r_0056_0016__fir__hyphen__tree the fir-tree r_0056_0012__home->r_0056_0014__the_r_0056_0016__fir__hyphen__tree to r_0056_0015__big big r_0056_0014__the_r_0056_0016__fir__hyphen__tree->r_0056_0015__big [attrib] 
fof(formula,axiom,
    ? [R_56_9_TILL,R_56_11_GOT,R_56_12_HOME,R_56_14_THE_FIR_HYPHEN_TREE,R_56_15_BIG,R_56_5_OR,R_56_3_STOPPED_RUNNING,R_56_6_LOOKED,R_56_2_NEVER,R_56_1_PETER] :
      ( big(R_56_15_BIG)
      & never(R_56_2_NEVER)
      & peter(R_56_1_PETER)
      & till(R_56_9_TILL)
      & conj1(R_56_9_TILL,R_56_11_GOT)
      & got(R_56_11_GOT,R_56_1_PETER)
      & clr37(R_56_11_GOT,R_56_12_HOME)
      & home(R_56_12_HOME)
      & to(R_56_12_HOME,R_56_14_THE_FIR_HYPHEN_TREE)
      & the_fir_hyphen_tree(R_56_14_THE_FIR_HYPHEN_TREE)
      & attrib46(R_56_14_THE_FIR_HYPHEN_TREE,R_56_15_BIG)
      & conj2(R_56_9_TILL,R_56_5_OR)
      & or(R_56_5_OR)
      & conj1(R_56_5_OR,R_56_3_STOPPED_RUNNING)
      & stopped_running(R_56_3_STOPPED_RUNNING,R_56_1_PETER)
      & nim6(R_56_3_STOPPED_RUNNING,R_56_2_NEVER)
      & conj2(R_56_5_OR,R_56_6_LOOKED)
      & looked(R_56_6_LOOKED,R_56_1_PETER)
      & nim6(R_56_6_LOOKED,R_56_2_NEVER)
      & behind_clr25(R_56_6_LOOKED,R_56_1_PETER) ) ).


n56_a_potter_1902 n56_a_potter_1902_5 Peter n56_a_potter_1902_8 never n56_a_potter_1902_12 stopped n56_a_potter_1902_15 running n56_a_potter_1902_18 or n56_a_potter_1902_21 looked n56_a_potter_1902_24 behind n56_a_potter_1902_27 him n56_a_potter_1902_30 till n56_a_potter_1902_34 he n56_a_potter_1902_36 got n56_a_potter_1902_39 home n56_a_potter_1902_42 to n56_a_potter_1902_45 the n56_a_potter_1902_48 big n56_a_potter_1902_50 fir-tree n56_a_potter_1902_52 . n56_a_potter_1902_1 IP-MAT n56_a_potter_1902_2 ILYR n56_a_potter_1902_1->n56_a_potter_1902_2 n56_a_potter_1902_28 PP-SCON n56_a_potter_1902_1->n56_a_potter_1902_28 n56_a_potter_1902_51 PUNC n56_a_potter_1902_1->n56_a_potter_1902_51 n56_a_potter_1902_3 NP-SBJ n56_a_potter_1902_2->n56_a_potter_1902_3 n56_a_potter_1902_6 ADVP-NIM n56_a_potter_1902_2->n56_a_potter_1902_6 n56_a_potter_1902_9 ILYR n56_a_potter_1902_2->n56_a_potter_1902_9 n56_a_potter_1902_4 NPR n56_a_potter_1902_3->n56_a_potter_1902_4 n56_a_potter_1902_4->n56_a_potter_1902_5 n56_a_potter_1902_7 ADV n56_a_potter_1902_6->n56_a_potter_1902_7 n56_a_potter_1902_7->n56_a_potter_1902_8 n56_a_potter_1902_10 ILYR n56_a_potter_1902_9->n56_a_potter_1902_10 n56_a_potter_1902_16 CONJP n56_a_potter_1902_9->n56_a_potter_1902_16 n56_a_potter_1902_11 VBD;_cat_Vg_ n56_a_potter_1902_10->n56_a_potter_1902_11 n56_a_potter_1902_13 IP-PPL-CAT n56_a_potter_1902_10->n56_a_potter_1902_13 n56_a_potter_1902_11->n56_a_potter_1902_12 n56_a_potter_1902_14 VAG;_I_ n56_a_potter_1902_13->n56_a_potter_1902_14 n56_a_potter_1902_14->n56_a_potter_1902_15 n56_a_potter_1902_17 CONJ n56_a_potter_1902_16->n56_a_potter_1902_17 n56_a_potter_1902_19 ILYR n56_a_potter_1902_16->n56_a_potter_1902_19 n56_a_potter_1902_17->n56_a_potter_1902_18 n56_a_potter_1902_20 VBD;_Ipr_ n56_a_potter_1902_19->n56_a_potter_1902_20 n56_a_potter_1902_22 PP-CLR n56_a_potter_1902_19->n56_a_potter_1902_22 n56_a_potter_1902_20->n56_a_potter_1902_21 n56_a_potter_1902_23 P-ROLE n56_a_potter_1902_22->n56_a_potter_1902_23 n56_a_potter_1902_25 NP n56_a_potter_1902_22->n56_a_potter_1902_25 n56_a_potter_1902_23->n56_a_potter_1902_24 n56_a_potter_1902_26 PNX n56_a_potter_1902_25->n56_a_potter_1902_26 n56_a_potter_1902_26->n56_a_potter_1902_27 n56_a_potter_1902_29 P-CONN n56_a_potter_1902_28->n56_a_potter_1902_29 n56_a_potter_1902_31 IP-ADV n56_a_potter_1902_28->n56_a_potter_1902_31 n56_a_potter_1902_29->n56_a_potter_1902_30 n56_a_potter_1902_32 NP-SBJ n56_a_potter_1902_31->n56_a_potter_1902_32 n56_a_potter_1902_35 VBD;_Ip_ n56_a_potter_1902_31->n56_a_potter_1902_35 n56_a_potter_1902_37 ADVP-CLR n56_a_potter_1902_31->n56_a_potter_1902_37 n56_a_potter_1902_33 PRO n56_a_potter_1902_32->n56_a_potter_1902_33 n56_a_potter_1902_33->n56_a_potter_1902_34 n56_a_potter_1902_35->n56_a_potter_1902_36 n56_a_potter_1902_38 ADV n56_a_potter_1902_37->n56_a_potter_1902_38 n56_a_potter_1902_40 PP n56_a_potter_1902_37->n56_a_potter_1902_40 n56_a_potter_1902_38->n56_a_potter_1902_39 n56_a_potter_1902_41 P-ROLE n56_a_potter_1902_40->n56_a_potter_1902_41 n56_a_potter_1902_43 NP n56_a_potter_1902_40->n56_a_potter_1902_43 n56_a_potter_1902_41->n56_a_potter_1902_42 n56_a_potter_1902_44 D n56_a_potter_1902_43->n56_a_potter_1902_44 n56_a_potter_1902_46 ADJP n56_a_potter_1902_43->n56_a_potter_1902_46 n56_a_potter_1902_49 N n56_a_potter_1902_43->n56_a_potter_1902_49 n56_a_potter_1902_44->n56_a_potter_1902_45 n56_a_potter_1902_47 ADJ n56_a_potter_1902_46->n56_a_potter_1902_47 n56_a_potter_1902_47->n56_a_potter_1902_48 n56_a_potter_1902_49->n56_a_potter_1902_50 n56_a_potter_1902_51->n56_a_potter_1902_52 
( (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 56_a_potter_1902))