Context                Previous, Next                Top


21_a_kyoto_1
It is believed that after that, he came to be known as Sesshuu.

n21_a_kyoto_1 n21_a_kyoto_1__1_1_1_1 It n21_a_kyoto_1__1_2_1 is n21_a_kyoto_1__1_3_1_1 * n21_a_kyoto_1__1_3_2_1 believed n21_a_kyoto_1__1_3_3_1_1_1 that n21_a_kyoto_1__1_3_3_1_2_1_1 after n21_a_kyoto_1__1_3_3_1_2_2_1_1 that n21_a_kyoto_1__1_3_3_1_3_1 , n21_a_kyoto_1__1_3_3_1_4_1_1 he n21_a_kyoto_1__1_3_3_1_5_1 came n21_a_kyoto_1__1_3_3_1_6_1_1 to n21_a_kyoto_1__1_3_3_1_6_2_1 be n21_a_kyoto_1__1_3_3_1_6_3_1_1 * n21_a_kyoto_1__1_3_3_1_6_3_2_1 known n21_a_kyoto_1__1_3_3_1_6_3_3_1_1 as n21_a_kyoto_1__1_3_3_1_6_3_3_2_1_1 Sesshuu n21_a_kyoto_1__1_4_1 . n21_a_kyoto_1__1 IP-MAT n21_a_kyoto_1__1_1 NP-SBJ n21_a_kyoto_1__1->n21_a_kyoto_1__1_1 n21_a_kyoto_1__1_2 BEP;_cat_VePASS_ n21_a_kyoto_1__1->n21_a_kyoto_1__1_2 n21_a_kyoto_1__1_3 IP-PPL-CAT n21_a_kyoto_1__1->n21_a_kyoto_1__1_3 n21_a_kyoto_1__1_4 PUNC n21_a_kyoto_1__1->n21_a_kyoto_1__1_4 n21_a_kyoto_1__1_1_1 PRO;_provisional_ n21_a_kyoto_1__1_1->n21_a_kyoto_1__1_1_1 n21_a_kyoto_1__1_1_1->n21_a_kyoto_1__1_1_1_1 n21_a_kyoto_1__1_2->n21_a_kyoto_1__1_2_1 n21_a_kyoto_1__1_3_1 NP-LGS n21_a_kyoto_1__1_3->n21_a_kyoto_1__1_3_1 n21_a_kyoto_1__1_3_2 VVN;_Tf_ n21_a_kyoto_1__1_3->n21_a_kyoto_1__1_3_2 n21_a_kyoto_1__1_3_3 CP-THT-NSBJ n21_a_kyoto_1__1_3->n21_a_kyoto_1__1_3_3 n21_a_kyoto_1__1_3_1->n21_a_kyoto_1__1_3_1_1 n21_a_kyoto_1__1_3_2->n21_a_kyoto_1__1_3_2_1 n21_a_kyoto_1__1_3_3_1 IP-SUB n21_a_kyoto_1__1_3_3->n21_a_kyoto_1__1_3_3_1 n21_a_kyoto_1__1_3_3_1_1 C n21_a_kyoto_1__1_3_3_1->n21_a_kyoto_1__1_3_3_1_1 n21_a_kyoto_1__1_3_3_1_2 PP-NIM n21_a_kyoto_1__1_3_3_1->n21_a_kyoto_1__1_3_3_1_2 n21_a_kyoto_1__1_3_3_1_3 PUNC n21_a_kyoto_1__1_3_3_1->n21_a_kyoto_1__1_3_3_1_3 n21_a_kyoto_1__1_3_3_1_4 NP-SBJ n21_a_kyoto_1__1_3_3_1->n21_a_kyoto_1__1_3_3_1_4 n21_a_kyoto_1__1_3_3_1_5 VBD;_cat_Vt_ n21_a_kyoto_1__1_3_3_1->n21_a_kyoto_1__1_3_3_1_5 n21_a_kyoto_1__1_3_3_1_6 IP-INF-CAT n21_a_kyoto_1__1_3_3_1->n21_a_kyoto_1__1_3_3_1_6 n21_a_kyoto_1__1_3_3_1_1->n21_a_kyoto_1__1_3_3_1_1_1 n21_a_kyoto_1__1_3_3_1_2_1 P-ROLE n21_a_kyoto_1__1_3_3_1_2->n21_a_kyoto_1__1_3_3_1_2_1 n21_a_kyoto_1__1_3_3_1_2_2 NP n21_a_kyoto_1__1_3_3_1_2->n21_a_kyoto_1__1_3_3_1_2_2 n21_a_kyoto_1__1_3_3_1_2_1->n21_a_kyoto_1__1_3_3_1_2_1_1 n21_a_kyoto_1__1_3_3_1_2_2_1 D;_nphd_ n21_a_kyoto_1__1_3_3_1_2_2->n21_a_kyoto_1__1_3_3_1_2_2_1 n21_a_kyoto_1__1_3_3_1_2_2_1->n21_a_kyoto_1__1_3_3_1_2_2_1_1 n21_a_kyoto_1__1_3_3_1_3->n21_a_kyoto_1__1_3_3_1_3_1 n21_a_kyoto_1__1_3_3_1_4_1 PRO n21_a_kyoto_1__1_3_3_1_4->n21_a_kyoto_1__1_3_3_1_4_1 n21_a_kyoto_1__1_3_3_1_4_1->n21_a_kyoto_1__1_3_3_1_4_1_1 n21_a_kyoto_1__1_3_3_1_5->n21_a_kyoto_1__1_3_3_1_5_1 n21_a_kyoto_1__1_3_3_1_6_1 TO n21_a_kyoto_1__1_3_3_1_6->n21_a_kyoto_1__1_3_3_1_6_1 n21_a_kyoto_1__1_3_3_1_6_2 BE;_cat_VePASS_ n21_a_kyoto_1__1_3_3_1_6->n21_a_kyoto_1__1_3_3_1_6_2 n21_a_kyoto_1__1_3_3_1_6_3 IP-PPL-CAT n21_a_kyoto_1__1_3_3_1_6->n21_a_kyoto_1__1_3_3_1_6_3 n21_a_kyoto_1__1_3_3_1_6_1->n21_a_kyoto_1__1_3_3_1_6_1_1 n21_a_kyoto_1__1_3_3_1_6_2->n21_a_kyoto_1__1_3_3_1_6_2_1 n21_a_kyoto_1__1_3_3_1_6_3_1 NP-LGS n21_a_kyoto_1__1_3_3_1_6_3->n21_a_kyoto_1__1_3_3_1_6_3_1 n21_a_kyoto_1__1_3_3_1_6_3_2 VVN;_Cn.n/a_ n21_a_kyoto_1__1_3_3_1_6_3->n21_a_kyoto_1__1_3_3_1_6_3_2 n21_a_kyoto_1__1_3_3_1_6_3_3 PP-PRD n21_a_kyoto_1__1_3_3_1_6_3->n21_a_kyoto_1__1_3_3_1_6_3_3 n21_a_kyoto_1__1_3_3_1_6_3_1->n21_a_kyoto_1__1_3_3_1_6_3_1_1 n21_a_kyoto_1__1_3_3_1_6_3_2->n21_a_kyoto_1__1_3_3_1_6_3_2_1 n21_a_kyoto_1__1_3_3_1_6_3_3_1 P-ROLE n21_a_kyoto_1__1_3_3_1_6_3_3->n21_a_kyoto_1__1_3_3_1_6_3_3_1 n21_a_kyoto_1__1_3_3_1_6_3_3_2 NP n21_a_kyoto_1__1_3_3_1_6_3_3->n21_a_kyoto_1__1_3_3_1_6_3_3_2 n21_a_kyoto_1__1_3_3_1_6_3_3_1->n21_a_kyoto_1__1_3_3_1_6_3_3_1_1 n21_a_kyoto_1__1_3_3_1_6_3_3_2_1 NPR n21_a_kyoto_1__1_3_3_1_6_3_3_2->n21_a_kyoto_1__1_3_3_1_6_3_3_2_1 n21_a_kyoto_1__1_3_3_1_6_3_3_2_1->n21_a_kyoto_1__1_3_3_1_6_3_3_2_1_1 n21_a_kyoto_1__1_4->n21_a_kyoto_1__1_4_1 
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tf_ believed;{believe})
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (PP-NIM (P-ROLE after;{after})
                                                   (NP (D;_nphd_ that;{that})))
                                           (PUNC ,)
                                           (NP-SBJ;{SESSHU} (PRO he;{he}))
                                           (VBD;_cat_Vt_ came;{come})
                                           (IP-INF-CAT (TO to;{to})
                                                       (BE;_cat_VePASS_ be;{be})
                                                       (IP-PPL-CAT (NP-LGS *)
                                                                   (VVN;_Cn.n/a_ known;{know[as]})
                                                                   (PP-PRD (P-ROLE as;{as})
                                                                           (NP (NPR Sesshuu;{Sesshuu}))))))))
          (PUNC .))
  (ID 21_a_kyoto_1;BDS_00001;21))


%3 r_0021_0012__known known z_0021_5006___star_ * r_0021_0012__known->z_0021_5006___star_ [arg0] r_0021_0014__Sesshuu Sesshuu r_0021_0012__known->r_0021_0014__Sesshuu as [prd] r_0021_0008__he he r_0021_0012__known->r_0021_0008__he [arg1] r_0021_0011__be be r_0021_0011__be->r_0021_0012__known [scope] r_0021_0009__came came r_0021_0009__came->r_0021_0011__be [scope] r_0021_0006__that that r_0021_0009__came->r_0021_0006__that after [nim] r_0021_0003__believed believed r_0021_0003__believed->r_0021_0009__came [arg1] z_0021_5010___star_ * r_0021_0003__believed->z_0021_5010___star_ [arg0] r_0021_0002__is is r_0021_0002__is->r_0021_0003__believed [scope] 
arc(r_0021_0002__is,r_0021_0003__believed,scope).
arc(r_0021_0003__believed,r_0021_0009__came,arg1).
arc(r_0021_0003__believed,z_0021_5010___star_,arg0).
arc(r_0021_0009__came,r_0021_0006__that,r_0021_0005__after__nim).
arc(r_0021_0009__came,r_0021_0011__be,scope).
arc(r_0021_0011__be,r_0021_0012__known,scope).
arc(r_0021_0012__known,r_0021_0008__he,arg1).
arc(r_0021_0012__known,r_0021_0014__Sesshuu,r_0021_0013__as__prd).
arc(r_0021_0012__known,z_0021_5006___star_,arg0).


%3 r_0021_0002__is_r_0021_0003__believed is believed r_0021_0009__came_r_0021_0011__be_r_0021_0012__known came be known r_0021_0002__is_r_0021_0003__believed->r_0021_0009__came_r_0021_0011__be_r_0021_0012__known [arg1] z_0021_5010___star_ * r_0021_0002__is_r_0021_0003__believed->z_0021_5010___star_ [arg0] r_0021_0006__that that r_0021_0009__came_r_0021_0011__be_r_0021_0012__known->r_0021_0006__that after [nim] r_0021_0008__he he r_0021_0009__came_r_0021_0011__be_r_0021_0012__known->r_0021_0008__he [arg1] r_0021_0014__Sesshuu Sesshuu r_0021_0009__came_r_0021_0011__be_r_0021_0012__known->r_0021_0014__Sesshuu as [prd] z_0021_5006___star_ * r_0021_0009__came_r_0021_0011__be_r_0021_0012__known->z_0021_5006___star_ [arg0] 
fof(formula,axiom,
    ? [R_0021_0006__THAT,R_0021_0008__HE,R_0021_0014__SESSHUU,Z_0021_5006___STAR_,R_0021_0009__CAME_R_0021_0011__BE_R_0021_0012__KNOWN,Z_0021_5010___STAR_,R_0021_0002__IS_R_0021_0003__BELIEVED] :
      ( r_0021_0006__that(R_0021_0006__THAT)
      & r_0021_0008__he(R_0021_0008__HE)
      & r_0021_0014__Sesshuu(R_0021_0014__SESSHUU)
      & z_0021_5006___star_(Z_0021_5006___STAR_)
      & z_0021_5010___star_(Z_0021_5010___STAR_)
      & r_0021_0002__is_r_0021_0003__believed(R_0021_0002__IS_R_0021_0003__BELIEVED)
      & has_arg0(R_0021_0002__IS_R_0021_0003__BELIEVED,Z_0021_5010___STAR_)
      & has_arg1(R_0021_0002__IS_R_0021_0003__BELIEVED,R_0021_0009__CAME_R_0021_0011__BE_R_0021_0012__KNOWN)
      & r_0021_0009__came_r_0021_0011__be_r_0021_0012__known(R_0021_0009__CAME_R_0021_0011__BE_R_0021_0012__KNOWN)
      & has_arg0(R_0021_0009__CAME_R_0021_0011__BE_R_0021_0012__KNOWN,Z_0021_5006___STAR_)
      & has_r_0021_0013__as__prd(R_0021_0009__CAME_R_0021_0011__BE_R_0021_0012__KNOWN,R_0021_0014__SESSHUU)
      & has_arg1(R_0021_0009__CAME_R_0021_0011__BE_R_0021_0012__KNOWN,R_0021_0008__HE)
      & has_r_0021_0005__after__nim(R_0021_0009__CAME_R_0021_0011__BE_R_0021_0012__KNOWN,R_0021_0006__THAT) ) ).