4_a_kyoto_1
He was given the posthumous name “Toyo” or “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 PRN 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 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})
                              (PRN (NP (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))



%3 z_0004_5005 r_0004_0010__or or z_0004_5005->r_0004_0010__or [prd] r_0004_0004__the_r_0004_0006__name the name z_0004_5005->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_0003__given given r_0004_0003__given->r_0004_0004__the_r_0004_0006__name [arg1] z_0004_5007___star_ * r_0004_0003__given->z_0004_5007___star_ [arg0] r_0004_0001__He He r_0004_0003__given->r_0004_0001__He [arg2] r_0004_0002__was was r_0004_0002__was->r_0004_0003__given [scope]
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_0004_5007___star_,arg0).
arc(r_0004_0004__the_r_0004_0006__name,r_0004_0005__posthumous,attrib).
arc(r_0004_0010__or,r_0004_0008__Toyo,conj1).
arc(r_0004_0010__or,r_0004_0012__Sesshu,conj2).
arc(z_0004_5005,r_0004_0004__the_r_0004_0006__name,arg0).
arc(z_0004_5005,r_0004_0010__or,prd).



%3 r_0004_0002__was_r_0004_0003__given was given r_0004_0001__He He r_0004_0002__was_r_0004_0003__given->r_0004_0001__He [arg2] r_0004_0004__the_r_0004_0006__name the name r_0004_0002__was_r_0004_0003__given->r_0004_0004__the_r_0004_0006__name [arg1] z_0004_5007___star_ * r_0004_0002__was_r_0004_0003__given->z_0004_5007___star_ [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_0004_5005 z_0004_5005->r_0004_0004__the_r_0004_0006__name [arg0] z_0004_5005->r_0004_0010__or [prd]
fof(formula,axiom,
    ? [R_0004_0001__HE,R_0004_0005__POSTHUMOUS,R_0004_0004__THE_R_0004_0006__NAME,Z_0004_5007___STAR_,R_0004_0002__WAS_R_0004_0003__GIVEN,R_0004_0008__TOYO,R_0004_0012__SESSHU,R_0004_0010__OR,Z_0004_5005] :
      ( r_0004_0001__He(R_0004_0001__HE)
      & r_0004_0005__posthumous(R_0004_0005__POSTHUMOUS)
      & r_0004_0008__Toyo(R_0004_0008__TOYO)
      & r_0004_0012__Sesshu(R_0004_0012__SESSHU)
      & z_0004_5007___star_(Z_0004_5007___STAR_)
      & z_0004_5005(Z_0004_5005)
      & has_prd(Z_0004_5005,R_0004_0010__OR)
      & r_0004_0010__or(R_0004_0010__OR)
      & has_conj2(R_0004_0010__OR,R_0004_0012__SESSHU)
      & has_conj1(R_0004_0010__OR,R_0004_0008__TOYO)
      & has_arg0(Z_0004_5005,R_0004_0004__THE_R_0004_0006__NAME)
      & r_0004_0004__the_r_0004_0006__name(R_0004_0004__THE_R_0004_0006__NAME)
      & has_attrib(R_0004_0004__THE_R_0004_0006__NAME,R_0004_0005__POSTHUMOUS)
      & r_0004_0002__was_r_0004_0003__given(R_0004_0002__WAS_R_0004_0003__GIVEN)
      & has_arg0(R_0004_0002__WAS_R_0004_0003__GIVEN,Z_0004_5007___STAR_)
      & has_arg1(R_0004_0002__WAS_R_0004_0003__GIVEN,R_0004_0004__THE_R_0004_0006__NAME)
      & has_arg2(R_0004_0002__WAS_R_0004_0003__GIVEN,R_0004_0001__HE) ) ).