108_a_wilde_1_1888
and he sank into a delicious slumber.
( (IP-MAT (CONJ;_cl_ and;{and})
(NP-SBJ;{BOY} (PRO he;{he}))
(VBD;_Ipr_ sank;{sink[into]})
(PP-NIM (P-ROLE into;{into})
(NP (D a;{a})
(ADJP (ADJ delicious;{delicious}))
(N slumber;{slumber})))
(PUNC .))
(ID 108_a_wilde_1_1888))
arc(r_0108_0003__sank,r_0108_0002__he,arg0).
arc(r_0108_0003__sank,r_0108_0005__a_r_0108_0007__slumber,r_0108_0004__into__nim).
arc(r_0108_0005__a_r_0108_0007__slumber,r_0108_0006__delicious,attrib).
fof(formula,axiom,
? [R_0108_0002__HE,R_0108_0006__DELICIOUS,R_0108_0005__A_R_0108_0007__SLUMBER,R_0108_0003__SANK] :
( r_0108_0002__he(R_0108_0002__HE)
& r_0108_0006__delicious(R_0108_0006__DELICIOUS)
& r_0108_0003__sank(R_0108_0003__SANK)
& has_r_0108_0004__into__nim(R_0108_0003__SANK,R_0108_0005__A_R_0108_0007__SLUMBER)
& r_0108_0005__a_r_0108_0007__slumber(R_0108_0005__A_R_0108_0007__SLUMBER)
& has_attrib(R_0108_0005__A_R_0108_0007__SLUMBER,R_0108_0006__DELICIOUS)
& has_arg0(R_0108_0003__SANK,R_0108_0002__HE) ) ).