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.
( (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))
arc(r_0037_0003__was,r_0037_0001__So,nim).
arc(r_0037_0003__was,r_0037_0004__always,nim).
arc(r_0037_0003__was,r_0037_0005__Winter,prd).
arc(r_0037_0003__was,r_0037_0006__there,nim).
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_0012__and_r_0037_0016__and_r_0037_0020__and,r_0037_0009__the_r_0037_0010__North_r_0037_0011__Wind,conj1).
arc(r_0037_0012__and_r_0037_0016__and_r_0037_0020__and,r_0037_0013__the_r_0037_0014__Hail,conj2).
arc(r_0037_0012__and_r_0037_0016__and_r_0037_0020__and,r_0037_0017__the_r_0037_0018__Frost,conj3).
arc(r_0037_0012__and_r_0037_0016__and_r_0037_0020__and,r_0037_0021__the_r_0037_0022__Snow,conj4).
arc(r_0037_0023__danced_r_0037_0024__about,r_0037_0012__and_r_0037_0016__and_r_0037_0020__and,arg0).
arc(r_0037_0023__danced_r_0037_0024__about,r_0037_0026__the_r_0037_0027__trees,r_0037_0025__through__nim).
fof(formula,axiom,
? [R_0037_0001__SO,R_0037_0004__ALWAYS,R_0037_0005__WINTER,R_0037_0006__THERE,R_0037_0003__WAS,R_0037_0009__THE_R_0037_0010__NORTH_R_0037_0011__WIND,R_0037_0013__THE_R_0037_0014__HAIL,R_0037_0017__THE_R_0037_0018__FROST,R_0037_0021__THE_R_0037_0022__SNOW,R_0037_0012__AND_R_0037_0016__AND_R_0037_0020__AND,R_0037_0026__THE_R_0037_0027__TREES,R_0037_0023__DANCED_R_0037_0024__ABOUT,R_0037_0008__AND] :
( r_0037_0001__So(R_0037_0001__SO)
& r_0037_0004__always(R_0037_0004__ALWAYS)
& r_0037_0005__Winter(R_0037_0005__WINTER)
& r_0037_0006__there(R_0037_0006__THERE)
& r_0037_0009__the_r_0037_0010__North_r_0037_0011__Wind(R_0037_0009__THE_R_0037_0010__NORTH_R_0037_0011__WIND)
& r_0037_0013__the_r_0037_0014__Hail(R_0037_0013__THE_R_0037_0014__HAIL)
& r_0037_0017__the_r_0037_0018__Frost(R_0037_0017__THE_R_0037_0018__FROST)
& r_0037_0021__the_r_0037_0022__Snow(R_0037_0021__THE_R_0037_0022__SNOW)
& r_0037_0026__the_r_0037_0027__trees(R_0037_0026__THE_R_0037_0027__TREES)
& r_0037_0008__and(R_0037_0008__AND)
& has_conj2(R_0037_0008__AND,R_0037_0023__DANCED_R_0037_0024__ABOUT)
& r_0037_0023__danced_r_0037_0024__about(R_0037_0023__DANCED_R_0037_0024__ABOUT)
& has_r_0037_0025__through__nim(R_0037_0023__DANCED_R_0037_0024__ABOUT,R_0037_0026__THE_R_0037_0027__TREES)
& has_arg0(R_0037_0023__DANCED_R_0037_0024__ABOUT,R_0037_0012__AND_R_0037_0016__AND_R_0037_0020__AND)
& r_0037_0012__and_r_0037_0016__and_r_0037_0020__and(R_0037_0012__AND_R_0037_0016__AND_R_0037_0020__AND)
& has_conj4(R_0037_0012__AND_R_0037_0016__AND_R_0037_0020__AND,R_0037_0021__THE_R_0037_0022__SNOW)
& has_conj3(R_0037_0012__AND_R_0037_0016__AND_R_0037_0020__AND,R_0037_0017__THE_R_0037_0018__FROST)
& has_conj2(R_0037_0012__AND_R_0037_0016__AND_R_0037_0020__AND,R_0037_0013__THE_R_0037_0014__HAIL)
& has_conj1(R_0037_0012__AND_R_0037_0016__AND_R_0037_0020__AND,R_0037_0009__THE_R_0037_0010__NORTH_R_0037_0011__WIND)
& has_conj1(R_0037_0008__AND,R_0037_0003__WAS)
& r_0037_0003__was(R_0037_0003__WAS)
& has_nim(R_0037_0003__WAS,R_0037_0006__THERE)
& has_prd(R_0037_0003__WAS,R_0037_0005__WINTER)
& has_nim(R_0037_0003__WAS,R_0037_0004__ALWAYS)
& has_nim(R_0037_0003__WAS,R_0037_0001__SO) ) ).