Context                Previous, Next                Top


81_a_wilde_1_1888
He is wrapped in yellow linen, and embalmed with spices.

%3 r_0081_0002__is is r_0081_0008__and and r_0081_0002__is->r_0081_0008__and [scope] r_0081_0003__wrapped wrapped r_0081_0008__and->r_0081_0003__wrapped [conj1] r_0081_0009__embalmed embalmed r_0081_0008__and->r_0081_0009__embalmed [conj2] r_0081_0001__He He r_0081_0003__wrapped->r_0081_0001__He [arg1] r_0081_0006__linen linen r_0081_0003__wrapped->r_0081_0006__linen in [nim] z_000_81_a_wilde_1_1888_10 r_0081_0003__wrapped->z_000_81_a_wilde_1_1888_10 [arg0] r_0081_0005__yellow yellow r_0081_0006__linen->r_0081_0005__yellow [attrib] r_0081_0009__embalmed->r_0081_0001__He [arg1] r_0081_0011__spices spices r_0081_0009__embalmed->r_0081_0011__spices with [nim] z_000_81_a_wilde_1_1888_29 r_0081_0009__embalmed->z_000_81_a_wilde_1_1888_29 [arg0] 
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_nim17).
arc(r_0081_0003__wrapped, z_000_81_a_wilde_1_1888_10, arg0).
arc(r_0081_0006__linen, r_0081_0005__yellow, attrib18).
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_nim36).
arc(r_0081_0009__embalmed, z_000_81_a_wilde_1_1888_29, arg0).


%3 r_0081_0002__is is r_0081_0008__and and r_0081_0002__is->r_0081_0008__and [keep_scope] r_0081_0009__embalmed embalmed r_0081_0008__and->r_0081_0009__embalmed [conj2] r_0081_0003__wrapped wrapped r_0081_0008__and->r_0081_0003__wrapped [conj1] z_000_81_a_wilde_1_1888_29 r_0081_0009__embalmed->z_000_81_a_wilde_1_1888_29 [arg0] r_0081_0011__spices spices r_0081_0009__embalmed->r_0081_0011__spices with [nim] r_0081_0001__He He r_0081_0009__embalmed->r_0081_0001__He [arg1] r_0081_0003__wrapped->r_0081_0001__He [arg1] r_0081_0006__linen linen r_0081_0003__wrapped->r_0081_0006__linen in [nim] z_000_81_a_wilde_1_1888_10 r_0081_0003__wrapped->z_000_81_a_wilde_1_1888_10 [arg0] r_0081_0005__yellow yellow r_0081_0006__linen->r_0081_0005__yellow [attrib] 
fof(formula,axiom,
    ~ ? [R_81_8_AND,R_81_3_WRAPPED,Z_81_A_WILDE_1_1888_10,R_81_6_LINEN,R_81_5_YELLOW,R_81_9_EMBALMED,Z_81_A_WILDE_1_1888_29,R_81_1_HE,R_81_11_SPICES] :
        ( yellow(R_81_5_YELLOW)
        & he(R_81_1_HE)
        & spices(R_81_11_SPICES)
        & and(R_81_8_AND)
        & conj1(R_81_8_AND,R_81_3_WRAPPED)
        & wrapped(R_81_3_WRAPPED,Z_81_A_WILDE_1_1888_10,R_81_1_HE)
        & in_nim17(R_81_3_WRAPPED,R_81_6_LINEN)
        & linen(R_81_6_LINEN)
        & attrib18(R_81_6_LINEN,R_81_5_YELLOW)
        & conj2(R_81_8_AND,R_81_9_EMBALMED)
        & embalmed(R_81_9_EMBALMED,Z_81_A_WILDE_1_1888_29,R_81_1_HE)
        & with_nim36(R_81_9_EMBALMED,R_81_11_SPICES) ) ).


n81_a_wilde_1_1888 n81_a_wilde_1_1888__1_1_1_1 He n81_a_wilde_1_1888__1_2_1 is n81_a_wilde_1_1888__1_3_1_1_1_1 * n81_a_wilde_1_1888__1_3_1_1_2_1 wrapped n81_a_wilde_1_1888__1_3_1_1_3_1_1 in n81_a_wilde_1_1888__1_3_1_1_3_2_1_1_1 yellow n81_a_wilde_1_1888__1_3_1_1_3_2_2_1 linen n81_a_wilde_1_1888__1_3_1_2_1 , n81_a_wilde_1_1888__1_3_1_3_1_1 and n81_a_wilde_1_1888__1_3_1_3_2_1_1 * n81_a_wilde_1_1888__1_3_1_3_2_2_1 embalmed n81_a_wilde_1_1888__1_3_1_3_2_3_1_1 with n81_a_wilde_1_1888__1_3_1_3_2_3_2_1_1 spices n81_a_wilde_1_1888__1_4_1 . n81_a_wilde_1_1888__1 IP-MAT n81_a_wilde_1_1888__1_1 NP-SBJ n81_a_wilde_1_1888__1->n81_a_wilde_1_1888__1_1 n81_a_wilde_1_1888__1_2 BEP;_cat_VePASS_ n81_a_wilde_1_1888__1->n81_a_wilde_1_1888__1_2 n81_a_wilde_1_1888__1_3 IP-PPL-CAT n81_a_wilde_1_1888__1->n81_a_wilde_1_1888__1_3 n81_a_wilde_1_1888__1_4 PUNC n81_a_wilde_1_1888__1->n81_a_wilde_1_1888__1_4 n81_a_wilde_1_1888__1_1_1 PRO n81_a_wilde_1_1888__1_1->n81_a_wilde_1_1888__1_1_1 n81_a_wilde_1_1888__1_1_1->n81_a_wilde_1_1888__1_1_1_1 n81_a_wilde_1_1888__1_2->n81_a_wilde_1_1888__1_2_1 n81_a_wilde_1_1888__1_3_1 ILYR n81_a_wilde_1_1888__1_3->n81_a_wilde_1_1888__1_3_1 n81_a_wilde_1_1888__1_3_1_1 ILYR n81_a_wilde_1_1888__1_3_1->n81_a_wilde_1_1888__1_3_1_1 n81_a_wilde_1_1888__1_3_1_2 PUNC n81_a_wilde_1_1888__1_3_1->n81_a_wilde_1_1888__1_3_1_2 n81_a_wilde_1_1888__1_3_1_3 CONJP n81_a_wilde_1_1888__1_3_1->n81_a_wilde_1_1888__1_3_1_3 n81_a_wilde_1_1888__1_3_1_1_1 NP-LGS n81_a_wilde_1_1888__1_3_1_1->n81_a_wilde_1_1888__1_3_1_1_1 n81_a_wilde_1_1888__1_3_1_1_2 VVN;_Tn.pr_ n81_a_wilde_1_1888__1_3_1_1->n81_a_wilde_1_1888__1_3_1_1_2 n81_a_wilde_1_1888__1_3_1_1_3 PP-NIM n81_a_wilde_1_1888__1_3_1_1->n81_a_wilde_1_1888__1_3_1_1_3 n81_a_wilde_1_1888__1_3_1_1_1->n81_a_wilde_1_1888__1_3_1_1_1_1 n81_a_wilde_1_1888__1_3_1_1_2->n81_a_wilde_1_1888__1_3_1_1_2_1 n81_a_wilde_1_1888__1_3_1_1_3_1 P-ROLE n81_a_wilde_1_1888__1_3_1_1_3->n81_a_wilde_1_1888__1_3_1_1_3_1 n81_a_wilde_1_1888__1_3_1_1_3_2 NP n81_a_wilde_1_1888__1_3_1_1_3->n81_a_wilde_1_1888__1_3_1_1_3_2 n81_a_wilde_1_1888__1_3_1_1_3_1->n81_a_wilde_1_1888__1_3_1_1_3_1_1 n81_a_wilde_1_1888__1_3_1_1_3_2_1 ADJP n81_a_wilde_1_1888__1_3_1_1_3_2->n81_a_wilde_1_1888__1_3_1_1_3_2_1 n81_a_wilde_1_1888__1_3_1_1_3_2_2 N n81_a_wilde_1_1888__1_3_1_1_3_2->n81_a_wilde_1_1888__1_3_1_1_3_2_2 n81_a_wilde_1_1888__1_3_1_1_3_2_1_1 ADJ n81_a_wilde_1_1888__1_3_1_1_3_2_1->n81_a_wilde_1_1888__1_3_1_1_3_2_1_1 n81_a_wilde_1_1888__1_3_1_1_3_2_1_1->n81_a_wilde_1_1888__1_3_1_1_3_2_1_1_1 n81_a_wilde_1_1888__1_3_1_1_3_2_2->n81_a_wilde_1_1888__1_3_1_1_3_2_2_1 n81_a_wilde_1_1888__1_3_1_2->n81_a_wilde_1_1888__1_3_1_2_1 n81_a_wilde_1_1888__1_3_1_3_1 CONJ n81_a_wilde_1_1888__1_3_1_3->n81_a_wilde_1_1888__1_3_1_3_1 n81_a_wilde_1_1888__1_3_1_3_2 ILYR n81_a_wilde_1_1888__1_3_1_3->n81_a_wilde_1_1888__1_3_1_3_2 n81_a_wilde_1_1888__1_3_1_3_1->n81_a_wilde_1_1888__1_3_1_3_1_1 n81_a_wilde_1_1888__1_3_1_3_2_1 NP-LGS n81_a_wilde_1_1888__1_3_1_3_2->n81_a_wilde_1_1888__1_3_1_3_2_1 n81_a_wilde_1_1888__1_3_1_3_2_2 VVN;_Tn_ n81_a_wilde_1_1888__1_3_1_3_2->n81_a_wilde_1_1888__1_3_1_3_2_2 n81_a_wilde_1_1888__1_3_1_3_2_3 PP-NIM n81_a_wilde_1_1888__1_3_1_3_2->n81_a_wilde_1_1888__1_3_1_3_2_3 n81_a_wilde_1_1888__1_3_1_3_2_1->n81_a_wilde_1_1888__1_3_1_3_2_1_1 n81_a_wilde_1_1888__1_3_1_3_2_2->n81_a_wilde_1_1888__1_3_1_3_2_2_1 n81_a_wilde_1_1888__1_3_1_3_2_3_1 P-ROLE n81_a_wilde_1_1888__1_3_1_3_2_3->n81_a_wilde_1_1888__1_3_1_3_2_3_1 n81_a_wilde_1_1888__1_3_1_3_2_3_2 NP n81_a_wilde_1_1888__1_3_1_3_2_3->n81_a_wilde_1_1888__1_3_1_3_2_3_2 n81_a_wilde_1_1888__1_3_1_3_2_3_1->n81_a_wilde_1_1888__1_3_1_3_2_3_1_1 n81_a_wilde_1_1888__1_3_1_3_2_3_2_1 NS n81_a_wilde_1_1888__1_3_1_3_2_3_2->n81_a_wilde_1_1888__1_3_1_3_2_3_2_1 n81_a_wilde_1_1888__1_3_1_3_2_3_2_1->n81_a_wilde_1_1888__1_3_1_3_2_3_2_1_1 n81_a_wilde_1_1888__1_4->n81_a_wilde_1_1888__1_4_1 
( (IP-MAT (NP-SBJ;{KING} (PRO He;{he}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                  (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 (NP-LGS *)
                                         (VVN;_Tn_ embalmed;{embalm})
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP (NS spices;{spice})))))))
          (PUNC .))
  (ID 81_a_wilde_1_1888))