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_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] 
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_4 He n81_a_wilde_1_1888_6 is n81_a_wilde_1_1888_11 * n81_a_wilde_1_1888_13 wrapped n81_a_wilde_1_1888_16 in n81_a_wilde_1_1888_20 yellow n81_a_wilde_1_1888_22 linen n81_a_wilde_1_1888_24 , n81_a_wilde_1_1888_27 and n81_a_wilde_1_1888_30 * n81_a_wilde_1_1888_32 embalmed n81_a_wilde_1_1888_35 with n81_a_wilde_1_1888_38 spices n81_a_wilde_1_1888_40 . n81_a_wilde_1_1888_1 IP-MAT n81_a_wilde_1_1888_2 NP-SBJ n81_a_wilde_1_1888_1->n81_a_wilde_1_1888_2 n81_a_wilde_1_1888_5 BEP;_cat_VePASS_ n81_a_wilde_1_1888_1->n81_a_wilde_1_1888_5 n81_a_wilde_1_1888_7 IP-PPL-CAT n81_a_wilde_1_1888_1->n81_a_wilde_1_1888_7 n81_a_wilde_1_1888_39 PUNC n81_a_wilde_1_1888_1->n81_a_wilde_1_1888_39 n81_a_wilde_1_1888_3 PRO n81_a_wilde_1_1888_2->n81_a_wilde_1_1888_3 n81_a_wilde_1_1888_3->n81_a_wilde_1_1888_4 n81_a_wilde_1_1888_5->n81_a_wilde_1_1888_6 n81_a_wilde_1_1888_8 ILYR n81_a_wilde_1_1888_7->n81_a_wilde_1_1888_8 n81_a_wilde_1_1888_9 ILYR n81_a_wilde_1_1888_8->n81_a_wilde_1_1888_9 n81_a_wilde_1_1888_23 PUNC n81_a_wilde_1_1888_8->n81_a_wilde_1_1888_23 n81_a_wilde_1_1888_25 CONJP n81_a_wilde_1_1888_8->n81_a_wilde_1_1888_25 n81_a_wilde_1_1888_10 NP-LGS n81_a_wilde_1_1888_9->n81_a_wilde_1_1888_10 n81_a_wilde_1_1888_12 VVN;_Tn.pr_ n81_a_wilde_1_1888_9->n81_a_wilde_1_1888_12 n81_a_wilde_1_1888_14 PP-NIM n81_a_wilde_1_1888_9->n81_a_wilde_1_1888_14 n81_a_wilde_1_1888_10->n81_a_wilde_1_1888_11 n81_a_wilde_1_1888_12->n81_a_wilde_1_1888_13 n81_a_wilde_1_1888_15 P-ROLE n81_a_wilde_1_1888_14->n81_a_wilde_1_1888_15 n81_a_wilde_1_1888_17 NP n81_a_wilde_1_1888_14->n81_a_wilde_1_1888_17 n81_a_wilde_1_1888_15->n81_a_wilde_1_1888_16 n81_a_wilde_1_1888_18 ADJP n81_a_wilde_1_1888_17->n81_a_wilde_1_1888_18 n81_a_wilde_1_1888_21 N n81_a_wilde_1_1888_17->n81_a_wilde_1_1888_21 n81_a_wilde_1_1888_19 ADJ n81_a_wilde_1_1888_18->n81_a_wilde_1_1888_19 n81_a_wilde_1_1888_19->n81_a_wilde_1_1888_20 n81_a_wilde_1_1888_21->n81_a_wilde_1_1888_22 n81_a_wilde_1_1888_23->n81_a_wilde_1_1888_24 n81_a_wilde_1_1888_26 CONJ n81_a_wilde_1_1888_25->n81_a_wilde_1_1888_26 n81_a_wilde_1_1888_28 ILYR n81_a_wilde_1_1888_25->n81_a_wilde_1_1888_28 n81_a_wilde_1_1888_26->n81_a_wilde_1_1888_27 n81_a_wilde_1_1888_29 NP-LGS n81_a_wilde_1_1888_28->n81_a_wilde_1_1888_29 n81_a_wilde_1_1888_31 VVN;_Tn_ n81_a_wilde_1_1888_28->n81_a_wilde_1_1888_31 n81_a_wilde_1_1888_33 PP-NIM n81_a_wilde_1_1888_28->n81_a_wilde_1_1888_33 n81_a_wilde_1_1888_29->n81_a_wilde_1_1888_30 n81_a_wilde_1_1888_31->n81_a_wilde_1_1888_32 n81_a_wilde_1_1888_34 P-ROLE n81_a_wilde_1_1888_33->n81_a_wilde_1_1888_34 n81_a_wilde_1_1888_36 NP n81_a_wilde_1_1888_33->n81_a_wilde_1_1888_36 n81_a_wilde_1_1888_34->n81_a_wilde_1_1888_35 n81_a_wilde_1_1888_37 NS n81_a_wilde_1_1888_36->n81_a_wilde_1_1888_37 n81_a_wilde_1_1888_37->n81_a_wilde_1_1888_38 n81_a_wilde_1_1888_39->n81_a_wilde_1_1888_40 
( (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))