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.
( (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))
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,nim).
arc(r_0080_0003__not,r_0080_0002__did_r_0080_0004__hate,keep_scope).
arc(r_0080_0009__for,r_0080_0003__not,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_0014__was,r_0080_0005__the_r_0080_0006__winter,arg0).
arc(r_0080_0014__was,r_0080_0015__merely,nim).
arc(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,attrib).
arc(r_0080_0020__and,r_0080_0014__was,conj1).
arc(r_0080_0020__and,r_0080_0024__were,conj2).
arc(r_0080_0024__were,r_0080_0022__the_r_0080_0023__flowers,arg0).
arc(r_0080_0024__were,r_0080_0025__resting,prd).
fof(formula,axiom,
? [R_0080_0001__HE,R_0080_0005__THE_R_0080_0006__WINTER,R_0080_0015__MERELY,R_0080_0018__ASLEEP,R_0080_0016__THE_R_0080_0017__SPRING,R_0080_0014__WAS,R_0080_0022__THE_R_0080_0023__FLOWERS,R_0080_0025__RESTING,R_0080_0024__WERE,R_0080_0020__AND,R_0080_0011__KNEW,R_0080_0009__FOR] :
( r_0080_0001__He(R_0080_0001__HE)
& r_0080_0005__the_r_0080_0006__winter(R_0080_0005__THE_R_0080_0006__WINTER)
& r_0080_0015__merely(R_0080_0015__MERELY)
& r_0080_0018__asleep(R_0080_0018__ASLEEP)
& r_0080_0022__the_r_0080_0023__flowers(R_0080_0022__THE_R_0080_0023__FLOWERS)
& r_0080_0025__resting(R_0080_0025__RESTING)
& r_0080_0009__for(R_0080_0009__FOR)
& has_conj1(R_0080_0009__FOR,R_0080_0011__KNEW)
& r_0080_0011__knew(R_0080_0011__KNEW)
& has_arg1(R_0080_0011__KNEW,R_0080_0020__AND)
& r_0080_0020__and(R_0080_0020__AND)
& has_conj2(R_0080_0020__AND,R_0080_0024__WERE)
& r_0080_0024__were(R_0080_0024__WERE)
& has_prd(R_0080_0024__WERE,R_0080_0025__RESTING)
& has_arg0(R_0080_0024__WERE,R_0080_0022__THE_R_0080_0023__FLOWERS)
& has_conj1(R_0080_0020__AND,R_0080_0014__WAS)
& r_0080_0014__was(R_0080_0014__WAS)
& has_prd(R_0080_0014__WAS,R_0080_0016__THE_R_0080_0017__SPRING)
& r_0080_0016__the_r_0080_0017__Spring(R_0080_0016__THE_R_0080_0017__SPRING)
& has_attrib(R_0080_0016__THE_R_0080_0017__SPRING,R_0080_0018__ASLEEP)
& has_nim(R_0080_0014__WAS,R_0080_0015__MERELY)
& has_arg0(R_0080_0014__WAS,R_0080_0005__THE_R_0080_0006__WINTER)
& has_arg0(R_0080_0011__KNEW,R_0080_0001__HE)
& has_conj2(R_0080_0009__FOR,R_0080_0003__NOT)
& ~ ? [R_0080_0007__NOW,R_0080_0002__DID_R_0080_0004__HATE] :
( r_0080_0007__now(R_0080_0007__NOW)
& r_0080_0002__did_r_0080_0004__hate(R_0080_0002__DID_R_0080_0004__HATE)
& has_nim(R_0080_0002__DID_R_0080_0004__HATE,R_0080_0007__NOW)
& has_arg1(R_0080_0002__DID_R_0080_0004__HATE,R_0080_0005__THE_R_0080_0006__WINTER)
& has_arg0(R_0080_0002__DID_R_0080_0004__HATE,R_0080_0001__HE) ) ) ).