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_0025__came came r_0063_0026__the_r_0063_0027__Spring the Spring r_0063_0025__came->r_0063_0026__the_r_0063_0027__Spring [arg0] r_0063_0002__the_r_0063_0004__children the children r_0063_0025__came->r_0063_0002__the_r_0063_0004__children with [nim] r_0063_0003__other other r_0063_0002__the_r_0063_0004__children->r_0063_0003__other [attrib] r_0063_0022__and and r_0063_0022__and->r_0063_0025__came [conj2] r_0063_0006__when when r_0063_0022__and->r_0063_0006__when [conj1] r_0063_0001__And_r_0063_0018__came_r_0063_0019__running And came running 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_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_0016__longer longer r_0063_0015__any any r_0063_0016__longer->r_0063_0015__any [nim] r_0063_0013__not not 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_0009__that_r_0063_0012__was->r_0063_0016__longer [nim] r_0063_0014__wicked wicked r_0063_0009__that_r_0063_0012__was->r_0063_0014__wicked [prd] 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_0008__saw->r_0063_0013__not [arg1] r_0063_0007__they they r_0063_0008__saw->r_0063_0007__they [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__1_1_1_1_1 And n63_a_wilde_2_1888__1_1_1_2_1_1 the n63_a_wilde_2_1888__1_1_1_2_2_1_1 other n63_a_wilde_2_1888__1_1_1_2_3_1 children n63_a_wilde_2_1888__1_1_1_3_1 , n63_a_wilde_2_1888__1_1_1_4_1_1 when n63_a_wilde_2_1888__1_1_1_4_2_1_1_1 they n63_a_wilde_2_1888__1_1_1_4_2_2_1 saw n63_a_wilde_2_1888__1_1_1_4_2_3_1_1_1 that n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_1_1 the n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_2_1 Giant n63_a_wilde_2_1888__1_1_1_4_2_3_1_3_1 was n63_a_wilde_2_1888__1_1_1_4_2_3_1_4_1 not n63_a_wilde_2_1888__1_1_1_4_2_3_1_5_1_1 wicked n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1_1_1 any n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_2_1 longer n63_a_wilde_2_1888__1_1_1_5_1 , n63_a_wilde_2_1888__1_1_1_6_1 came n63_a_wilde_2_1888__1_1_1_7_1_1 running n63_a_wilde_2_1888__1_1_1_7_2_1_1 back n63_a_wilde_2_1888__1_1_2_1 , n63_a_wilde_2_1888__1_1_3_1_1 and n63_a_wilde_2_1888__1_1_3_2_1_1_1 with n63_a_wilde_2_1888__1_1_3_2_1_2_1_1 them n63_a_wilde_2_1888__1_1_3_2_2_1 came n63_a_wilde_2_1888__1_1_3_2_3_1_1 the n63_a_wilde_2_1888__1_1_3_2_3_2_1 Spring n63_a_wilde_2_1888__1_2_1 . n63_a_wilde_2_1888__1 IP-MAT n63_a_wilde_2_1888__1_1 ILYR n63_a_wilde_2_1888__1->n63_a_wilde_2_1888__1_1 n63_a_wilde_2_1888__1_2 PUNC n63_a_wilde_2_1888__1->n63_a_wilde_2_1888__1_2 n63_a_wilde_2_1888__1_1_1 ILYR n63_a_wilde_2_1888__1_1->n63_a_wilde_2_1888__1_1_1 n63_a_wilde_2_1888__1_1_2 PUNC n63_a_wilde_2_1888__1_1->n63_a_wilde_2_1888__1_1_2 n63_a_wilde_2_1888__1_1_3 CONJP n63_a_wilde_2_1888__1_1->n63_a_wilde_2_1888__1_1_3 n63_a_wilde_2_1888__1_1_1_1 CONJ;_cl_ n63_a_wilde_2_1888__1_1_1->n63_a_wilde_2_1888__1_1_1_1 n63_a_wilde_2_1888__1_1_1_2 NP-SBJ n63_a_wilde_2_1888__1_1_1->n63_a_wilde_2_1888__1_1_1_2 n63_a_wilde_2_1888__1_1_1_3 PUNC n63_a_wilde_2_1888__1_1_1->n63_a_wilde_2_1888__1_1_1_3 n63_a_wilde_2_1888__1_1_1_4 PP-SCON n63_a_wilde_2_1888__1_1_1->n63_a_wilde_2_1888__1_1_1_4 n63_a_wilde_2_1888__1_1_1_5 PUNC n63_a_wilde_2_1888__1_1_1->n63_a_wilde_2_1888__1_1_1_5 n63_a_wilde_2_1888__1_1_1_6 VBD;_cat_Vg_ n63_a_wilde_2_1888__1_1_1->n63_a_wilde_2_1888__1_1_1_6 n63_a_wilde_2_1888__1_1_1_7 IP-PPL-CAT n63_a_wilde_2_1888__1_1_1->n63_a_wilde_2_1888__1_1_1_7 n63_a_wilde_2_1888__1_1_1_1->n63_a_wilde_2_1888__1_1_1_1_1 n63_a_wilde_2_1888__1_1_1_2_1 D n63_a_wilde_2_1888__1_1_1_2->n63_a_wilde_2_1888__1_1_1_2_1 n63_a_wilde_2_1888__1_1_1_2_2 ADJP n63_a_wilde_2_1888__1_1_1_2->n63_a_wilde_2_1888__1_1_1_2_2 n63_a_wilde_2_1888__1_1_1_2_3 NS n63_a_wilde_2_1888__1_1_1_2->n63_a_wilde_2_1888__1_1_1_2_3 n63_a_wilde_2_1888__1_1_1_2_1->n63_a_wilde_2_1888__1_1_1_2_1_1 n63_a_wilde_2_1888__1_1_1_2_2_1 ADJ n63_a_wilde_2_1888__1_1_1_2_2->n63_a_wilde_2_1888__1_1_1_2_2_1 n63_a_wilde_2_1888__1_1_1_2_2_1->n63_a_wilde_2_1888__1_1_1_2_2_1_1 n63_a_wilde_2_1888__1_1_1_2_3->n63_a_wilde_2_1888__1_1_1_2_3_1 n63_a_wilde_2_1888__1_1_1_3->n63_a_wilde_2_1888__1_1_1_3_1 n63_a_wilde_2_1888__1_1_1_4_1 P-CONN n63_a_wilde_2_1888__1_1_1_4->n63_a_wilde_2_1888__1_1_1_4_1 n63_a_wilde_2_1888__1_1_1_4_2 IP-ADV n63_a_wilde_2_1888__1_1_1_4->n63_a_wilde_2_1888__1_1_1_4_2 n63_a_wilde_2_1888__1_1_1_4_1->n63_a_wilde_2_1888__1_1_1_4_1_1 n63_a_wilde_2_1888__1_1_1_4_2_1 NP-SBJ n63_a_wilde_2_1888__1_1_1_4_2->n63_a_wilde_2_1888__1_1_1_4_2_1 n63_a_wilde_2_1888__1_1_1_4_2_2 VBD;_Tf_ n63_a_wilde_2_1888__1_1_1_4_2->n63_a_wilde_2_1888__1_1_1_4_2_2 n63_a_wilde_2_1888__1_1_1_4_2_3 CP-THT-OB1 n63_a_wilde_2_1888__1_1_1_4_2->n63_a_wilde_2_1888__1_1_1_4_2_3 n63_a_wilde_2_1888__1_1_1_4_2_1_1 PRO n63_a_wilde_2_1888__1_1_1_4_2_1->n63_a_wilde_2_1888__1_1_1_4_2_1_1 n63_a_wilde_2_1888__1_1_1_4_2_1_1->n63_a_wilde_2_1888__1_1_1_4_2_1_1_1 n63_a_wilde_2_1888__1_1_1_4_2_2->n63_a_wilde_2_1888__1_1_1_4_2_2_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1 IP-SUB n63_a_wilde_2_1888__1_1_1_4_2_3->n63_a_wilde_2_1888__1_1_1_4_2_3_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_1 C n63_a_wilde_2_1888__1_1_1_4_2_3_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_2 NP-SBJ n63_a_wilde_2_1888__1_1_1_4_2_3_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_2 n63_a_wilde_2_1888__1_1_1_4_2_3_1_3 BED;_La_ n63_a_wilde_2_1888__1_1_1_4_2_3_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_3 n63_a_wilde_2_1888__1_1_1_4_2_3_1_4 NEG n63_a_wilde_2_1888__1_1_1_4_2_3_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_4 n63_a_wilde_2_1888__1_1_1_4_2_3_1_5 ADJP-PRD n63_a_wilde_2_1888__1_1_1_4_2_3_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_5 n63_a_wilde_2_1888__1_1_1_4_2_3_1_6 ADVP-NIM n63_a_wilde_2_1888__1_1_1_4_2_3_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_6 n63_a_wilde_2_1888__1_1_1_4_2_3_1_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_1_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_1 D n63_a_wilde_2_1888__1_1_1_4_2_3_1_2->n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_2 N n63_a_wilde_2_1888__1_1_1_4_2_3_1_2->n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_2 n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_1_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_2->n63_a_wilde_2_1888__1_1_1_4_2_3_1_2_2_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_3->n63_a_wilde_2_1888__1_1_1_4_2_3_1_3_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_4->n63_a_wilde_2_1888__1_1_1_4_2_3_1_4_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_5_1 ADJ n63_a_wilde_2_1888__1_1_1_4_2_3_1_5->n63_a_wilde_2_1888__1_1_1_4_2_3_1_5_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_5_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_5_1_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1 NP n63_a_wilde_2_1888__1_1_1_4_2_3_1_6->n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_2 ADVR n63_a_wilde_2_1888__1_1_1_4_2_3_1_6->n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_2 n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1_1 D;_nphd_ n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1_1->n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_1_1_1 n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_2->n63_a_wilde_2_1888__1_1_1_4_2_3_1_6_2_1 n63_a_wilde_2_1888__1_1_1_5->n63_a_wilde_2_1888__1_1_1_5_1 n63_a_wilde_2_1888__1_1_1_6->n63_a_wilde_2_1888__1_1_1_6_1 n63_a_wilde_2_1888__1_1_1_7_1 VAG;_Ip_ n63_a_wilde_2_1888__1_1_1_7->n63_a_wilde_2_1888__1_1_1_7_1 n63_a_wilde_2_1888__1_1_1_7_2 ADVP-CLR n63_a_wilde_2_1888__1_1_1_7->n63_a_wilde_2_1888__1_1_1_7_2 n63_a_wilde_2_1888__1_1_1_7_1->n63_a_wilde_2_1888__1_1_1_7_1_1 n63_a_wilde_2_1888__1_1_1_7_2_1 RP n63_a_wilde_2_1888__1_1_1_7_2->n63_a_wilde_2_1888__1_1_1_7_2_1 n63_a_wilde_2_1888__1_1_1_7_2_1->n63_a_wilde_2_1888__1_1_1_7_2_1_1 n63_a_wilde_2_1888__1_1_2->n63_a_wilde_2_1888__1_1_2_1 n63_a_wilde_2_1888__1_1_3_1 CONJ n63_a_wilde_2_1888__1_1_3->n63_a_wilde_2_1888__1_1_3_1 n63_a_wilde_2_1888__1_1_3_2 ILYR n63_a_wilde_2_1888__1_1_3->n63_a_wilde_2_1888__1_1_3_2 n63_a_wilde_2_1888__1_1_3_1->n63_a_wilde_2_1888__1_1_3_1_1 n63_a_wilde_2_1888__1_1_3_2_1 PP-TPC-NIM n63_a_wilde_2_1888__1_1_3_2->n63_a_wilde_2_1888__1_1_3_2_1 n63_a_wilde_2_1888__1_1_3_2_2 VBD;_I_ n63_a_wilde_2_1888__1_1_3_2->n63_a_wilde_2_1888__1_1_3_2_2 n63_a_wilde_2_1888__1_1_3_2_3 NP-SBJ n63_a_wilde_2_1888__1_1_3_2->n63_a_wilde_2_1888__1_1_3_2_3 n63_a_wilde_2_1888__1_1_3_2_1_1 P-ROLE n63_a_wilde_2_1888__1_1_3_2_1->n63_a_wilde_2_1888__1_1_3_2_1_1 n63_a_wilde_2_1888__1_1_3_2_1_2 NP n63_a_wilde_2_1888__1_1_3_2_1->n63_a_wilde_2_1888__1_1_3_2_1_2 n63_a_wilde_2_1888__1_1_3_2_1_1->n63_a_wilde_2_1888__1_1_3_2_1_1_1 n63_a_wilde_2_1888__1_1_3_2_1_2_1 PRO n63_a_wilde_2_1888__1_1_3_2_1_2->n63_a_wilde_2_1888__1_1_3_2_1_2_1 n63_a_wilde_2_1888__1_1_3_2_1_2_1->n63_a_wilde_2_1888__1_1_3_2_1_2_1_1 n63_a_wilde_2_1888__1_1_3_2_2->n63_a_wilde_2_1888__1_1_3_2_2_1 n63_a_wilde_2_1888__1_1_3_2_3_1 D n63_a_wilde_2_1888__1_1_3_2_3->n63_a_wilde_2_1888__1_1_3_2_3_1 n63_a_wilde_2_1888__1_1_3_2_3_2 NPR n63_a_wilde_2_1888__1_1_3_2_3->n63_a_wilde_2_1888__1_1_3_2_3_2 n63_a_wilde_2_1888__1_1_3_2_3_1->n63_a_wilde_2_1888__1_1_3_2_3_1_1 n63_a_wilde_2_1888__1_1_3_2_3_2->n63_a_wilde_2_1888__1_1_3_2_3_2_1 n63_a_wilde_2_1888__1_2->n63_a_wilde_2_1888__1_2_1 
( (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))