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_0002__is_r_0021_0003__believed is believed 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 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] 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_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_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] 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] 
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_4 It n21_a_kyoto_1_6 is n21_a_kyoto_1_9 * n21_a_kyoto_1_11 believed n21_a_kyoto_1_15 that n21_a_kyoto_1_18 after n21_a_kyoto_1_21 that n21_a_kyoto_1_23 , n21_a_kyoto_1_26 he n21_a_kyoto_1_28 came n21_a_kyoto_1_31 to n21_a_kyoto_1_33 be n21_a_kyoto_1_36 * n21_a_kyoto_1_38 known n21_a_kyoto_1_41 as n21_a_kyoto_1_44 Sesshuu n21_a_kyoto_1_46 . n21_a_kyoto_1_1 IP-MAT n21_a_kyoto_1_2 NP-SBJ n21_a_kyoto_1_1->n21_a_kyoto_1_2 n21_a_kyoto_1_5 BEP;_cat_VePASS_ n21_a_kyoto_1_1->n21_a_kyoto_1_5 n21_a_kyoto_1_7 IP-PPL-CAT n21_a_kyoto_1_1->n21_a_kyoto_1_7 n21_a_kyoto_1_45 PUNC n21_a_kyoto_1_1->n21_a_kyoto_1_45 n21_a_kyoto_1_3 PRO;_provisional_ n21_a_kyoto_1_2->n21_a_kyoto_1_3 n21_a_kyoto_1_3->n21_a_kyoto_1_4 n21_a_kyoto_1_5->n21_a_kyoto_1_6 n21_a_kyoto_1_8 NP-LGS n21_a_kyoto_1_7->n21_a_kyoto_1_8 n21_a_kyoto_1_10 VVN;_Tf_ n21_a_kyoto_1_7->n21_a_kyoto_1_10 n21_a_kyoto_1_12 CP-THT-NSBJ n21_a_kyoto_1_7->n21_a_kyoto_1_12 n21_a_kyoto_1_8->n21_a_kyoto_1_9 n21_a_kyoto_1_10->n21_a_kyoto_1_11 n21_a_kyoto_1_13 IP-SUB n21_a_kyoto_1_12->n21_a_kyoto_1_13 n21_a_kyoto_1_14 C n21_a_kyoto_1_13->n21_a_kyoto_1_14 n21_a_kyoto_1_16 PP-NIM n21_a_kyoto_1_13->n21_a_kyoto_1_16 n21_a_kyoto_1_22 PUNC n21_a_kyoto_1_13->n21_a_kyoto_1_22 n21_a_kyoto_1_24 NP-SBJ n21_a_kyoto_1_13->n21_a_kyoto_1_24 n21_a_kyoto_1_27 VBD;_cat_Vt_ n21_a_kyoto_1_13->n21_a_kyoto_1_27 n21_a_kyoto_1_29 IP-INF-CAT n21_a_kyoto_1_13->n21_a_kyoto_1_29 n21_a_kyoto_1_14->n21_a_kyoto_1_15 n21_a_kyoto_1_17 P-ROLE n21_a_kyoto_1_16->n21_a_kyoto_1_17 n21_a_kyoto_1_19 NP n21_a_kyoto_1_16->n21_a_kyoto_1_19 n21_a_kyoto_1_17->n21_a_kyoto_1_18 n21_a_kyoto_1_20 D;_nphd_ n21_a_kyoto_1_19->n21_a_kyoto_1_20 n21_a_kyoto_1_20->n21_a_kyoto_1_21 n21_a_kyoto_1_22->n21_a_kyoto_1_23 n21_a_kyoto_1_25 PRO n21_a_kyoto_1_24->n21_a_kyoto_1_25 n21_a_kyoto_1_25->n21_a_kyoto_1_26 n21_a_kyoto_1_27->n21_a_kyoto_1_28 n21_a_kyoto_1_30 TO n21_a_kyoto_1_29->n21_a_kyoto_1_30 n21_a_kyoto_1_32 BE;_cat_VePASS_ n21_a_kyoto_1_29->n21_a_kyoto_1_32 n21_a_kyoto_1_34 IP-PPL-CAT n21_a_kyoto_1_29->n21_a_kyoto_1_34 n21_a_kyoto_1_30->n21_a_kyoto_1_31 n21_a_kyoto_1_32->n21_a_kyoto_1_33 n21_a_kyoto_1_35 NP-LGS n21_a_kyoto_1_34->n21_a_kyoto_1_35 n21_a_kyoto_1_37 VVN;_Cn.n/a_ n21_a_kyoto_1_34->n21_a_kyoto_1_37 n21_a_kyoto_1_39 PP-PRD n21_a_kyoto_1_34->n21_a_kyoto_1_39 n21_a_kyoto_1_35->n21_a_kyoto_1_36 n21_a_kyoto_1_37->n21_a_kyoto_1_38 n21_a_kyoto_1_40 P-ROLE n21_a_kyoto_1_39->n21_a_kyoto_1_40 n21_a_kyoto_1_42 NP n21_a_kyoto_1_39->n21_a_kyoto_1_42 n21_a_kyoto_1_40->n21_a_kyoto_1_41 n21_a_kyoto_1_43 NPR n21_a_kyoto_1_42->n21_a_kyoto_1_43 n21_a_kyoto_1_43->n21_a_kyoto_1_44 n21_a_kyoto_1_45->n21_a_kyoto_1_46 
( (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))