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 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_000_4_a_kyoto_1_8 r_0004_0002__was_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]
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_4 He n4_a_kyoto_1_6 was n4_a_kyoto_1_9 * n4_a_kyoto_1_11 given n4_a_kyoto_1_14 the n4_a_kyoto_1_17 posthumous n4_a_kyoto_1_19 name n4_a_kyoto_1_25 <ldquo> n4_a_kyoto_1_27 Toyo n4_a_kyoto_1_29 <rdquo> n4_a_kyoto_1_32 or n4_a_kyoto_1_35 <ldquo> n4_a_kyoto_1_37 Sesshu n4_a_kyoto_1_39 . n4_a_kyoto_1_41 <rdquo> n4_a_kyoto_1_1 IP-MAT n4_a_kyoto_1_2 NP-SBJ n4_a_kyoto_1_1->n4_a_kyoto_1_2 n4_a_kyoto_1_5 BED;_cat_VePASS_ n4_a_kyoto_1_1->n4_a_kyoto_1_5 n4_a_kyoto_1_7 IP-PPL-CAT n4_a_kyoto_1_1->n4_a_kyoto_1_7 n4_a_kyoto_1_38 PUNC n4_a_kyoto_1_1->n4_a_kyoto_1_38 n4_a_kyoto_1_40 PURQ n4_a_kyoto_1_1->n4_a_kyoto_1_40 n4_a_kyoto_1_3 PRO n4_a_kyoto_1_2->n4_a_kyoto_1_3 n4_a_kyoto_1_3->n4_a_kyoto_1_4 n4_a_kyoto_1_5->n4_a_kyoto_1_6 n4_a_kyoto_1_8 NP-LGS n4_a_kyoto_1_7->n4_a_kyoto_1_8 n4_a_kyoto_1_10 VVN;_Dn.n_ n4_a_kyoto_1_7->n4_a_kyoto_1_10 n4_a_kyoto_1_12 NP-OB1 n4_a_kyoto_1_7->n4_a_kyoto_1_12 n4_a_kyoto_1_8->n4_a_kyoto_1_9 n4_a_kyoto_1_10->n4_a_kyoto_1_11 n4_a_kyoto_1_13 D n4_a_kyoto_1_12->n4_a_kyoto_1_13 n4_a_kyoto_1_15 ADJP n4_a_kyoto_1_12->n4_a_kyoto_1_15 n4_a_kyoto_1_18 N n4_a_kyoto_1_12->n4_a_kyoto_1_18 n4_a_kyoto_1_20 IP-PPL n4_a_kyoto_1_12->n4_a_kyoto_1_20 n4_a_kyoto_1_13->n4_a_kyoto_1_14 n4_a_kyoto_1_16 ADJ n4_a_kyoto_1_15->n4_a_kyoto_1_16 n4_a_kyoto_1_16->n4_a_kyoto_1_17 n4_a_kyoto_1_18->n4_a_kyoto_1_19 n4_a_kyoto_1_21 NP-PRD n4_a_kyoto_1_20->n4_a_kyoto_1_21 n4_a_kyoto_1_22 NLYR n4_a_kyoto_1_21->n4_a_kyoto_1_22 n4_a_kyoto_1_23 NLYR n4_a_kyoto_1_22->n4_a_kyoto_1_23 n4_a_kyoto_1_30 CONJP n4_a_kyoto_1_22->n4_a_kyoto_1_30 n4_a_kyoto_1_24 PULQ n4_a_kyoto_1_23->n4_a_kyoto_1_24 n4_a_kyoto_1_26 NPR n4_a_kyoto_1_23->n4_a_kyoto_1_26 n4_a_kyoto_1_28 PURQ n4_a_kyoto_1_23->n4_a_kyoto_1_28 n4_a_kyoto_1_24->n4_a_kyoto_1_25 n4_a_kyoto_1_26->n4_a_kyoto_1_27 n4_a_kyoto_1_28->n4_a_kyoto_1_29 n4_a_kyoto_1_31 CONJ n4_a_kyoto_1_30->n4_a_kyoto_1_31 n4_a_kyoto_1_33 NLYR n4_a_kyoto_1_30->n4_a_kyoto_1_33 n4_a_kyoto_1_31->n4_a_kyoto_1_32 n4_a_kyoto_1_34 PULQ n4_a_kyoto_1_33->n4_a_kyoto_1_34 n4_a_kyoto_1_36 NPR n4_a_kyoto_1_33->n4_a_kyoto_1_36 n4_a_kyoto_1_34->n4_a_kyoto_1_35 n4_a_kyoto_1_36->n4_a_kyoto_1_37 n4_a_kyoto_1_38->n4_a_kyoto_1_39 n4_a_kyoto_1_40->n4_a_kyoto_1_41
( (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))