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_0081_0001__HE,R_0081_0005__YELLOW,R_0081_0006__LINEN,Z_000_81_A_WILDE_1_1888_10,R_0081_0003__WRAPPED,R_0081_0011__SPICES,Z_000_81_A_WILDE_1_1888_29,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_000_81_a_wilde_1_1888_10(Z_000_81_A_WILDE_1_1888_10)
      & z_000_81_a_wilde_1_1888_29(Z_000_81_A_WILDE_1_1888_29)
      & 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_000_81_A_WILDE_1_1888_29)
      & has_r_0081_0010__with_nim36(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_000_81_A_WILDE_1_1888_10)
      & has_r_0081_0004__in_nim17(R_0081_0003__WRAPPED,R_0081_0006__LINEN)
      & r_0081_0006__linen(R_0081_0006__LINEN)
      & has_attrib18(R_0081_0006__LINEN,R_0081_0005__YELLOW)
      & has_arg1(R_0081_0003__WRAPPED,R_0081_0001__HE) ) ).


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))