Context                Previous, Next                Top


37_a_wilde_2_1888
So it was always Winter there, and the North Wind and the Hail, and the Frost, and the Snow danced about through the trees.

%3 r_0037_0003__was was r_0037_0001__So So r_0037_0003__was->r_0037_0001__So [nim] r_0037_0004__always always r_0037_0003__was->r_0037_0004__always [nim] r_0037_0005__Winter Winter r_0037_0003__was->r_0037_0005__Winter [prd] r_0037_0006__there there r_0037_0003__was->r_0037_0006__there [nim] r_0037_0008__and and r_0037_0008__and->r_0037_0003__was [conj1] r_0037_0023__danced_r_0037_0024__about danced about r_0037_0008__and->r_0037_0023__danced_r_0037_0024__about [conj2] r_0037_0020__and_r_0037_0016__and_r_0037_0012__and and and and r_0037_0023__danced_r_0037_0024__about->r_0037_0020__and_r_0037_0016__and_r_0037_0012__and [arg0] r_0037_0026__the_r_0037_0027__trees the trees r_0037_0023__danced_r_0037_0024__about->r_0037_0026__the_r_0037_0027__trees through [nim] r_0037_0009__the_r_0037_0010__North_r_0037_0011__Wind the North Wind r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0009__the_r_0037_0010__North_r_0037_0011__Wind [conj1] r_0037_0013__the_r_0037_0014__Hail the Hail r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0013__the_r_0037_0014__Hail [conj2] r_0037_0017__the_r_0037_0018__Frost the Frost r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0017__the_r_0037_0018__Frost [conj3] r_0037_0021__the_r_0037_0022__Snow the Snow r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0021__the_r_0037_0022__Snow [conj4] 
arc(r_0037_0003__was, r_0037_0001__So, nim4).
arc(r_0037_0003__was, r_0037_0004__always, nim12).
arc(r_0037_0003__was, r_0037_0005__Winter, prd).
arc(r_0037_0003__was, r_0037_0006__there, nim18).
arc(r_0037_0008__and, r_0037_0003__was, conj1).
arc(r_0037_0008__and, r_0037_0023__danced_r_0037_0024__about, conj2).
arc(r_0037_0020__and_r_0037_0016__and_r_0037_0012__and, r_0037_0009__the_r_0037_0010__North_r_0037_0011__Wind, conj1).
arc(r_0037_0020__and_r_0037_0016__and_r_0037_0012__and, r_0037_0013__the_r_0037_0014__Hail, conj2).
arc(r_0037_0020__and_r_0037_0016__and_r_0037_0012__and, r_0037_0017__the_r_0037_0018__Frost, conj3).
arc(r_0037_0020__and_r_0037_0016__and_r_0037_0012__and, r_0037_0021__the_r_0037_0022__Snow, conj4).
arc(r_0037_0023__danced_r_0037_0024__about, r_0037_0020__and_r_0037_0016__and_r_0037_0012__and, arg0).
arc(r_0037_0023__danced_r_0037_0024__about, r_0037_0026__the_r_0037_0027__trees, r_0037_0025__through_nim71).


%3 r_0037_0023__danced_r_0037_0024__about danced about r_0037_0026__the_r_0037_0027__trees the trees r_0037_0023__danced_r_0037_0024__about->r_0037_0026__the_r_0037_0027__trees through [nim] r_0037_0020__and_r_0037_0016__and_r_0037_0012__and and and and r_0037_0023__danced_r_0037_0024__about->r_0037_0020__and_r_0037_0016__and_r_0037_0012__and [arg0] r_0037_0021__the_r_0037_0022__Snow the Snow r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0021__the_r_0037_0022__Snow [conj4] r_0037_0017__the_r_0037_0018__Frost the Frost r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0017__the_r_0037_0018__Frost [conj3] r_0037_0013__the_r_0037_0014__Hail the Hail r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0013__the_r_0037_0014__Hail [conj2] r_0037_0009__the_r_0037_0010__North_r_0037_0011__Wind the North Wind r_0037_0020__and_r_0037_0016__and_r_0037_0012__and->r_0037_0009__the_r_0037_0010__North_r_0037_0011__Wind [conj1] r_0037_0008__and and r_0037_0008__and->r_0037_0023__danced_r_0037_0024__about [conj2] r_0037_0003__was was r_0037_0008__and->r_0037_0003__was [conj1] r_0037_0006__there there r_0037_0003__was->r_0037_0006__there [nim] r_0037_0005__Winter Winter r_0037_0003__was->r_0037_0005__Winter [prd] r_0037_0004__always always r_0037_0003__was->r_0037_0004__always [nim] r_0037_0001__So So r_0037_0003__was->r_0037_0001__So [nim] 
fof(formula,axiom,
    ? [R_37_8_AND,R_37_3_WAS,R_37_4_ALWAYS,R_37_6_THERE,R_37_1_SO,R_37_5_WINTER,R_37_23_DANCED_ABOUT,R_37_20_AND_AND_AND,R_37_9_THE_NORTH_WIND,R_37_13_THE_HAIL,R_37_17_THE_FROST,R_37_21_THE_SNOW,R_37_26_THE_TREES] :
      ( always(R_37_4_ALWAYS)
      & there(R_37_6_THERE)
      & so(R_37_1_SO)
      & winter(R_37_5_WINTER)
      & the_North_Wind(R_37_9_THE_NORTH_WIND)
      & the_Hail(R_37_13_THE_HAIL)
      & the_Frost(R_37_17_THE_FROST)
      & the_Snow(R_37_21_THE_SNOW)
      & the_trees(R_37_26_THE_TREES)
      & and(R_37_8_AND)
      & conj1(R_37_8_AND,R_37_3_WAS)
      & was(R_37_3_WAS)
      & nim12(R_37_3_WAS,R_37_4_ALWAYS)
      & nim18(R_37_3_WAS,R_37_6_THERE)
      & nim4(R_37_3_WAS,R_37_1_SO)
      & prd(R_37_3_WAS,R_37_5_WINTER)
      & conj2(R_37_8_AND,R_37_23_DANCED_ABOUT)
      & danced_about(R_37_23_DANCED_ABOUT,R_37_20_AND_AND_AND)
      & and_and_and(R_37_20_AND_AND_AND)
      & conj1(R_37_20_AND_AND_AND,R_37_9_THE_NORTH_WIND)
      & conj2(R_37_20_AND_AND_AND,R_37_13_THE_HAIL)
      & conj3(R_37_20_AND_AND_AND,R_37_17_THE_FROST)
      & conj4(R_37_20_AND_AND_AND,R_37_21_THE_SNOW)
      & through_nim71(R_37_23_DANCED_ABOUT,R_37_26_THE_TREES) ) ).


n37_a_wilde_2_1888 n37_a_wilde_2_1888__1_1_1_1_1_1 So n37_a_wilde_2_1888__1_1_1_2_1_1 it n37_a_wilde_2_1888__1_1_1_3_1 was n37_a_wilde_2_1888__1_1_1_4_1_1 always n37_a_wilde_2_1888__1_1_1_5_1_1 Winter n37_a_wilde_2_1888__1_1_1_6_1_1 there n37_a_wilde_2_1888__1_1_2_1 , n37_a_wilde_2_1888__1_1_3_1_1 and n37_a_wilde_2_1888__1_1_3_2_1_1_1_1_1 the n37_a_wilde_2_1888__1_1_3_2_1_1_1_2_1 North n37_a_wilde_2_1888__1_1_3_2_1_1_1_3_1 Wind n37_a_wilde_2_1888__1_1_3_2_1_1_2_1_1 and n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_1_1 the n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_2_1 Hail n37_a_wilde_2_1888__1_1_3_2_1_1_3_1 , n37_a_wilde_2_1888__1_1_3_2_1_1_4_1_1 and n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_1_1 the n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_2_1 Frost n37_a_wilde_2_1888__1_1_3_2_1_1_5_1 , n37_a_wilde_2_1888__1_1_3_2_1_1_6_1_1 and n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_1_1 the n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_2_1 Snow n37_a_wilde_2_1888__1_1_3_2_2_1 danced n37_a_wilde_2_1888__1_1_3_2_3_1 about n37_a_wilde_2_1888__1_1_3_2_4_1_1 through n37_a_wilde_2_1888__1_1_3_2_4_2_1_1 the n37_a_wilde_2_1888__1_1_3_2_4_2_2_1 trees n37_a_wilde_2_1888__1_2_1 . n37_a_wilde_2_1888__1 IP-MAT n37_a_wilde_2_1888__1_1 ILYR n37_a_wilde_2_1888__1->n37_a_wilde_2_1888__1_1 n37_a_wilde_2_1888__1_2 PUNC n37_a_wilde_2_1888__1->n37_a_wilde_2_1888__1_2 n37_a_wilde_2_1888__1_1_1 ILYR n37_a_wilde_2_1888__1_1->n37_a_wilde_2_1888__1_1_1 n37_a_wilde_2_1888__1_1_2 PUNC n37_a_wilde_2_1888__1_1->n37_a_wilde_2_1888__1_1_2 n37_a_wilde_2_1888__1_1_3 CONJP n37_a_wilde_2_1888__1_1->n37_a_wilde_2_1888__1_1_3 n37_a_wilde_2_1888__1_1_1_1 ADVP-NIM n37_a_wilde_2_1888__1_1_1->n37_a_wilde_2_1888__1_1_1_1 n37_a_wilde_2_1888__1_1_1_2 NP-SBJ n37_a_wilde_2_1888__1_1_1->n37_a_wilde_2_1888__1_1_1_2 n37_a_wilde_2_1888__1_1_1_3 BED;_Ln_ n37_a_wilde_2_1888__1_1_1->n37_a_wilde_2_1888__1_1_1_3 n37_a_wilde_2_1888__1_1_1_4 ADVP-NIM n37_a_wilde_2_1888__1_1_1->n37_a_wilde_2_1888__1_1_1_4 n37_a_wilde_2_1888__1_1_1_5 NP-PRD n37_a_wilde_2_1888__1_1_1->n37_a_wilde_2_1888__1_1_1_5 n37_a_wilde_2_1888__1_1_1_6 ADVP-NIM n37_a_wilde_2_1888__1_1_1->n37_a_wilde_2_1888__1_1_1_6 n37_a_wilde_2_1888__1_1_1_1_1 ADV n37_a_wilde_2_1888__1_1_1_1->n37_a_wilde_2_1888__1_1_1_1_1 n37_a_wilde_2_1888__1_1_1_1_1->n37_a_wilde_2_1888__1_1_1_1_1_1 n37_a_wilde_2_1888__1_1_1_2_1 PRO;_expletive_ n37_a_wilde_2_1888__1_1_1_2->n37_a_wilde_2_1888__1_1_1_2_1 n37_a_wilde_2_1888__1_1_1_2_1->n37_a_wilde_2_1888__1_1_1_2_1_1 n37_a_wilde_2_1888__1_1_1_3->n37_a_wilde_2_1888__1_1_1_3_1 n37_a_wilde_2_1888__1_1_1_4_1 ADV n37_a_wilde_2_1888__1_1_1_4->n37_a_wilde_2_1888__1_1_1_4_1 n37_a_wilde_2_1888__1_1_1_4_1->n37_a_wilde_2_1888__1_1_1_4_1_1 n37_a_wilde_2_1888__1_1_1_5_1 N n37_a_wilde_2_1888__1_1_1_5->n37_a_wilde_2_1888__1_1_1_5_1 n37_a_wilde_2_1888__1_1_1_5_1->n37_a_wilde_2_1888__1_1_1_5_1_1 n37_a_wilde_2_1888__1_1_1_6_1 ADV n37_a_wilde_2_1888__1_1_1_6->n37_a_wilde_2_1888__1_1_1_6_1 n37_a_wilde_2_1888__1_1_1_6_1->n37_a_wilde_2_1888__1_1_1_6_1_1 n37_a_wilde_2_1888__1_1_2->n37_a_wilde_2_1888__1_1_2_1 n37_a_wilde_2_1888__1_1_3_1 CONJ n37_a_wilde_2_1888__1_1_3->n37_a_wilde_2_1888__1_1_3_1 n37_a_wilde_2_1888__1_1_3_2 ILYR n37_a_wilde_2_1888__1_1_3->n37_a_wilde_2_1888__1_1_3_2 n37_a_wilde_2_1888__1_1_3_1->n37_a_wilde_2_1888__1_1_3_1_1 n37_a_wilde_2_1888__1_1_3_2_1 NP-SBJ n37_a_wilde_2_1888__1_1_3_2->n37_a_wilde_2_1888__1_1_3_2_1 n37_a_wilde_2_1888__1_1_3_2_2 VBD;__ n37_a_wilde_2_1888__1_1_3_2->n37_a_wilde_2_1888__1_1_3_2_2 n37_a_wilde_2_1888__1_1_3_2_3 RP n37_a_wilde_2_1888__1_1_3_2->n37_a_wilde_2_1888__1_1_3_2_3 n37_a_wilde_2_1888__1_1_3_2_4 PP-NIM n37_a_wilde_2_1888__1_1_3_2->n37_a_wilde_2_1888__1_1_3_2_4 n37_a_wilde_2_1888__1_1_3_2_1_1 NLYR n37_a_wilde_2_1888__1_1_3_2_1->n37_a_wilde_2_1888__1_1_3_2_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_1 NLYR n37_a_wilde_2_1888__1_1_3_2_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_2 CONJP n37_a_wilde_2_1888__1_1_3_2_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_2 n37_a_wilde_2_1888__1_1_3_2_1_1_3 PUNC n37_a_wilde_2_1888__1_1_3_2_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_3 n37_a_wilde_2_1888__1_1_3_2_1_1_4 CONJP n37_a_wilde_2_1888__1_1_3_2_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_4 n37_a_wilde_2_1888__1_1_3_2_1_1_5 PUNC n37_a_wilde_2_1888__1_1_3_2_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_5 n37_a_wilde_2_1888__1_1_3_2_1_1_6 CONJP n37_a_wilde_2_1888__1_1_3_2_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_6 n37_a_wilde_2_1888__1_1_3_2_1_1_1_1 D n37_a_wilde_2_1888__1_1_3_2_1_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_1_2 N n37_a_wilde_2_1888__1_1_3_2_1_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_1_2 n37_a_wilde_2_1888__1_1_3_2_1_1_1_3 N n37_a_wilde_2_1888__1_1_3_2_1_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_1_3 n37_a_wilde_2_1888__1_1_3_2_1_1_1_1->n37_a_wilde_2_1888__1_1_3_2_1_1_1_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_1_2->n37_a_wilde_2_1888__1_1_3_2_1_1_1_2_1 n37_a_wilde_2_1888__1_1_3_2_1_1_1_3->n37_a_wilde_2_1888__1_1_3_2_1_1_1_3_1 n37_a_wilde_2_1888__1_1_3_2_1_1_2_1 CONJ n37_a_wilde_2_1888__1_1_3_2_1_1_2->n37_a_wilde_2_1888__1_1_3_2_1_1_2_1 n37_a_wilde_2_1888__1_1_3_2_1_1_2_2 NLYR n37_a_wilde_2_1888__1_1_3_2_1_1_2->n37_a_wilde_2_1888__1_1_3_2_1_1_2_2 n37_a_wilde_2_1888__1_1_3_2_1_1_2_1->n37_a_wilde_2_1888__1_1_3_2_1_1_2_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_1 D n37_a_wilde_2_1888__1_1_3_2_1_1_2_2->n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_1 n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_2 N n37_a_wilde_2_1888__1_1_3_2_1_1_2_2->n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_2 n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_1->n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_2->n37_a_wilde_2_1888__1_1_3_2_1_1_2_2_2_1 n37_a_wilde_2_1888__1_1_3_2_1_1_3->n37_a_wilde_2_1888__1_1_3_2_1_1_3_1 n37_a_wilde_2_1888__1_1_3_2_1_1_4_1 CONJ n37_a_wilde_2_1888__1_1_3_2_1_1_4->n37_a_wilde_2_1888__1_1_3_2_1_1_4_1 n37_a_wilde_2_1888__1_1_3_2_1_1_4_2 NLYR n37_a_wilde_2_1888__1_1_3_2_1_1_4->n37_a_wilde_2_1888__1_1_3_2_1_1_4_2 n37_a_wilde_2_1888__1_1_3_2_1_1_4_1->n37_a_wilde_2_1888__1_1_3_2_1_1_4_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_1 D n37_a_wilde_2_1888__1_1_3_2_1_1_4_2->n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_1 n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_2 N n37_a_wilde_2_1888__1_1_3_2_1_1_4_2->n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_2 n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_1->n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_2->n37_a_wilde_2_1888__1_1_3_2_1_1_4_2_2_1 n37_a_wilde_2_1888__1_1_3_2_1_1_5->n37_a_wilde_2_1888__1_1_3_2_1_1_5_1 n37_a_wilde_2_1888__1_1_3_2_1_1_6_1 CONJ n37_a_wilde_2_1888__1_1_3_2_1_1_6->n37_a_wilde_2_1888__1_1_3_2_1_1_6_1 n37_a_wilde_2_1888__1_1_3_2_1_1_6_2 NLYR n37_a_wilde_2_1888__1_1_3_2_1_1_6->n37_a_wilde_2_1888__1_1_3_2_1_1_6_2 n37_a_wilde_2_1888__1_1_3_2_1_1_6_1->n37_a_wilde_2_1888__1_1_3_2_1_1_6_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_1 D n37_a_wilde_2_1888__1_1_3_2_1_1_6_2->n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_1 n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_2 N n37_a_wilde_2_1888__1_1_3_2_1_1_6_2->n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_2 n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_1->n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_1_1 n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_2->n37_a_wilde_2_1888__1_1_3_2_1_1_6_2_2_1 n37_a_wilde_2_1888__1_1_3_2_2->n37_a_wilde_2_1888__1_1_3_2_2_1 n37_a_wilde_2_1888__1_1_3_2_3->n37_a_wilde_2_1888__1_1_3_2_3_1 n37_a_wilde_2_1888__1_1_3_2_4_1 P-ROLE n37_a_wilde_2_1888__1_1_3_2_4->n37_a_wilde_2_1888__1_1_3_2_4_1 n37_a_wilde_2_1888__1_1_3_2_4_2 NP n37_a_wilde_2_1888__1_1_3_2_4->n37_a_wilde_2_1888__1_1_3_2_4_2 n37_a_wilde_2_1888__1_1_3_2_4_1->n37_a_wilde_2_1888__1_1_3_2_4_1_1 n37_a_wilde_2_1888__1_1_3_2_4_2_1 D n37_a_wilde_2_1888__1_1_3_2_4_2->n37_a_wilde_2_1888__1_1_3_2_4_2_1 n37_a_wilde_2_1888__1_1_3_2_4_2_2 NS n37_a_wilde_2_1888__1_1_3_2_4_2->n37_a_wilde_2_1888__1_1_3_2_4_2_2 n37_a_wilde_2_1888__1_1_3_2_4_2_1->n37_a_wilde_2_1888__1_1_3_2_4_2_1_1 n37_a_wilde_2_1888__1_1_3_2_4_2_2->n37_a_wilde_2_1888__1_1_3_2_4_2_2_1 n37_a_wilde_2_1888__1_2->n37_a_wilde_2_1888__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                      (NP-SBJ (PRO;_expletive_ it;{it}))
                      (BED;_Ln_ was;{be})
                      (ADVP-NIM (ADV always;{always}))
                      (NP-PRD (N Winter;{winter}))
                      (ADVP-NIM (ADV there;{there})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NLYR (NLYR (D the;{the})
                                                 (N North;{north})
                                                 (N Wind;{wind}))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (D the;{the})
                                                        (N Hail;{hail})))
                                           (PUNC ,)
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (D the;{the})
                                                        (N Frost;{frost})))
                                           (PUNC ,)
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (D the;{the})
                                                        (N Snow;{snow})))))
                             (VBD;__ danced;{dance})
                             (RP about;{about})
                             (PP-NIM (P-ROLE through;{through})
                                     (NP (D the;{the})
                                         (NS trees;{tree}))))))
          (PUNC .))
  (ID 37_a_wilde_2_1888))