80_a_wilde_2_1888
He did not hate the winter now, for he knew that it was merely the Spring asleep, and that the flowers were resting.

%3 r_0080_0002__did_r_0080_0004__hate did hate r_0080_0001__He He r_0080_0002__did_r_0080_0004__hate->r_0080_0001__He [arg0] r_0080_0005__the_r_0080_0006__winter the winter r_0080_0002__did_r_0080_0004__hate->r_0080_0005__the_r_0080_0006__winter [arg1] r_0080_0007__now now r_0080_0002__did_r_0080_0004__hate->r_0080_0007__now [nim] r_0080_0003__not not r_0080_0009__for for r_0080_0003__not->r_0080_0009__for [keep_scope] r_0080_0009__for->r_0080_0002__did_r_0080_0004__hate [scope] r_0080_0011__knew knew r_0080_0009__for->r_0080_0011__knew [restriction] r_0080_0011__knew->r_0080_0001__He [arg0] r_0080_0020__and and r_0080_0011__knew->r_0080_0020__and [arg1] r_0080_0012__that_r_0080_0014__was that was r_0080_0020__and->r_0080_0012__that_r_0080_0014__was [conj1] r_0080_0021__that_r_0080_0024__were that were r_0080_0020__and->r_0080_0021__that_r_0080_0024__were [conj2] r_0080_0012__that_r_0080_0014__was->r_0080_0005__the_r_0080_0006__winter [arg0] r_0080_0015__merely merely r_0080_0012__that_r_0080_0014__was->r_0080_0015__merely [nim] r_0080_0016__the_r_0080_0017__Spring the Spring r_0080_0012__that_r_0080_0014__was->r_0080_0016__the_r_0080_0017__Spring [prd] r_0080_0018__asleep asleep r_0080_0016__the_r_0080_0017__Spring->r_0080_0018__asleep [attrib] r_0080_0022__the_r_0080_0023__flowers the flowers r_0080_0021__that_r_0080_0024__were->r_0080_0022__the_r_0080_0023__flowers [arg0] r_0080_0025__resting resting r_0080_0021__that_r_0080_0024__were->r_0080_0025__resting [prd]
arc(r_0080_0002__did_r_0080_0004__hate, r_0080_0001__He, arg0).
arc(r_0080_0002__did_r_0080_0004__hate, r_0080_0005__the_r_0080_0006__winter, arg1).
arc(r_0080_0002__did_r_0080_0004__hate, r_0080_0007__now, nim16).
arc(r_0080_0003__not, r_0080_0009__for, keep_scope).
arc(r_0080_0009__for, r_0080_0002__did_r_0080_0004__hate, scope).
arc(r_0080_0009__for, r_0080_0011__knew, restriction).
arc(r_0080_0011__knew, r_0080_0001__He, arg0).
arc(r_0080_0011__knew, r_0080_0020__and, arg1).
arc(r_0080_0012__that_r_0080_0014__was, r_0080_0005__the_r_0080_0006__winter, arg0).
arc(r_0080_0012__that_r_0080_0014__was, r_0080_0015__merely, nim41).
arc(r_0080_0012__that_r_0080_0014__was, r_0080_0016__the_r_0080_0017__Spring, prd).
arc(r_0080_0016__the_r_0080_0017__Spring, r_0080_0018__asleep, attrib49).
arc(r_0080_0020__and, r_0080_0012__that_r_0080_0014__was, conj1).
arc(r_0080_0020__and, r_0080_0021__that_r_0080_0024__were, conj2).
arc(r_0080_0021__that_r_0080_0024__were, r_0080_0022__the_r_0080_0023__flowers, arg0).
arc(r_0080_0021__that_r_0080_0024__were, r_0080_0025__resting, prd).



%3 r_0080_0002__did_r_0080_0004__hate did hate r_0080_0001__He He r_0080_0002__did_r_0080_0004__hate->r_0080_0001__He [arg0] r_0080_0005__the_r_0080_0006__winter the winter r_0080_0002__did_r_0080_0004__hate->r_0080_0005__the_r_0080_0006__winter [arg1] r_0080_0007__now now r_0080_0002__did_r_0080_0004__hate->r_0080_0007__now [nim] r_0080_0003__not not r_0080_0009__for for r_0080_0003__not->r_0080_0009__for [keep_scope] r_0080_0009__for->r_0080_0002__did_r_0080_0004__hate [conj2] r_0080_0011__knew knew r_0080_0009__for->r_0080_0011__knew [conj1] r_0080_0011__knew->r_0080_0001__He [arg0] r_0080_0020__and and r_0080_0011__knew->r_0080_0020__and [arg1] r_0080_0012__that_r_0080_0014__was that was r_0080_0020__and->r_0080_0012__that_r_0080_0014__was [conj1] r_0080_0021__that_r_0080_0024__were that were r_0080_0020__and->r_0080_0021__that_r_0080_0024__were [conj2] r_0080_0012__that_r_0080_0014__was->r_0080_0005__the_r_0080_0006__winter [arg0] r_0080_0015__merely merely r_0080_0012__that_r_0080_0014__was->r_0080_0015__merely [nim] r_0080_0016__the_r_0080_0017__Spring the Spring r_0080_0012__that_r_0080_0014__was->r_0080_0016__the_r_0080_0017__Spring [prd] r_0080_0018__asleep asleep r_0080_0016__the_r_0080_0017__Spring->r_0080_0018__asleep [attrib] r_0080_0022__the_r_0080_0023__flowers the flowers r_0080_0021__that_r_0080_0024__were->r_0080_0022__the_r_0080_0023__flowers [arg0] r_0080_0025__resting resting r_0080_0021__that_r_0080_0024__were->r_0080_0025__resting [prd]
fof(formula,axiom,
    ~ ? [R_80_9_FOR,R_80_11_KNEW,R_80_20_AND,R_80_12_THAT_WAS,R_80_15_MERELY,R_80_16_THE_SPRING,R_80_18_ASLEEP,R_80_21_THAT_WERE,R_80_22_THE_FLOWERS,R_80_25_RESTING,R_80_2_DID_HATE,R_80_1_HE,R_80_5_THE_WINTER,R_80_7_NOW] :
        ( merely(R_80_15_MERELY)
        & asleep(R_80_18_ASLEEP)
        & the_flowers(R_80_22_THE_FLOWERS)
        & resting(R_80_25_RESTING)
        & he(R_80_1_HE)
        & the_winter(R_80_5_THE_WINTER)
        & now(R_80_7_NOW)
        & for(R_80_9_FOR)
        & conj1(R_80_9_FOR,R_80_11_KNEW)
        & knew(R_80_11_KNEW,R_80_1_HE,R_80_20_AND)
        & and(R_80_20_AND)
        & conj1(R_80_20_AND,R_80_12_THAT_WAS)
        & that_was(R_80_12_THAT_WAS,R_80_5_THE_WINTER,R_80_16_THE_SPRING)
        & the_Spring(R_80_16_THE_SPRING)
        & attrib49(R_80_16_THE_SPRING,R_80_18_ASLEEP)
        & nim41(R_80_12_THAT_WAS,R_80_15_MERELY)
        & conj2(R_80_20_AND,R_80_21_THAT_WERE)
        & that_were(R_80_21_THAT_WERE,R_80_22_THE_FLOWERS,R_80_25_RESTING)
        & conj2(R_80_9_FOR,R_80_2_DID_HATE)
        & did_hate(R_80_2_DID_HATE,R_80_1_HE,R_80_5_THE_WINTER)
        & nim16(R_80_2_DID_HATE,R_80_7_NOW) ) ).



n80_a_wilde_2_1888 n80_a_wilde_2_1888_4 He n80_a_wilde_2_1888_6 did n80_a_wilde_2_1888_8 not n80_a_wilde_2_1888_10 hate n80_a_wilde_2_1888_13 the n80_a_wilde_2_1888_15 winter n80_a_wilde_2_1888_18 now n80_a_wilde_2_1888_20 , n80_a_wilde_2_1888_23 for n80_a_wilde_2_1888_27 he n80_a_wilde_2_1888_29 knew n80_a_wilde_2_1888_35 that n80_a_wilde_2_1888_38 it n80_a_wilde_2_1888_40 was n80_a_wilde_2_1888_43 merely n80_a_wilde_2_1888_46 the n80_a_wilde_2_1888_48 Spring n80_a_wilde_2_1888_51 asleep n80_a_wilde_2_1888_53 , n80_a_wilde_2_1888_56 and n80_a_wilde_2_1888_59 that n80_a_wilde_2_1888_62 the n80_a_wilde_2_1888_64 flowers n80_a_wilde_2_1888_66 were n80_a_wilde_2_1888_69 resting n80_a_wilde_2_1888_71 . n80_a_wilde_2_1888_1 IP-MAT n80_a_wilde_2_1888_2 NP-SBJ n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_2 n80_a_wilde_2_1888_5 DOD n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_5 n80_a_wilde_2_1888_7 NEG n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_7 n80_a_wilde_2_1888_9 VB;_Tn_ n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_9 n80_a_wilde_2_1888_11 NP-OB1 n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_11 n80_a_wilde_2_1888_16 ADVP-NIM n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_16 n80_a_wilde_2_1888_19 PUNC n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_19 n80_a_wilde_2_1888_21 PP-SCON n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_21 n80_a_wilde_2_1888_70 PUNC n80_a_wilde_2_1888_1->n80_a_wilde_2_1888_70 n80_a_wilde_2_1888_3 PRO n80_a_wilde_2_1888_2->n80_a_wilde_2_1888_3 n80_a_wilde_2_1888_3->n80_a_wilde_2_1888_4 n80_a_wilde_2_1888_5->n80_a_wilde_2_1888_6 n80_a_wilde_2_1888_7->n80_a_wilde_2_1888_8 n80_a_wilde_2_1888_9->n80_a_wilde_2_1888_10 n80_a_wilde_2_1888_12 D n80_a_wilde_2_1888_11->n80_a_wilde_2_1888_12 n80_a_wilde_2_1888_14 N n80_a_wilde_2_1888_11->n80_a_wilde_2_1888_14 n80_a_wilde_2_1888_12->n80_a_wilde_2_1888_13 n80_a_wilde_2_1888_14->n80_a_wilde_2_1888_15 n80_a_wilde_2_1888_17 ADV n80_a_wilde_2_1888_16->n80_a_wilde_2_1888_17 n80_a_wilde_2_1888_17->n80_a_wilde_2_1888_18 n80_a_wilde_2_1888_19->n80_a_wilde_2_1888_20 n80_a_wilde_2_1888_22 P-CONN n80_a_wilde_2_1888_21->n80_a_wilde_2_1888_22 n80_a_wilde_2_1888_24 IP-ADV n80_a_wilde_2_1888_21->n80_a_wilde_2_1888_24 n80_a_wilde_2_1888_22->n80_a_wilde_2_1888_23 n80_a_wilde_2_1888_25 NP-SBJ n80_a_wilde_2_1888_24->n80_a_wilde_2_1888_25 n80_a_wilde_2_1888_28 VBD;_Tf_ n80_a_wilde_2_1888_24->n80_a_wilde_2_1888_28 n80_a_wilde_2_1888_30 CP-THT-OB1 n80_a_wilde_2_1888_24->n80_a_wilde_2_1888_30 n80_a_wilde_2_1888_26 PRO n80_a_wilde_2_1888_25->n80_a_wilde_2_1888_26 n80_a_wilde_2_1888_26->n80_a_wilde_2_1888_27 n80_a_wilde_2_1888_28->n80_a_wilde_2_1888_29 n80_a_wilde_2_1888_31 IP-SUB n80_a_wilde_2_1888_30->n80_a_wilde_2_1888_31 n80_a_wilde_2_1888_32 ILYR n80_a_wilde_2_1888_31->n80_a_wilde_2_1888_32 n80_a_wilde_2_1888_33 ILYR n80_a_wilde_2_1888_32->n80_a_wilde_2_1888_33 n80_a_wilde_2_1888_52 PUNC n80_a_wilde_2_1888_32->n80_a_wilde_2_1888_52 n80_a_wilde_2_1888_54 CONJP n80_a_wilde_2_1888_32->n80_a_wilde_2_1888_54 n80_a_wilde_2_1888_34 C n80_a_wilde_2_1888_33->n80_a_wilde_2_1888_34 n80_a_wilde_2_1888_36 NP-SBJ n80_a_wilde_2_1888_33->n80_a_wilde_2_1888_36 n80_a_wilde_2_1888_39 BED;_Ln_ n80_a_wilde_2_1888_33->n80_a_wilde_2_1888_39 n80_a_wilde_2_1888_41 ADVP-NIM n80_a_wilde_2_1888_33->n80_a_wilde_2_1888_41 n80_a_wilde_2_1888_44 NP-PRD n80_a_wilde_2_1888_33->n80_a_wilde_2_1888_44 n80_a_wilde_2_1888_34->n80_a_wilde_2_1888_35 n80_a_wilde_2_1888_37 PRO n80_a_wilde_2_1888_36->n80_a_wilde_2_1888_37 n80_a_wilde_2_1888_37->n80_a_wilde_2_1888_38 n80_a_wilde_2_1888_39->n80_a_wilde_2_1888_40 n80_a_wilde_2_1888_42 ADV n80_a_wilde_2_1888_41->n80_a_wilde_2_1888_42 n80_a_wilde_2_1888_42->n80_a_wilde_2_1888_43 n80_a_wilde_2_1888_45 D n80_a_wilde_2_1888_44->n80_a_wilde_2_1888_45 n80_a_wilde_2_1888_47 NPR n80_a_wilde_2_1888_44->n80_a_wilde_2_1888_47 n80_a_wilde_2_1888_49 ADJP n80_a_wilde_2_1888_44->n80_a_wilde_2_1888_49 n80_a_wilde_2_1888_45->n80_a_wilde_2_1888_46 n80_a_wilde_2_1888_47->n80_a_wilde_2_1888_48 n80_a_wilde_2_1888_50 ADJ n80_a_wilde_2_1888_49->n80_a_wilde_2_1888_50 n80_a_wilde_2_1888_50->n80_a_wilde_2_1888_51 n80_a_wilde_2_1888_52->n80_a_wilde_2_1888_53 n80_a_wilde_2_1888_55 CONJ n80_a_wilde_2_1888_54->n80_a_wilde_2_1888_55 n80_a_wilde_2_1888_57 ILYR n80_a_wilde_2_1888_54->n80_a_wilde_2_1888_57 n80_a_wilde_2_1888_55->n80_a_wilde_2_1888_56 n80_a_wilde_2_1888_58 C n80_a_wilde_2_1888_57->n80_a_wilde_2_1888_58 n80_a_wilde_2_1888_60 NP-SBJ n80_a_wilde_2_1888_57->n80_a_wilde_2_1888_60 n80_a_wilde_2_1888_65 BED;_La_ n80_a_wilde_2_1888_57->n80_a_wilde_2_1888_65 n80_a_wilde_2_1888_67 ADJP-PRD n80_a_wilde_2_1888_57->n80_a_wilde_2_1888_67 n80_a_wilde_2_1888_58->n80_a_wilde_2_1888_59 n80_a_wilde_2_1888_61 D n80_a_wilde_2_1888_60->n80_a_wilde_2_1888_61 n80_a_wilde_2_1888_63 NS n80_a_wilde_2_1888_60->n80_a_wilde_2_1888_63 n80_a_wilde_2_1888_61->n80_a_wilde_2_1888_62 n80_a_wilde_2_1888_63->n80_a_wilde_2_1888_64 n80_a_wilde_2_1888_65->n80_a_wilde_2_1888_66 n80_a_wilde_2_1888_68 ADJ n80_a_wilde_2_1888_67->n80_a_wilde_2_1888_68 n80_a_wilde_2_1888_68->n80_a_wilde_2_1888_69 n80_a_wilde_2_1888_70->n80_a_wilde_2_1888_71
( (IP-MAT (NP-SBJ;{GIANT} (PRO He;{he}))
          (DOD did;{do})
          (NEG not;{not})
          (VB;_Tn_ hate;{hate})
          (NP-OB1;{WINTER} (D the;{the})
                           (N winter;{winter}))
          (ADVP-NIM (ADV now;{now}))
          (PUNC ,)
          (PP-SCON (P-CONN for;{for})
                   (IP-ADV (NP-SBJ;{GIANT} (PRO he;{he}))
                           (VBD;_Tf_ knew;{know})
                           (CP-THT-OB1 (IP-SUB (ILYR (ILYR (C that;{that})
                                                           (NP-SBJ;{WINTER} (PRO it;{it}))
                                                           (BED;_Ln_ was;{be})
                                                           (ADVP-NIM (ADV merely;{merely}))
                                                           (NP-PRD (D the;{the})
                                                                   (NPR Spring;{Spring})
                                                                   (ADJP (ADJ asleep;{asleep}))))
                                                     (PUNC ,)
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR (C that;{that})
                                                                  (NP-SBJ (D the;{the})
                                                                          (NS flowers;{flower}))
                                                                  (BED;_La_ were;{be})
                                                                  (ADJP-PRD (ADJ resting;{resting})))))))))
          (PUNC .))
  (ID 80_a_wilde_2_1888))