TSPC 22_a_kyoto

22_a_kyoto_1
It is thought that until this time he was known as Touyou SESSHU, but there is not a firm source to indicate that SESSHU and Sesshu were the same person.

arc(r_0022_0002__is, r_0022_0003__thought, scope).
arc(r_0022_0003__thought, r_0022_0004__that_r_0022_0009__was, arg1).
arc(r_0022_0003__thought, z_000_22_a_kyoto_1_10, arg0).
arc(r_0022_0004__that_r_0022_0009__was, r_0022_0006__this_r_0022_0007__time, r_0022_0005__until_nim21).
arc(r_0022_0004__that_r_0022_0009__was, r_0022_0010__known, scope).
arc(r_0022_0010__known, r_0022_0008__he, arg1).
arc(r_0022_0010__known, r_0022_0012__Touyou_r_0022_0013__SESSHU, prd).
arc(r_0022_0010__known, z_000_22_a_kyoto_1_32, arg0).
arc(r_0022_0015__but, r_0022_0002__is, conj1).
arc(r_0022_0015__but, r_0022_0018__not, conj2).
arc(r_0022_0016__there_r_0022_0017__is, r_0022_0022__to_r_0022_0023__indicate, scope).
arc(r_0022_0018__not, r_0022_0016__there_r_0022_0017__is, keep_scope).
arc(r_0022_0019__a_r_0022_0021__source, r_0022_0020__firm, attrib59).
arc(r_0022_0022__to_r_0022_0023__indicate, r_0022_0019__a_r_0022_0021__source, arg0).
arc(r_0022_0022__to_r_0022_0023__indicate, r_0022_0024__that_r_0022_0028__were, arg1).
arc(r_0022_0024__that_r_0022_0028__were, r_0022_0026__and, arg0).
arc(r_0022_0024__that_r_0022_0028__were, r_0022_0029__the_r_0022_0031__person, prd).
arc(r_0022_0026__and, r_0022_0025__SESSHU, conj1).
arc(r_0022_0026__and, r_0022_0027__Sesshu, conj2).
arc(r_0022_0029__the_r_0022_0031__person, r_0022_0030__same, attrib89).

fof(formula,axiom,
    ? [R_22_15_BUT,R_22_2_IS_THOUGHT,Z_22_A_KYOTO_1_10,R_22_4_THAT_WAS_KNOWN,Z_22_A_KYOTO_1_32,R_22_8_HE,R_22_12_TOUYOU_SESSHU,R_22_6_THIS_TIME] :
      ( he(R_22_8_HE)
      & touyou_SESSHU(R_22_12_TOUYOU_SESSHU)
      & this_time(R_22_6_THIS_TIME)
      & but(R_22_15_BUT)
      & conj1(R_22_15_BUT,R_22_2_IS_THOUGHT)
      & is_thought(R_22_2_IS_THOUGHT,Z_22_A_KYOTO_1_10,R_22_4_THAT_WAS_KNOWN)
      & that_was_known(R_22_4_THAT_WAS_KNOWN,Z_22_A_KYOTO_1_32,R_22_8_HE,R_22_12_TOUYOU_SESSHU)
      & until_nim21(R_22_4_THAT_WAS_KNOWN,R_22_6_THIS_TIME)
      & conj2(R_22_15_BUT,R_22_18_NOT)
      & ~ ? [R_22_16_THERE_IS_TO_INDICATE,R_22_19_A_SOURCE,R_22_20_FIRM,R_22_24_THAT_WERE,R_22_26_AND,R_22_25_SESSHU,R_22_27_SESSHU,R_22_29_THE_PERSON,R_22_30_SAME] :
            ( firm(R_22_20_FIRM)
            & sESSHU(R_22_25_SESSHU)
            & sesshu(R_22_27_SESSHU)
            & same(R_22_30_SAME)
            & there_is_to_indicate(R_22_16_THERE_IS_TO_INDICATE,R_22_19_A_SOURCE,R_22_24_THAT_WERE)
            & a_source(R_22_19_A_SOURCE)
            & attrib59(R_22_19_A_SOURCE,R_22_20_FIRM)
            & that_were(R_22_24_THAT_WERE,R_22_26_AND,R_22_29_THE_PERSON)
            & and(R_22_26_AND)
            & conj1(R_22_26_AND,R_22_25_SESSHU)
            & conj2(R_22_26_AND,R_22_27_SESSHU)
            & the_person(R_22_29_THE_PERSON)
            & attrib89(R_22_29_THE_PERSON,R_22_30_SAME) ) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tf_ thought;{think})
                                  (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                       (PP-NIM (P-ROLE until;{until})
                                                               (NP (D this;{this})
                                                                   (N time;{time})))
                                                       (NP-SBJ;{SESSHU} (PRO he;{he}))
                                                       (BED;_cat_VePASS_ was;{be})
                                                       (IP-PPL-CAT (NP-LGS *)
                                                                   (VVN;_Cn.n/a_ known;{know[as]})
                                                                   (PP-PRD (P-ROLE as;{as})
                                                                           (NP (NPR Touyou;{Touyou})
                                                                               (NPR SESSHU;{Sesshu}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (EX there;{there})
                             (BEP;_ex_cat_Vt_ is;{be})
                             (NEG not;{not})
                             (NP-ESBJ (D a;{a})
                                      (ADJP (ADJ firm;{firm}))
                                      (N source;{source}))
                             (IP-INF-CAT (TO to;{to})
                                         (VB;_Tf_ indicate;{indicate})
                                         (CP-THT-OB1 (IP-SUB (C that;{that})
                                                             (NP-SBJ (NLYR (NLYR (NPR SESSHU;{Sesshu}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (NLYR (NPR Sesshu;{Sesshu})))))
                                                             (BED;_Ln_ were;{be})
                                                             (NP-PRD (D the;{the})
                                                                     (ADJP (ADJ same;{same}))
                                                                     (N person;{person}))))))))
          (PUNC .))
  (ID 22_a_kyoto_1;BDS_00001;22))