167_a_wilde_1_1888
“and the chill snow will soon be here.
( (IP-MAT (PULQ <ldquo>)
(CONJ;_cl_ and;{and})
(NP-SBJ (D the;{the})
(ADJP (ADJ chill;{chill}))
(N snow;{snow}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (ADVP-NIM (ADV soon;{soon}))
(BE;_Ip_ be;{be})
(ADVP-CLR (ADV here;{here})))
(PUNC .))
(ID 167_a_wilde_1_1888))
arc(r_0167_0003__the_r_0167_0005__snow,r_0167_0004__chill,attrib).
arc(r_0167_0006__will,r_0167_0008__be_r_0167_0009__here,scope).
arc(r_0167_0008__be_r_0167_0009__here,r_0167_0003__the_r_0167_0005__snow,arg0).
arc(r_0167_0008__be_r_0167_0009__here,r_0167_0007__soon,nim).
fof(formula,axiom,
? [R_0167_0004__CHILL,R_0167_0003__THE_R_0167_0005__SNOW,R_0167_0007__SOON,R_0167_0006__WILL_R_0167_0008__BE_R_0167_0009__HERE] :
( r_0167_0004__chill(R_0167_0004__CHILL)
& r_0167_0007__soon(R_0167_0007__SOON)
& r_0167_0006__will_r_0167_0008__be_r_0167_0009__here(R_0167_0006__WILL_R_0167_0008__BE_R_0167_0009__HERE)
& has_nim(R_0167_0006__WILL_R_0167_0008__BE_R_0167_0009__HERE,R_0167_0007__SOON)
& has_arg0(R_0167_0006__WILL_R_0167_0008__BE_R_0167_0009__HERE,R_0167_0003__THE_R_0167_0005__SNOW)
& r_0167_0003__the_r_0167_0005__snow(R_0167_0003__THE_R_0167_0005__SNOW)
& has_attrib(R_0167_0003__THE_R_0167_0005__SNOW,R_0167_0004__CHILL) ) ).