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