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