4_a_kyoto_1
He was given the posthumous name “Toyo” or “Sesshu.”

%3 r_0004_0002__was was r_0004_0003__given given r_0004_0002__was->r_0004_0003__given [scope] r_0004_0001__He He r_0004_0003__given->r_0004_0001__He [arg2] r_0004_0004__the_r_0004_0006__name the name r_0004_0003__given->r_0004_0004__the_r_0004_0006__name [arg1] z_000_4_a_kyoto_1_8 r_0004_0003__given->z_000_4_a_kyoto_1_8 [arg0] r_0004_0005__posthumous posthumous r_0004_0004__the_r_0004_0006__name->r_0004_0005__posthumous [attrib] r_0004_0010__or or r_0004_0008__Toyo Toyo r_0004_0010__or->r_0004_0008__Toyo [conj1] r_0004_0012__Sesshu Sesshu r_0004_0010__or->r_0004_0012__Sesshu [conj2] z_000_4_a_kyoto_1_20 z_000_4_a_kyoto_1_20->r_0004_0004__the_r_0004_0006__name [arg0] z_000_4_a_kyoto_1_20->r_0004_0010__or [prd]
arc(r_0004_0002__was, r_0004_0003__given, scope).
arc(r_0004_0003__given, r_0004_0001__He, arg2).
arc(r_0004_0003__given, r_0004_0004__the_r_0004_0006__name, arg1).
arc(r_0004_0003__given, z_000_4_a_kyoto_1_8, arg0).
arc(r_0004_0004__the_r_0004_0006__name, r_0004_0005__posthumous, attrib15).
arc(r_0004_0010__or, r_0004_0008__Toyo, conj1).
arc(r_0004_0010__or, r_0004_0012__Sesshu, conj2).
arc(z_000_4_a_kyoto_1_20, r_0004_0004__the_r_0004_0006__name, arg0).
arc(z_000_4_a_kyoto_1_20, r_0004_0010__or, prd).



%3 z_000_4_a_kyoto_1_20 r_0004_0010__or or z_000_4_a_kyoto_1_20->r_0004_0010__or [prd] r_0004_0004__the_r_0004_0006__name the name z_000_4_a_kyoto_1_20->r_0004_0004__the_r_0004_0006__name [arg0] r_0004_0012__Sesshu Sesshu r_0004_0010__or->r_0004_0012__Sesshu [conj2] r_0004_0008__Toyo Toyo r_0004_0010__or->r_0004_0008__Toyo [conj1] r_0004_0005__posthumous posthumous r_0004_0004__the_r_0004_0006__name->r_0004_0005__posthumous [attrib] r_0004_0002__was_r_0004_0003__given was given r_0004_0002__was_r_0004_0003__given->r_0004_0004__the_r_0004_0006__name [arg1] z_000_4_a_kyoto_1_8 r_0004_0002__was_r_0004_0003__given->z_000_4_a_kyoto_1_8 [arg0] r_0004_0001__He He r_0004_0002__was_r_0004_0003__given->r_0004_0001__He [arg2]
fof(formula,axiom,
    ? [R_4_2_WAS_GIVEN,Z_4_A_KYOTO_1_8,R_4_1_HE,Z_4_A_KYOTO_1_20,R_4_4_THE_NAME,R_4_5_POSTHUMOUS,R_4_10_OR,R_4_8_TOYO,R_4_12_SESSHU] :
      ( he(R_4_1_HE)
      & posthumous(R_4_5_POSTHUMOUS)
      & toyo(R_4_8_TOYO)
      & sesshu(R_4_12_SESSHU)
      & was_given(R_4_2_WAS_GIVEN,Z_4_A_KYOTO_1_8,R_4_4_THE_NAME,R_4_1_HE)
      & the_name(R_4_4_THE_NAME)
      & attrib15(R_4_4_THE_NAME,R_4_5_POSTHUMOUS)
      & z_4_a_kyoto_1_20(Z_4_A_KYOTO_1_20,R_4_4_THE_NAME,R_4_10_OR)
      & or(R_4_10_OR)
      & conj1(R_4_10_OR,R_4_8_TOYO)
      & conj2(R_4_10_OR,R_4_12_SESSHU) ) ).



n4_a_kyoto_1 n4_a_kyoto_1__1_1_1_1 He n4_a_kyoto_1__1_2_1 was n4_a_kyoto_1__1_3_1_1 * n4_a_kyoto_1__1_3_2_1 given n4_a_kyoto_1__1_3_3_1_1 the n4_a_kyoto_1__1_3_3_2_1_1 posthumous n4_a_kyoto_1__1_3_3_3_1 name n4_a_kyoto_1__1_3_3_4_1_1_1_1_1 <ldquo> n4_a_kyoto_1__1_3_3_4_1_1_1_2_1 Toyo n4_a_kyoto_1__1_3_3_4_1_1_1_3_1 <rdquo> n4_a_kyoto_1__1_3_3_4_1_1_2_1_1 or n4_a_kyoto_1__1_3_3_4_1_1_2_2_1_1 <ldquo> n4_a_kyoto_1__1_3_3_4_1_1_2_2_2_1 Sesshu n4_a_kyoto_1__1_4_1 . n4_a_kyoto_1__1_5_1 <rdquo> n4_a_kyoto_1__1 IP-MAT n4_a_kyoto_1__1_1 NP-SBJ n4_a_kyoto_1__1->n4_a_kyoto_1__1_1 n4_a_kyoto_1__1_2 BED;_cat_VePASS_ n4_a_kyoto_1__1->n4_a_kyoto_1__1_2 n4_a_kyoto_1__1_3 IP-PPL-CAT n4_a_kyoto_1__1->n4_a_kyoto_1__1_3 n4_a_kyoto_1__1_4 PUNC n4_a_kyoto_1__1->n4_a_kyoto_1__1_4 n4_a_kyoto_1__1_5 PURQ n4_a_kyoto_1__1->n4_a_kyoto_1__1_5 n4_a_kyoto_1__1_1_1 PRO n4_a_kyoto_1__1_1->n4_a_kyoto_1__1_1_1 n4_a_kyoto_1__1_1_1->n4_a_kyoto_1__1_1_1_1 n4_a_kyoto_1__1_2->n4_a_kyoto_1__1_2_1 n4_a_kyoto_1__1_3_1 NP-LGS n4_a_kyoto_1__1_3->n4_a_kyoto_1__1_3_1 n4_a_kyoto_1__1_3_2 VVN;_Dn.n_ n4_a_kyoto_1__1_3->n4_a_kyoto_1__1_3_2 n4_a_kyoto_1__1_3_3 NP-OB1 n4_a_kyoto_1__1_3->n4_a_kyoto_1__1_3_3 n4_a_kyoto_1__1_3_1->n4_a_kyoto_1__1_3_1_1 n4_a_kyoto_1__1_3_2->n4_a_kyoto_1__1_3_2_1 n4_a_kyoto_1__1_3_3_1 D n4_a_kyoto_1__1_3_3->n4_a_kyoto_1__1_3_3_1 n4_a_kyoto_1__1_3_3_2 ADJP n4_a_kyoto_1__1_3_3->n4_a_kyoto_1__1_3_3_2 n4_a_kyoto_1__1_3_3_3 N n4_a_kyoto_1__1_3_3->n4_a_kyoto_1__1_3_3_3 n4_a_kyoto_1__1_3_3_4 IP-PPL n4_a_kyoto_1__1_3_3->n4_a_kyoto_1__1_3_3_4 n4_a_kyoto_1__1_3_3_1->n4_a_kyoto_1__1_3_3_1_1 n4_a_kyoto_1__1_3_3_2_1 ADJ n4_a_kyoto_1__1_3_3_2->n4_a_kyoto_1__1_3_3_2_1 n4_a_kyoto_1__1_3_3_2_1->n4_a_kyoto_1__1_3_3_2_1_1 n4_a_kyoto_1__1_3_3_3->n4_a_kyoto_1__1_3_3_3_1 n4_a_kyoto_1__1_3_3_4_1 NP-PRD n4_a_kyoto_1__1_3_3_4->n4_a_kyoto_1__1_3_3_4_1 n4_a_kyoto_1__1_3_3_4_1_1 NLYR n4_a_kyoto_1__1_3_3_4_1->n4_a_kyoto_1__1_3_3_4_1_1 n4_a_kyoto_1__1_3_3_4_1_1_1 NLYR n4_a_kyoto_1__1_3_3_4_1_1->n4_a_kyoto_1__1_3_3_4_1_1_1 n4_a_kyoto_1__1_3_3_4_1_1_2 CONJP n4_a_kyoto_1__1_3_3_4_1_1->n4_a_kyoto_1__1_3_3_4_1_1_2 n4_a_kyoto_1__1_3_3_4_1_1_1_1 PULQ n4_a_kyoto_1__1_3_3_4_1_1_1->n4_a_kyoto_1__1_3_3_4_1_1_1_1 n4_a_kyoto_1__1_3_3_4_1_1_1_2 NPR n4_a_kyoto_1__1_3_3_4_1_1_1->n4_a_kyoto_1__1_3_3_4_1_1_1_2 n4_a_kyoto_1__1_3_3_4_1_1_1_3 PURQ n4_a_kyoto_1__1_3_3_4_1_1_1->n4_a_kyoto_1__1_3_3_4_1_1_1_3 n4_a_kyoto_1__1_3_3_4_1_1_1_1->n4_a_kyoto_1__1_3_3_4_1_1_1_1_1 n4_a_kyoto_1__1_3_3_4_1_1_1_2->n4_a_kyoto_1__1_3_3_4_1_1_1_2_1 n4_a_kyoto_1__1_3_3_4_1_1_1_3->n4_a_kyoto_1__1_3_3_4_1_1_1_3_1 n4_a_kyoto_1__1_3_3_4_1_1_2_1 CONJ n4_a_kyoto_1__1_3_3_4_1_1_2->n4_a_kyoto_1__1_3_3_4_1_1_2_1 n4_a_kyoto_1__1_3_3_4_1_1_2_2 NLYR n4_a_kyoto_1__1_3_3_4_1_1_2->n4_a_kyoto_1__1_3_3_4_1_1_2_2 n4_a_kyoto_1__1_3_3_4_1_1_2_1->n4_a_kyoto_1__1_3_3_4_1_1_2_1_1 n4_a_kyoto_1__1_3_3_4_1_1_2_2_1 PULQ n4_a_kyoto_1__1_3_3_4_1_1_2_2->n4_a_kyoto_1__1_3_3_4_1_1_2_2_1 n4_a_kyoto_1__1_3_3_4_1_1_2_2_2 NPR n4_a_kyoto_1__1_3_3_4_1_1_2_2->n4_a_kyoto_1__1_3_3_4_1_1_2_2_2 n4_a_kyoto_1__1_3_3_4_1_1_2_2_1->n4_a_kyoto_1__1_3_3_4_1_1_2_2_1_1 n4_a_kyoto_1__1_3_3_4_1_1_2_2_2->n4_a_kyoto_1__1_3_3_4_1_1_2_2_2_1 n4_a_kyoto_1__1_4->n4_a_kyoto_1__1_4_1 n4_a_kyoto_1__1_5->n4_a_kyoto_1__1_5_1
( (IP-MAT (NP-SBJ;{SESSHU} (PRO He;{he}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.n_ given;{give})
                      (NP-OB1 (D the;{the})
                              (ADJP (ADJ posthumous;{posthumous}))
                              (N name;{name})
                              (IP-PPL (NP-PRD (NLYR (NLYR (PULQ <ldquo>)
                                                          (NPR Toyo;{Toyo})
                                                          (PURQ <rdquo>))
                                                    (CONJP (CONJ or;{or})
                                                           (NLYR (PULQ <ldquo>)
                                                                 (NPR Sesshu;{Sesshu}))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 4_a_kyoto_1;BDS_00001;4))