Context                Previous, Next                Top


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

%3 r_0021_0002__is is r_0021_0003__believed believed r_0021_0002__is->r_0021_0003__believed [scope] r_0021_0004__that_r_0021_0009__came that came r_0021_0003__believed->r_0021_0004__that_r_0021_0009__came [arg1] z_000_21_a_kyoto_1_8 r_0021_0003__believed->z_000_21_a_kyoto_1_8 [arg0] r_0021_0006__that that r_0021_0004__that_r_0021_0009__came->r_0021_0006__that after [nim] r_0021_0010__to_r_0021_0011__be to be r_0021_0004__that_r_0021_0009__came->r_0021_0010__to_r_0021_0011__be [scope] r_0021_0012__known known r_0021_0010__to_r_0021_0011__be->r_0021_0012__known [scope] r_0021_0008__he he r_0021_0012__known->r_0021_0008__he [arg1] r_0021_0014__Sesshuu Sesshuu r_0021_0012__known->r_0021_0014__Sesshuu [prd] z_000_21_a_kyoto_1_35 r_0021_0012__known->z_000_21_a_kyoto_1_35 [arg0] 
arc(r_0021_0002__is, r_0021_0003__believed, scope).
arc(r_0021_0003__believed, r_0021_0004__that_r_0021_0009__came, arg1).
arc(r_0021_0003__believed, z_000_21_a_kyoto_1_8, arg0).
arc(r_0021_0004__that_r_0021_0009__came, r_0021_0006__that, r_0021_0005__after_nim19).
arc(r_0021_0004__that_r_0021_0009__came, r_0021_0010__to_r_0021_0011__be, scope).
arc(r_0021_0010__to_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, prd).
arc(r_0021_0012__known, z_000_21_a_kyoto_1_35, arg0).


%3 r_0021_0004__that_r_0021_0009__came_r_0021_0010__to_r_0021_0011__be_r_0021_0012__known that came to be known z_000_21_a_kyoto_1_35 r_0021_0004__that_r_0021_0009__came_r_0021_0010__to_r_0021_0011__be_r_0021_0012__known->z_000_21_a_kyoto_1_35 [arg0] r_0021_0014__Sesshuu Sesshuu r_0021_0004__that_r_0021_0009__came_r_0021_0010__to_r_0021_0011__be_r_0021_0012__known->r_0021_0014__Sesshuu [prd] r_0021_0008__he he r_0021_0004__that_r_0021_0009__came_r_0021_0010__to_r_0021_0011__be_r_0021_0012__known->r_0021_0008__he [arg1] r_0021_0006__that that r_0021_0004__that_r_0021_0009__came_r_0021_0010__to_r_0021_0011__be_r_0021_0012__known->r_0021_0006__that after [nim] r_0021_0002__is_r_0021_0003__believed is believed r_0021_0002__is_r_0021_0003__believed->r_0021_0004__that_r_0021_0009__came_r_0021_0010__to_r_0021_0011__be_r_0021_0012__known [arg1] z_000_21_a_kyoto_1_8 r_0021_0002__is_r_0021_0003__believed->z_000_21_a_kyoto_1_8 [arg0] 
fof(formula,axiom,
    ? [R_21_2_IS_BELIEVED,Z_21_A_KYOTO_1_8,R_21_4_THAT_CAME_TO_BE_KNOWN,Z_21_A_KYOTO_1_35,R_21_8_HE,R_21_14_SESSHUU,R_21_6_THAT] :
      ( he(R_21_8_HE)
      & sesshuu(R_21_14_SESSHUU)
      & that(R_21_6_THAT)
      & is_believed(R_21_2_IS_BELIEVED,Z_21_A_KYOTO_1_8,R_21_4_THAT_CAME_TO_BE_KNOWN)
      & that_came_to_be_known(R_21_4_THAT_CAME_TO_BE_KNOWN,Z_21_A_KYOTO_1_35,R_21_8_HE,R_21_14_SESSHUU)
      & after_nim19(R_21_4_THAT_CAME_TO_BE_KNOWN,R_21_6_THAT) ) ).


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))