27_a_kyoto_1
Other records write that he died in 1502.
( (IP-MAT (NP-SBJ (ADJP (ADJ Other;{other}))
(NS records;{record}))
(VBP;_Tf_ write;{write})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{SESSHU} (PRO he;{he}))
(VBD;_I_ died;{die})
(PP-NIM (P-ROLE in;{in})
(NP (NPR 1502)))))
(PUNC .))
(ID 27_a_kyoto_1;BDS_00001;27))
arc(r_0027_0002__records,r_0027_0001__Other,attrib).
arc(r_0027_0003__write,r_0027_0002__records,arg0).
arc(r_0027_0003__write,r_0027_0006__died,arg1).
arc(r_0027_0006__died,r_0027_0005__he,arg0).
arc(r_0027_0006__died,r_0027_0008__1502,r_0027_0007__in__nim).
fof(formula,axiom,
? [R_0027_0001__OTHER,R_0027_0002__RECORDS,R_0027_0005__HE,R_0027_0008__1502,R_0027_0006__DIED,R_0027_0003__WRITE] :
( r_0027_0001__Other(R_0027_0001__OTHER)
& r_0027_0005__he(R_0027_0005__HE)
& r_0027_0008__1502(R_0027_0008__1502)
& r_0027_0003__write(R_0027_0003__WRITE)
& has_arg1(R_0027_0003__WRITE,R_0027_0006__DIED)
& r_0027_0006__died(R_0027_0006__DIED)
& has_r_0027_0007__in__nim(R_0027_0006__DIED,R_0027_0008__1502)
& has_arg0(R_0027_0006__DIED,R_0027_0005__HE)
& has_arg0(R_0027_0003__WRITE,R_0027_0002__RECORDS)
& r_0027_0002__records(R_0027_0002__RECORDS)
& has_attrib(R_0027_0002__RECORDS,R_0027_0001__OTHER) ) ).