81_a_wilde_1_1888
He is wrapped in yellow linen, and embalmed with spices.
( (IP-MAT (NP-SBJ;{KING} (PRO He;{he}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(ILYR (ILYR (VVN;_Tn.pr_ wrapped;{wrap})
(PP-NIM (P-ROLE in;{in})
(NP (ADJP (ADJ yellow;{yellow}))
(N linen;{linen}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VVN;_Tn_ embalmed;{embalm})
(PP-NIM (P-ROLE with;{with})
(NP (NS spices;{spice})))))))
(PUNC .))
(ID 81_a_wilde_1_1888))
arc(r_0081_0002__is,r_0081_0008__and,scope).
arc(r_0081_0003__wrapped,r_0081_0001__He,arg1).
arc(r_0081_0003__wrapped,r_0081_0006__linen,r_0081_0004__in__nim).
arc(r_0081_0003__wrapped,z_0081_5002___star_,arg0).
arc(r_0081_0006__linen,r_0081_0005__yellow,attrib).
arc(r_0081_0008__and,r_0081_0003__wrapped,conj1).
arc(r_0081_0008__and,r_0081_0009__embalmed,conj2).
arc(r_0081_0009__embalmed,r_0081_0001__He,arg1).
arc(r_0081_0009__embalmed,r_0081_0011__spices,r_0081_0010__with__nim).
arc(r_0081_0009__embalmed,z_0081_5002___star_,arg0).
fof(formula,axiom,
? [R_0081_0001__HE,R_0081_0005__YELLOW,R_0081_0006__LINEN,Z_0081_5002___STAR_,R_0081_0003__WRAPPED,R_0081_0011__SPICES,R_0081_0009__EMBALMED,R_0081_0008__AND,R_0081_0002__IS] :
( r_0081_0001__He(R_0081_0001__HE)
& r_0081_0005__yellow(R_0081_0005__YELLOW)
& r_0081_0011__spices(R_0081_0011__SPICES)
& z_0081_5002___star_(Z_0081_5002___STAR_)
& r_0081_0002__is(R_0081_0002__IS)
& has_keep_scope(R_0081_0002__IS,R_0081_0008__AND)
& r_0081_0008__and(R_0081_0008__AND)
& has_conj2(R_0081_0008__AND,R_0081_0009__EMBALMED)
& r_0081_0009__embalmed(R_0081_0009__EMBALMED)
& has_arg0(R_0081_0009__EMBALMED,Z_0081_5002___STAR_)
& has_r_0081_0010__with__nim(R_0081_0009__EMBALMED,R_0081_0011__SPICES)
& has_arg1(R_0081_0009__EMBALMED,R_0081_0001__HE)
& has_conj1(R_0081_0008__AND,R_0081_0003__WRAPPED)
& r_0081_0003__wrapped(R_0081_0003__WRAPPED)
& has_arg0(R_0081_0003__WRAPPED,Z_0081_5002___STAR_)
& has_r_0081_0004__in__nim(R_0081_0003__WRAPPED,R_0081_0006__LINEN)
& r_0081_0006__linen(R_0081_0006__LINEN)
& has_attrib(R_0081_0006__LINEN,R_0081_0005__YELLOW)
& has_arg1(R_0081_0003__WRAPPED,R_0081_0001__HE) ) ).