108_a_wilde_1_1888
and he sank into a delicious slumber.
arc(r_0108_0001__and_r_0108_0003__sank, r_0108_0002__he, arg0).
arc(r_0108_0001__and_r_0108_0003__sank, r_0108_0005__a_r_0108_0007__slumber, r_0108_0004__into_nim12).
arc(r_0108_0005__a_r_0108_0007__slumber, r_0108_0006__delicious, attrib15).
fof(formula,axiom,
? [R_0108_0002__HE,R_0108_0006__DELICIOUS,R_0108_0005__A_R_0108_0007__SLUMBER,R_0108_0001__AND_R_0108_0003__SANK] :
( r_0108_0002__he(R_0108_0002__HE)
& r_0108_0006__delicious(R_0108_0006__DELICIOUS)
& r_0108_0001__and_r_0108_0003__sank(R_0108_0001__AND_R_0108_0003__SANK)
& has_r_0108_0004__into_nim12(R_0108_0001__AND_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_attrib15(R_0108_0005__A_R_0108_0007__SLUMBER,R_0108_0006__DELICIOUS)
& has_arg0(R_0108_0001__AND_R_0108_0003__SANK,R_0108_0002__HE) ) ).
( (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))