TSPC 20_a_kyoto

20_a_kyoto_1
In around 1465, he acquired a calligraphy work by Bonki SOSEKI on which the characters of Sesshu were written, and requested Shinkei RYUKO to write a certificate about the origin of the name, Sesshu.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (ADVP (ADV around;{around}))
                      (NPR 1465)))
          (PUNC ,)
          (NP-SBJ;{SESSHU} (PRO he;{he}))
          (ILYR (ILYR (VBD;_Tn_ acquired;{acquire})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ calligraphy;{calligraphy}))
                              (N work;{work})
                              (PP (P-ROLE by;{by})
                                  (NP (NPR Bonki;{Bonki})
                                      (NPR SOSEKI;{Soseki})))
                              (IP-REL (PP-121 (P-ROLE on;{on})
                                              (NP (RPRO which;{which})))
                                      (NP-SBJ (D the;{the})
                                              (NS characters;{character})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NPR Sesshu;{Sesshu}))))
                                      (BED;_cat_VePASS_ were;{be})
                                      (IP-PPL-CAT (NP-LGS *)
                                                  (PP-NIM *ICH*-121)
                                                  (VVN;_Tn_ written;{write})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Dn.t_ requested;{request})
                             (NP-OB2 (NPR Shinkei;{Shinkei})
                                     (NPR RYUKO;{Ryuko}))
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_Tn_ write;{write})
                                         (NP-OB1 (D a;{a})
                                                 (N certificate;{certificate})
                                                 (PP (P-ROLE about;{about})
                                                     (NP (D the;{the})
                                                         (N origin;{origin})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (D the;{the})
                                                                 (N name;{name})
                                                                 (PUNC ,)
                                                                 (PRN (NP (NPR Sesshu;{Sesshu}))))))))))))
          (PUNC .))
  (ID 20_a_kyoto_1;BDS_00001;20))

arc(r_0020_0003__1465,r_0020_0002__around,qual).
arc(r_0020_0006__acquired,r_0020_0003__1465,r_0020_0001__In__nim).
arc(r_0020_0006__acquired,r_0020_0005__he,arg0).
arc(r_0020_0006__acquired,r_0020_0007__a_r_0020_0009__work,arg1).
arc(r_0020_0007__a_r_0020_0009__work,r_0020_0008__calligraphy,attrib).
arc(r_0020_0007__a_r_0020_0009__work,r_0020_0011__Bonki_r_0020_0012__SOSEKI,r_0020_0010__by).
arc(r_0020_0015__the_r_0020_0016__characters,r_0020_0018__Sesshu,r_0020_0017__of).
arc(r_0020_0019__were,r_0020_0020__written,scope).
arc(r_0020_0020__written,r_0020_0007__a_r_0020_0009__work,r_0020_0013__on__nim).
arc(r_0020_0020__written,r_0020_0015__the_r_0020_0016__characters,arg1).
arc(r_0020_0020__written,z_0020_5006___star_,arg0).
arc(r_0020_0022__and,r_0020_0006__acquired,conj1).
arc(r_0020_0022__and,r_0020_0023__requested,conj2).
arc(r_0020_0023__requested,r_0020_0003__1465,r_0020_0001__In__nim).
arc(r_0020_0023__requested,r_0020_0005__he,arg0).
arc(r_0020_0023__requested,r_0020_0024__Shinkei_r_0020_0025__RYUKO,arg2).
arc(r_0020_0023__requested,r_0020_0027__write,arg1).
arc(r_0020_0027__write,r_0020_0024__Shinkei_r_0020_0025__RYUKO,arg0).
arc(r_0020_0027__write,r_0020_0028__a_r_0020_0029__certificate,arg1).
arc(r_0020_0028__a_r_0020_0029__certificate,r_0020_0031__the_r_0020_0032__origin,r_0020_0030__about).
arc(r_0020_0031__the_r_0020_0032__origin,r_0020_0034__the_r_0020_0035__name,r_0020_0033__of).
arc(z_0020_5014,r_0020_0034__the_r_0020_0035__name,arg0).
arc(z_0020_5014,r_0020_0037__Sesshu,prd).

fof(formula,axiom,
    ? [R_0020_0008__CALLIGRAPHY,R_0020_0011__BONKI_R_0020_0012__SOSEKI,R_0020_0007__A_R_0020_0009__WORK,R_0020_0018__SESSHU,R_0020_0015__THE_R_0020_0016__CHARACTERS,Z_0020_5006___STAR_,R_0020_0019__WERE_R_0020_0020__WRITTEN,R_0020_0002__AROUND,R_0020_0003__1465,R_0020_0005__HE,R_0020_0006__ACQUIRED,R_0020_0024__SHINKEI_R_0020_0025__RYUKO,R_0020_0034__THE_R_0020_0035__NAME,R_0020_0031__THE_R_0020_0032__ORIGIN,R_0020_0028__A_R_0020_0029__CERTIFICATE,R_0020_0027__WRITE,R_0020_0023__REQUESTED,R_0020_0022__AND,R_0020_0037__SESSHU,Z_0020_5014] :
      ( r_0020_0002__around(R_0020_0002__AROUND)
      & r_0020_0005__he(R_0020_0005__HE)
      & r_0020_0008__calligraphy(R_0020_0008__CALLIGRAPHY)
      & r_0020_0011__Bonki_r_0020_0012__SOSEKI(R_0020_0011__BONKI_R_0020_0012__SOSEKI)
      & r_0020_0018__Sesshu(R_0020_0018__SESSHU)
      & r_0020_0024__Shinkei_r_0020_0025__RYUKO(R_0020_0024__SHINKEI_R_0020_0025__RYUKO)
      & r_0020_0034__the_r_0020_0035__name(R_0020_0034__THE_R_0020_0035__NAME)
      & r_0020_0037__Sesshu(R_0020_0037__SESSHU)
      & z_0020_5006___star_(Z_0020_5006___STAR_)
      & z_0020_5014(Z_0020_5014)
      & has_prd(Z_0020_5014,R_0020_0037__SESSHU)
      & has_arg0(Z_0020_5014,R_0020_0034__THE_R_0020_0035__NAME)
      & r_0020_0022__and(R_0020_0022__AND)
      & has_conj2(R_0020_0022__AND,R_0020_0023__REQUESTED)
      & r_0020_0023__requested(R_0020_0023__REQUESTED)
      & has_arg1(R_0020_0023__REQUESTED,R_0020_0027__WRITE)
      & r_0020_0027__write(R_0020_0027__WRITE)
      & has_arg1(R_0020_0027__WRITE,R_0020_0028__A_R_0020_0029__CERTIFICATE)
      & r_0020_0028__a_r_0020_0029__certificate(R_0020_0028__A_R_0020_0029__CERTIFICATE)
      & has_r_0020_0030__about(R_0020_0028__A_R_0020_0029__CERTIFICATE,R_0020_0031__THE_R_0020_0032__ORIGIN)
      & r_0020_0031__the_r_0020_0032__origin(R_0020_0031__THE_R_0020_0032__ORIGIN)
      & has_r_0020_0033__of(R_0020_0031__THE_R_0020_0032__ORIGIN,R_0020_0034__THE_R_0020_0035__NAME)
      & has_arg0(R_0020_0027__WRITE,R_0020_0024__SHINKEI_R_0020_0025__RYUKO)
      & has_arg2(R_0020_0023__REQUESTED,R_0020_0024__SHINKEI_R_0020_0025__RYUKO)
      & has_arg0(R_0020_0023__REQUESTED,R_0020_0005__HE)
      & has_r_0020_0001__In__nim(R_0020_0023__REQUESTED,R_0020_0003__1465)
      & r_0020_0003__1465(R_0020_0003__1465)
      & has_qual(R_0020_0003__1465,R_0020_0002__AROUND)
      & has_conj1(R_0020_0022__AND,R_0020_0006__ACQUIRED)
      & r_0020_0006__acquired(R_0020_0006__ACQUIRED)
      & has_arg1(R_0020_0006__ACQUIRED,R_0020_0007__A_R_0020_0009__WORK)
      & r_0020_0007__a_r_0020_0009__work(R_0020_0007__A_R_0020_0009__WORK)
      & has_r_0020_0010__by(R_0020_0007__A_R_0020_0009__WORK,R_0020_0011__BONKI_R_0020_0012__SOSEKI)
      & has_attrib(R_0020_0007__A_R_0020_0009__WORK,R_0020_0008__CALLIGRAPHY)
      & has_arg0(R_0020_0006__ACQUIRED,R_0020_0005__HE)
      & has_r_0020_0001__In__nim(R_0020_0006__ACQUIRED,R_0020_0003__1465)
      & r_0020_0019__were_r_0020_0020__written(R_0020_0019__WERE_R_0020_0020__WRITTEN)
      & has_arg0(R_0020_0019__WERE_R_0020_0020__WRITTEN,Z_0020_5006___STAR_)
      & has_arg1(R_0020_0019__WERE_R_0020_0020__WRITTEN,R_0020_0015__THE_R_0020_0016__CHARACTERS)
      & r_0020_0015__the_r_0020_0016__characters(R_0020_0015__THE_R_0020_0016__CHARACTERS)
      & has_r_0020_0017__of(R_0020_0015__THE_R_0020_0016__CHARACTERS,R_0020_0018__SESSHU)
      & has_r_0020_0013__on__nim(R_0020_0019__WERE_R_0020_0020__WRITTEN,R_0020_0007__A_R_0020_0009__WORK) ) ).