Context                Previous, Next                Top


63_a_wilde_2_1888
And the other children, when they saw that the Giant was not wicked any longer, came running back, and with them came the Spring.

%3 r_0063_0001__And_r_0063_0018__came And came r_0063_0019__running running r_0063_0001__And_r_0063_0018__came->r_0063_0019__running [scope] r_0063_0002__the_r_0063_0004__children the children r_0063_0019__running->r_0063_0002__the_r_0063_0004__children [arg0] r_0063_0020__back back r_0063_0019__running->r_0063_0020__back [clr] r_0063_0003__other other r_0063_0002__the_r_0063_0004__children->r_0063_0003__other [attrib] r_0063_0006__when when r_0063_0006__when->r_0063_0001__And_r_0063_0018__came [scope] r_0063_0008__saw saw r_0063_0006__when->r_0063_0008__saw [restriction] r_0063_0007__they they r_0063_0008__saw->r_0063_0007__they [arg0] r_0063_0013__not not r_0063_0008__saw->r_0063_0013__not [arg1] r_0063_0009__that_r_0063_0012__was that was r_0063_0013__not->r_0063_0009__that_r_0063_0012__was [keep_scope] r_0063_0010__the_r_0063_0011__Giant the Giant r_0063_0009__that_r_0063_0012__was->r_0063_0010__the_r_0063_0011__Giant [arg0] r_0063_0014__wicked wicked r_0063_0009__that_r_0063_0012__was->r_0063_0014__wicked [prd] r_0063_0016__longer longer r_0063_0009__that_r_0063_0012__was->r_0063_0016__longer [nim] r_0063_0015__any any r_0063_0016__longer->r_0063_0015__any [nim] r_0063_0022__and and r_0063_0022__and->r_0063_0006__when [conj1] r_0063_0025__came came r_0063_0022__and->r_0063_0025__came [conj2] r_0063_0025__came->r_0063_0002__the_r_0063_0004__children with [nim] r_0063_0026__the_r_0063_0027__Spring the Spring r_0063_0025__came->r_0063_0026__the_r_0063_0027__Spring [arg0] 
arc(r_0063_0001__And_r_0063_0018__came, r_0063_0019__running, scope).
arc(r_0063_0002__the_r_0063_0004__children, r_0063_0003__other, attrib9).
arc(r_0063_0006__when, r_0063_0001__And_r_0063_0018__came, scope).
arc(r_0063_0006__when, r_0063_0008__saw, restriction).
arc(r_0063_0008__saw, r_0063_0007__they, arg0).
arc(r_0063_0008__saw, r_0063_0013__not, arg1).
arc(r_0063_0009__that_r_0063_0012__was, r_0063_0010__the_r_0063_0011__Giant, arg0).
arc(r_0063_0009__that_r_0063_0012__was, r_0063_0014__wicked, prd).
arc(r_0063_0009__that_r_0063_0012__was, r_0063_0016__longer, nim41).
arc(r_0063_0013__not, r_0063_0009__that_r_0063_0012__was, keep_scope).
arc(r_0063_0016__longer, r_0063_0015__any, nim42).
arc(r_0063_0019__running, r_0063_0002__the_r_0063_0004__children, arg0).
arc(r_0063_0019__running, r_0063_0020__back, clr54).
arc(r_0063_0022__and, r_0063_0006__when, conj1).
arc(r_0063_0022__and, r_0063_0025__came, conj2).
arc(r_0063_0025__came, r_0063_0002__the_r_0063_0004__children, r_0063_0023__with_nim66).
arc(r_0063_0025__came, r_0063_0026__the_r_0063_0027__Spring, arg0).


%3 r_0063_0001__And_r_0063_0018__came_r_0063_0019__running And came running r_0063_0002__the_r_0063_0004__children the children r_0063_0001__And_r_0063_0018__came_r_0063_0019__running->r_0063_0002__the_r_0063_0004__children [arg0] r_0063_0020__back back r_0063_0001__And_r_0063_0018__came_r_0063_0019__running->r_0063_0020__back [clr] r_0063_0003__other other r_0063_0002__the_r_0063_0004__children->r_0063_0003__other [attrib] r_0063_0006__when when r_0063_0006__when->r_0063_0001__And_r_0063_0018__came_r_0063_0019__running [scope] r_0063_0008__saw saw r_0063_0006__when->r_0063_0008__saw [restriction] r_0063_0007__they they r_0063_0008__saw->r_0063_0007__they [arg0] r_0063_0013__not not r_0063_0008__saw->r_0063_0013__not [arg1] r_0063_0009__that_r_0063_0012__was that was r_0063_0013__not->r_0063_0009__that_r_0063_0012__was [keep_scope] r_0063_0010__the_r_0063_0011__Giant the Giant r_0063_0009__that_r_0063_0012__was->r_0063_0010__the_r_0063_0011__Giant [arg0] r_0063_0014__wicked wicked r_0063_0009__that_r_0063_0012__was->r_0063_0014__wicked [prd] r_0063_0016__longer longer r_0063_0009__that_r_0063_0012__was->r_0063_0016__longer [nim] r_0063_0015__any any r_0063_0016__longer->r_0063_0015__any [nim] r_0063_0022__and and r_0063_0022__and->r_0063_0006__when [conj1] r_0063_0025__came came r_0063_0022__and->r_0063_0025__came [conj2] r_0063_0025__came->r_0063_0002__the_r_0063_0004__children with [nim] r_0063_0026__the_r_0063_0027__Spring the Spring r_0063_0025__came->r_0063_0026__the_r_0063_0027__Spring [arg0] 
fof(formula,axiom,
    ? [R_63_22_AND,R_63_25_CAME,R_63_26_THE_SPRING,R_63_2_THE_CHILDREN,R_63_3_OTHER] :
      ( the_Spring(R_63_26_THE_SPRING)
      & other(R_63_3_OTHER)
      & ! [R_63_8_SAW,R_63_7_THEY] :
          ( ( they(R_63_7_THEY)
            & saw(R_63_8_SAW,R_63_7_THEY,R_63_13_NOT)
            & ~ ? [R_63_9_THAT_WAS,R_63_10_THE_GIANT,R_63_16_LONGER,R_63_15_ANY,R_63_14_WICKED] :
                  ( the_Giant(R_63_10_THE_GIANT)
                  & any(R_63_15_ANY)
                  & wicked(R_63_14_WICKED)
                  & that_was(R_63_9_THAT_WAS,R_63_10_THE_GIANT,R_63_14_WICKED)
                  & nim41(R_63_9_THAT_WAS,R_63_16_LONGER)
                  & longer(R_63_16_LONGER)
                  & nim42(R_63_16_LONGER,R_63_15_ANY) ) )
         => ? [R_63_1_AND_CAME_RUNNING,R_63_20_BACK] :
              ( back(R_63_20_BACK)
              & and_came_running(R_63_1_AND_CAME_RUNNING,R_63_2_THE_CHILDREN)
              & clr54(R_63_1_AND_CAME_RUNNING,R_63_20_BACK) ) )
      & conj1(CONJ1)
      & and(R_63_22_AND)
      & conj2(R_63_22_AND,R_63_25_CAME)
      & came(R_63_25_CAME,R_63_26_THE_SPRING)
      & with_nim66(R_63_25_CAME,R_63_2_THE_CHILDREN)
      & the_children(R_63_2_THE_CHILDREN)
      & attrib9(R_63_2_THE_CHILDREN,R_63_3_OTHER) ) ).


n63_a_wilde_2_1888 n63_a_wilde_2_1888_5 And n63_a_wilde_2_1888_8 the n63_a_wilde_2_1888_11 other n63_a_wilde_2_1888_13 children n63_a_wilde_2_1888_15 , n63_a_wilde_2_1888_18 when n63_a_wilde_2_1888_22 they n63_a_wilde_2_1888_24 saw n63_a_wilde_2_1888_28 that n63_a_wilde_2_1888_31 the n63_a_wilde_2_1888_33 Giant n63_a_wilde_2_1888_35 was n63_a_wilde_2_1888_37 not n63_a_wilde_2_1888_40 wicked n63_a_wilde_2_1888_44 any n63_a_wilde_2_1888_46 longer n63_a_wilde_2_1888_48 , n63_a_wilde_2_1888_50 came n63_a_wilde_2_1888_53 running n63_a_wilde_2_1888_56 back n63_a_wilde_2_1888_58 , n63_a_wilde_2_1888_61 and n63_a_wilde_2_1888_65 with n63_a_wilde_2_1888_68 them n63_a_wilde_2_1888_70 came n63_a_wilde_2_1888_73 the n63_a_wilde_2_1888_75 Spring n63_a_wilde_2_1888_77 . n63_a_wilde_2_1888_1 IP-MAT n63_a_wilde_2_1888_2 ILYR n63_a_wilde_2_1888_1->n63_a_wilde_2_1888_2 n63_a_wilde_2_1888_76 PUNC n63_a_wilde_2_1888_1->n63_a_wilde_2_1888_76 n63_a_wilde_2_1888_3 ILYR n63_a_wilde_2_1888_2->n63_a_wilde_2_1888_3 n63_a_wilde_2_1888_57 PUNC n63_a_wilde_2_1888_2->n63_a_wilde_2_1888_57 n63_a_wilde_2_1888_59 CONJP n63_a_wilde_2_1888_2->n63_a_wilde_2_1888_59 n63_a_wilde_2_1888_4 CONJ;_cl_ n63_a_wilde_2_1888_3->n63_a_wilde_2_1888_4 n63_a_wilde_2_1888_6 NP-SBJ n63_a_wilde_2_1888_3->n63_a_wilde_2_1888_6 n63_a_wilde_2_1888_14 PUNC n63_a_wilde_2_1888_3->n63_a_wilde_2_1888_14 n63_a_wilde_2_1888_16 PP-SCON n63_a_wilde_2_1888_3->n63_a_wilde_2_1888_16 n63_a_wilde_2_1888_47 PUNC n63_a_wilde_2_1888_3->n63_a_wilde_2_1888_47 n63_a_wilde_2_1888_49 VBD;_cat_Vg_ n63_a_wilde_2_1888_3->n63_a_wilde_2_1888_49 n63_a_wilde_2_1888_51 IP-PPL-CAT n63_a_wilde_2_1888_3->n63_a_wilde_2_1888_51 n63_a_wilde_2_1888_4->n63_a_wilde_2_1888_5 n63_a_wilde_2_1888_7 D n63_a_wilde_2_1888_6->n63_a_wilde_2_1888_7 n63_a_wilde_2_1888_9 ADJP n63_a_wilde_2_1888_6->n63_a_wilde_2_1888_9 n63_a_wilde_2_1888_12 NS n63_a_wilde_2_1888_6->n63_a_wilde_2_1888_12 n63_a_wilde_2_1888_7->n63_a_wilde_2_1888_8 n63_a_wilde_2_1888_10 ADJ n63_a_wilde_2_1888_9->n63_a_wilde_2_1888_10 n63_a_wilde_2_1888_10->n63_a_wilde_2_1888_11 n63_a_wilde_2_1888_12->n63_a_wilde_2_1888_13 n63_a_wilde_2_1888_14->n63_a_wilde_2_1888_15 n63_a_wilde_2_1888_17 P-CONN n63_a_wilde_2_1888_16->n63_a_wilde_2_1888_17 n63_a_wilde_2_1888_19 IP-ADV n63_a_wilde_2_1888_16->n63_a_wilde_2_1888_19 n63_a_wilde_2_1888_17->n63_a_wilde_2_1888_18 n63_a_wilde_2_1888_20 NP-SBJ n63_a_wilde_2_1888_19->n63_a_wilde_2_1888_20 n63_a_wilde_2_1888_23 VBD;_Tf_ n63_a_wilde_2_1888_19->n63_a_wilde_2_1888_23 n63_a_wilde_2_1888_25 CP-THT-OB1 n63_a_wilde_2_1888_19->n63_a_wilde_2_1888_25 n63_a_wilde_2_1888_21 PRO n63_a_wilde_2_1888_20->n63_a_wilde_2_1888_21 n63_a_wilde_2_1888_21->n63_a_wilde_2_1888_22 n63_a_wilde_2_1888_23->n63_a_wilde_2_1888_24 n63_a_wilde_2_1888_26 IP-SUB n63_a_wilde_2_1888_25->n63_a_wilde_2_1888_26 n63_a_wilde_2_1888_27 C n63_a_wilde_2_1888_26->n63_a_wilde_2_1888_27 n63_a_wilde_2_1888_29 NP-SBJ n63_a_wilde_2_1888_26->n63_a_wilde_2_1888_29 n63_a_wilde_2_1888_34 BED;_La_ n63_a_wilde_2_1888_26->n63_a_wilde_2_1888_34 n63_a_wilde_2_1888_36 NEG n63_a_wilde_2_1888_26->n63_a_wilde_2_1888_36 n63_a_wilde_2_1888_38 ADJP-PRD n63_a_wilde_2_1888_26->n63_a_wilde_2_1888_38 n63_a_wilde_2_1888_41 ADVP-NIM n63_a_wilde_2_1888_26->n63_a_wilde_2_1888_41 n63_a_wilde_2_1888_27->n63_a_wilde_2_1888_28 n63_a_wilde_2_1888_30 D n63_a_wilde_2_1888_29->n63_a_wilde_2_1888_30 n63_a_wilde_2_1888_32 N n63_a_wilde_2_1888_29->n63_a_wilde_2_1888_32 n63_a_wilde_2_1888_30->n63_a_wilde_2_1888_31 n63_a_wilde_2_1888_32->n63_a_wilde_2_1888_33 n63_a_wilde_2_1888_34->n63_a_wilde_2_1888_35 n63_a_wilde_2_1888_36->n63_a_wilde_2_1888_37 n63_a_wilde_2_1888_39 ADJ n63_a_wilde_2_1888_38->n63_a_wilde_2_1888_39 n63_a_wilde_2_1888_39->n63_a_wilde_2_1888_40 n63_a_wilde_2_1888_42 NP n63_a_wilde_2_1888_41->n63_a_wilde_2_1888_42 n63_a_wilde_2_1888_45 ADVR n63_a_wilde_2_1888_41->n63_a_wilde_2_1888_45 n63_a_wilde_2_1888_43 D;_nphd_ n63_a_wilde_2_1888_42->n63_a_wilde_2_1888_43 n63_a_wilde_2_1888_43->n63_a_wilde_2_1888_44 n63_a_wilde_2_1888_45->n63_a_wilde_2_1888_46 n63_a_wilde_2_1888_47->n63_a_wilde_2_1888_48 n63_a_wilde_2_1888_49->n63_a_wilde_2_1888_50 n63_a_wilde_2_1888_52 VAG;_Ip_ n63_a_wilde_2_1888_51->n63_a_wilde_2_1888_52 n63_a_wilde_2_1888_54 ADVP-CLR n63_a_wilde_2_1888_51->n63_a_wilde_2_1888_54 n63_a_wilde_2_1888_52->n63_a_wilde_2_1888_53 n63_a_wilde_2_1888_55 RP n63_a_wilde_2_1888_54->n63_a_wilde_2_1888_55 n63_a_wilde_2_1888_55->n63_a_wilde_2_1888_56 n63_a_wilde_2_1888_57->n63_a_wilde_2_1888_58 n63_a_wilde_2_1888_60 CONJ n63_a_wilde_2_1888_59->n63_a_wilde_2_1888_60 n63_a_wilde_2_1888_62 ILYR n63_a_wilde_2_1888_59->n63_a_wilde_2_1888_62 n63_a_wilde_2_1888_60->n63_a_wilde_2_1888_61 n63_a_wilde_2_1888_63 PP-TPC-NIM n63_a_wilde_2_1888_62->n63_a_wilde_2_1888_63 n63_a_wilde_2_1888_69 VBD;_I_ n63_a_wilde_2_1888_62->n63_a_wilde_2_1888_69 n63_a_wilde_2_1888_71 NP-SBJ n63_a_wilde_2_1888_62->n63_a_wilde_2_1888_71 n63_a_wilde_2_1888_64 P-ROLE n63_a_wilde_2_1888_63->n63_a_wilde_2_1888_64 n63_a_wilde_2_1888_66 NP n63_a_wilde_2_1888_63->n63_a_wilde_2_1888_66 n63_a_wilde_2_1888_64->n63_a_wilde_2_1888_65 n63_a_wilde_2_1888_67 PRO n63_a_wilde_2_1888_66->n63_a_wilde_2_1888_67 n63_a_wilde_2_1888_67->n63_a_wilde_2_1888_68 n63_a_wilde_2_1888_69->n63_a_wilde_2_1888_70 n63_a_wilde_2_1888_72 D n63_a_wilde_2_1888_71->n63_a_wilde_2_1888_72 n63_a_wilde_2_1888_74 NPR n63_a_wilde_2_1888_71->n63_a_wilde_2_1888_74 n63_a_wilde_2_1888_72->n63_a_wilde_2_1888_73 n63_a_wilde_2_1888_74->n63_a_wilde_2_1888_75 n63_a_wilde_2_1888_76->n63_a_wilde_2_1888_77 
( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
                      (NP-SBJ;{CHILDREN} (D the;{the})
                                         (ADJP (ADJ other;{other}))
                                         (NS children;{child}))
                      (PUNC ,)
                      (PP-SCON (P-CONN when;{when})
                               (IP-ADV (NP-SBJ;{CHILDREN} (PRO they;{they}))
                                       (VBD;_Tf_ saw;{see})
                                       (CP-THT-OB1 (IP-SUB (C that;{that})
                                                           (NP-SBJ;{GIANT} (D the;{the})
                                                                           (N Giant;{giant}))
                                                           (BED;_La_ was;{be})
                                                           (NEG not;{not})
                                                           (ADJP-PRD (ADJ wicked;{wicked}))
                                                           (ADVP-NIM (NP (D;_nphd_ any;{any}))
                                                                     (ADVR longer;{long}))))))
                      (PUNC ,)
                      (VBD;_cat_Vg_ came;{come})
                      (IP-PPL-CAT (VAG;_Ip_ running;{run[back]})
                                  (ADVP-CLR (RP back;{back}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-TPC-NIM (P-ROLE with;{with})
                                         (NP;{CHILDREN} (PRO them;{they})))
                             (VBD;_I_ came;{come})
                             (NP-SBJ (D the;{the})
                                     (NPR Spring;{Spring})))))
          (PUNC .))
  (ID 63_a_wilde_2_1888))