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_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] 
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_6 So n37_a_wilde_2_1888_9 it n37_a_wilde_2_1888_11 was n37_a_wilde_2_1888_14 always n37_a_wilde_2_1888_17 Winter n37_a_wilde_2_1888_20 there n37_a_wilde_2_1888_22 , n37_a_wilde_2_1888_25 and n37_a_wilde_2_1888_31 the n37_a_wilde_2_1888_33 North n37_a_wilde_2_1888_35 Wind n37_a_wilde_2_1888_38 and n37_a_wilde_2_1888_41 the n37_a_wilde_2_1888_43 Hail n37_a_wilde_2_1888_45 , n37_a_wilde_2_1888_48 and n37_a_wilde_2_1888_51 the n37_a_wilde_2_1888_53 Frost n37_a_wilde_2_1888_55 , n37_a_wilde_2_1888_58 and n37_a_wilde_2_1888_61 the n37_a_wilde_2_1888_63 Snow n37_a_wilde_2_1888_65 danced n37_a_wilde_2_1888_67 about n37_a_wilde_2_1888_70 through n37_a_wilde_2_1888_73 the n37_a_wilde_2_1888_75 trees n37_a_wilde_2_1888_77 . n37_a_wilde_2_1888_1 IP-MAT n37_a_wilde_2_1888_2 ILYR n37_a_wilde_2_1888_1->n37_a_wilde_2_1888_2 n37_a_wilde_2_1888_76 PUNC n37_a_wilde_2_1888_1->n37_a_wilde_2_1888_76 n37_a_wilde_2_1888_3 ILYR n37_a_wilde_2_1888_2->n37_a_wilde_2_1888_3 n37_a_wilde_2_1888_21 PUNC n37_a_wilde_2_1888_2->n37_a_wilde_2_1888_21 n37_a_wilde_2_1888_23 CONJP n37_a_wilde_2_1888_2->n37_a_wilde_2_1888_23 n37_a_wilde_2_1888_4 ADVP-NIM n37_a_wilde_2_1888_3->n37_a_wilde_2_1888_4 n37_a_wilde_2_1888_7 NP-SBJ n37_a_wilde_2_1888_3->n37_a_wilde_2_1888_7 n37_a_wilde_2_1888_10 BED;_Ln_ n37_a_wilde_2_1888_3->n37_a_wilde_2_1888_10 n37_a_wilde_2_1888_12 ADVP-NIM n37_a_wilde_2_1888_3->n37_a_wilde_2_1888_12 n37_a_wilde_2_1888_15 NP-PRD n37_a_wilde_2_1888_3->n37_a_wilde_2_1888_15 n37_a_wilde_2_1888_18 ADVP-NIM n37_a_wilde_2_1888_3->n37_a_wilde_2_1888_18 n37_a_wilde_2_1888_5 ADV n37_a_wilde_2_1888_4->n37_a_wilde_2_1888_5 n37_a_wilde_2_1888_5->n37_a_wilde_2_1888_6 n37_a_wilde_2_1888_8 PRO;_expletive_ n37_a_wilde_2_1888_7->n37_a_wilde_2_1888_8 n37_a_wilde_2_1888_8->n37_a_wilde_2_1888_9 n37_a_wilde_2_1888_10->n37_a_wilde_2_1888_11 n37_a_wilde_2_1888_13 ADV n37_a_wilde_2_1888_12->n37_a_wilde_2_1888_13 n37_a_wilde_2_1888_13->n37_a_wilde_2_1888_14 n37_a_wilde_2_1888_16 N n37_a_wilde_2_1888_15->n37_a_wilde_2_1888_16 n37_a_wilde_2_1888_16->n37_a_wilde_2_1888_17 n37_a_wilde_2_1888_19 ADV n37_a_wilde_2_1888_18->n37_a_wilde_2_1888_19 n37_a_wilde_2_1888_19->n37_a_wilde_2_1888_20 n37_a_wilde_2_1888_21->n37_a_wilde_2_1888_22 n37_a_wilde_2_1888_24 CONJ n37_a_wilde_2_1888_23->n37_a_wilde_2_1888_24 n37_a_wilde_2_1888_26 ILYR n37_a_wilde_2_1888_23->n37_a_wilde_2_1888_26 n37_a_wilde_2_1888_24->n37_a_wilde_2_1888_25 n37_a_wilde_2_1888_27 NP-SBJ n37_a_wilde_2_1888_26->n37_a_wilde_2_1888_27 n37_a_wilde_2_1888_64 VBD;__ n37_a_wilde_2_1888_26->n37_a_wilde_2_1888_64 n37_a_wilde_2_1888_66 RP n37_a_wilde_2_1888_26->n37_a_wilde_2_1888_66 n37_a_wilde_2_1888_68 PP-NIM n37_a_wilde_2_1888_26->n37_a_wilde_2_1888_68 n37_a_wilde_2_1888_28 NLYR n37_a_wilde_2_1888_27->n37_a_wilde_2_1888_28 n37_a_wilde_2_1888_29 NLYR n37_a_wilde_2_1888_28->n37_a_wilde_2_1888_29 n37_a_wilde_2_1888_36 CONJP n37_a_wilde_2_1888_28->n37_a_wilde_2_1888_36 n37_a_wilde_2_1888_44 PUNC n37_a_wilde_2_1888_28->n37_a_wilde_2_1888_44 n37_a_wilde_2_1888_46 CONJP n37_a_wilde_2_1888_28->n37_a_wilde_2_1888_46 n37_a_wilde_2_1888_54 PUNC n37_a_wilde_2_1888_28->n37_a_wilde_2_1888_54 n37_a_wilde_2_1888_56 CONJP n37_a_wilde_2_1888_28->n37_a_wilde_2_1888_56 n37_a_wilde_2_1888_30 D n37_a_wilde_2_1888_29->n37_a_wilde_2_1888_30 n37_a_wilde_2_1888_32 N n37_a_wilde_2_1888_29->n37_a_wilde_2_1888_32 n37_a_wilde_2_1888_34 N n37_a_wilde_2_1888_29->n37_a_wilde_2_1888_34 n37_a_wilde_2_1888_30->n37_a_wilde_2_1888_31 n37_a_wilde_2_1888_32->n37_a_wilde_2_1888_33 n37_a_wilde_2_1888_34->n37_a_wilde_2_1888_35 n37_a_wilde_2_1888_37 CONJ n37_a_wilde_2_1888_36->n37_a_wilde_2_1888_37 n37_a_wilde_2_1888_39 NLYR n37_a_wilde_2_1888_36->n37_a_wilde_2_1888_39 n37_a_wilde_2_1888_37->n37_a_wilde_2_1888_38 n37_a_wilde_2_1888_40 D n37_a_wilde_2_1888_39->n37_a_wilde_2_1888_40 n37_a_wilde_2_1888_42 N n37_a_wilde_2_1888_39->n37_a_wilde_2_1888_42 n37_a_wilde_2_1888_40->n37_a_wilde_2_1888_41 n37_a_wilde_2_1888_42->n37_a_wilde_2_1888_43 n37_a_wilde_2_1888_44->n37_a_wilde_2_1888_45 n37_a_wilde_2_1888_47 CONJ n37_a_wilde_2_1888_46->n37_a_wilde_2_1888_47 n37_a_wilde_2_1888_49 NLYR n37_a_wilde_2_1888_46->n37_a_wilde_2_1888_49 n37_a_wilde_2_1888_47->n37_a_wilde_2_1888_48 n37_a_wilde_2_1888_50 D n37_a_wilde_2_1888_49->n37_a_wilde_2_1888_50 n37_a_wilde_2_1888_52 N n37_a_wilde_2_1888_49->n37_a_wilde_2_1888_52 n37_a_wilde_2_1888_50->n37_a_wilde_2_1888_51 n37_a_wilde_2_1888_52->n37_a_wilde_2_1888_53 n37_a_wilde_2_1888_54->n37_a_wilde_2_1888_55 n37_a_wilde_2_1888_57 CONJ n37_a_wilde_2_1888_56->n37_a_wilde_2_1888_57 n37_a_wilde_2_1888_59 NLYR n37_a_wilde_2_1888_56->n37_a_wilde_2_1888_59 n37_a_wilde_2_1888_57->n37_a_wilde_2_1888_58 n37_a_wilde_2_1888_60 D n37_a_wilde_2_1888_59->n37_a_wilde_2_1888_60 n37_a_wilde_2_1888_62 N n37_a_wilde_2_1888_59->n37_a_wilde_2_1888_62 n37_a_wilde_2_1888_60->n37_a_wilde_2_1888_61 n37_a_wilde_2_1888_62->n37_a_wilde_2_1888_63 n37_a_wilde_2_1888_64->n37_a_wilde_2_1888_65 n37_a_wilde_2_1888_66->n37_a_wilde_2_1888_67 n37_a_wilde_2_1888_69 P-ROLE n37_a_wilde_2_1888_68->n37_a_wilde_2_1888_69 n37_a_wilde_2_1888_71 NP n37_a_wilde_2_1888_68->n37_a_wilde_2_1888_71 n37_a_wilde_2_1888_69->n37_a_wilde_2_1888_70 n37_a_wilde_2_1888_72 D n37_a_wilde_2_1888_71->n37_a_wilde_2_1888_72 n37_a_wilde_2_1888_74 NS n37_a_wilde_2_1888_71->n37_a_wilde_2_1888_74 n37_a_wilde_2_1888_72->n37_a_wilde_2_1888_73 n37_a_wilde_2_1888_74->n37_a_wilde_2_1888_75 n37_a_wilde_2_1888_76->n37_a_wilde_2_1888_77 
( (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))