Context                Previous, Next                Top


13_a_kyoto_1
His disciples include Shugetsu, Soen, and Toshun.

n13_a_kyoto_1 n13_a_kyoto_1__1_1_1_1_1 His n13_a_kyoto_1__1_1_2_1 disciples n13_a_kyoto_1__1_2_1 include n13_a_kyoto_1__1_3_1_1_1_1 Shugetsu n13_a_kyoto_1__1_3_1_2_1 , n13_a_kyoto_1__1_3_1_3_1_1_1 Soen n13_a_kyoto_1__1_3_1_4_1 , n13_a_kyoto_1__1_3_1_5_1_1 and n13_a_kyoto_1__1_3_1_5_2_1_1 Toshun n13_a_kyoto_1__1_4_1 . n13_a_kyoto_1__1 IP-MAT n13_a_kyoto_1__1_1 NP-SBJ n13_a_kyoto_1__1->n13_a_kyoto_1__1_1 n13_a_kyoto_1__1_2 VBP;_Tn_ n13_a_kyoto_1__1->n13_a_kyoto_1__1_2 n13_a_kyoto_1__1_3 NP-OB1 n13_a_kyoto_1__1->n13_a_kyoto_1__1_3 n13_a_kyoto_1__1_4 PUNC n13_a_kyoto_1__1->n13_a_kyoto_1__1_4 n13_a_kyoto_1__1_1_1 NP-GEN n13_a_kyoto_1__1_1->n13_a_kyoto_1__1_1_1 n13_a_kyoto_1__1_1_2 NS n13_a_kyoto_1__1_1->n13_a_kyoto_1__1_1_2 n13_a_kyoto_1__1_1_1_1 PRO;_genm_ n13_a_kyoto_1__1_1_1->n13_a_kyoto_1__1_1_1_1 n13_a_kyoto_1__1_1_1_1->n13_a_kyoto_1__1_1_1_1_1 n13_a_kyoto_1__1_1_2->n13_a_kyoto_1__1_1_2_1 n13_a_kyoto_1__1_2->n13_a_kyoto_1__1_2_1 n13_a_kyoto_1__1_3_1 NLYR n13_a_kyoto_1__1_3->n13_a_kyoto_1__1_3_1 n13_a_kyoto_1__1_3_1_1 NLYR n13_a_kyoto_1__1_3_1->n13_a_kyoto_1__1_3_1_1 n13_a_kyoto_1__1_3_1_2 PUNC n13_a_kyoto_1__1_3_1->n13_a_kyoto_1__1_3_1_2 n13_a_kyoto_1__1_3_1_3 CONJP n13_a_kyoto_1__1_3_1->n13_a_kyoto_1__1_3_1_3 n13_a_kyoto_1__1_3_1_4 PUNC n13_a_kyoto_1__1_3_1->n13_a_kyoto_1__1_3_1_4 n13_a_kyoto_1__1_3_1_5 CONJP n13_a_kyoto_1__1_3_1->n13_a_kyoto_1__1_3_1_5 n13_a_kyoto_1__1_3_1_1_1 NPR n13_a_kyoto_1__1_3_1_1->n13_a_kyoto_1__1_3_1_1_1 n13_a_kyoto_1__1_3_1_1_1->n13_a_kyoto_1__1_3_1_1_1_1 n13_a_kyoto_1__1_3_1_2->n13_a_kyoto_1__1_3_1_2_1 n13_a_kyoto_1__1_3_1_3_1 NLYR n13_a_kyoto_1__1_3_1_3->n13_a_kyoto_1__1_3_1_3_1 n13_a_kyoto_1__1_3_1_3_1_1 NPR n13_a_kyoto_1__1_3_1_3_1->n13_a_kyoto_1__1_3_1_3_1_1 n13_a_kyoto_1__1_3_1_3_1_1->n13_a_kyoto_1__1_3_1_3_1_1_1 n13_a_kyoto_1__1_3_1_4->n13_a_kyoto_1__1_3_1_4_1 n13_a_kyoto_1__1_3_1_5_1 CONJ n13_a_kyoto_1__1_3_1_5->n13_a_kyoto_1__1_3_1_5_1 n13_a_kyoto_1__1_3_1_5_2 NLYR n13_a_kyoto_1__1_3_1_5->n13_a_kyoto_1__1_3_1_5_2 n13_a_kyoto_1__1_3_1_5_1->n13_a_kyoto_1__1_3_1_5_1_1 n13_a_kyoto_1__1_3_1_5_2_1 NPR n13_a_kyoto_1__1_3_1_5_2->n13_a_kyoto_1__1_3_1_5_2_1 n13_a_kyoto_1__1_3_1_5_2_1->n13_a_kyoto_1__1_3_1_5_2_1_1 n13_a_kyoto_1__1_4->n13_a_kyoto_1__1_4_1 
( (IP-MAT (NP-SBJ (NP-GEN;{SESSHU} (PRO;_genm_ His;{his}))
                  (NS disciples;{disciple}))
          (VBP;_Tn_ include;{include})
          (NP-OB1 (NLYR (NLYR (NPR Shugetsu;{Shugetsu}))
                        (PUNC ,)
                        (CONJP (NLYR (NPR Soen;{Soen})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Toshun;{Toshun})))))
          (PUNC .))
  (ID 13_a_kyoto_1;BDS_00001;13))


%3 r_0013_0008__and and r_0013_0009__Toshun Toshun r_0013_0008__and->r_0013_0009__Toshun [conj3] r_0013_0006__Soen Soen r_0013_0008__and->r_0013_0006__Soen [conj2] r_0013_0004__Shugetsu Shugetsu r_0013_0008__and->r_0013_0004__Shugetsu [conj1] r_0013_0003__include include r_0013_0003__include->r_0013_0008__and [arg1] r_0013_0002__disciples disciples r_0013_0003__include->r_0013_0002__disciples [arg0] r_0013_0001__His His r_0013_0002__disciples->r_0013_0001__His [gen] 
arc(r_0013_0002__disciples,r_0013_0001__His,gen).
arc(r_0013_0003__include,r_0013_0002__disciples,arg0).
arc(r_0013_0003__include,r_0013_0008__and,arg1).
arc(r_0013_0008__and,r_0013_0004__Shugetsu,conj1).
arc(r_0013_0008__and,r_0013_0006__Soen,conj2).
arc(r_0013_0008__and,r_0013_0009__Toshun,conj3).


%3 r_0013_0002__disciples disciples r_0013_0001__His His r_0013_0002__disciples->r_0013_0001__His [gen] r_0013_0003__include include r_0013_0003__include->r_0013_0002__disciples [arg0] r_0013_0008__and and r_0013_0003__include->r_0013_0008__and [arg1] r_0013_0004__Shugetsu Shugetsu r_0013_0008__and->r_0013_0004__Shugetsu [conj1] r_0013_0006__Soen Soen r_0013_0008__and->r_0013_0006__Soen [conj2] r_0013_0009__Toshun Toshun r_0013_0008__and->r_0013_0009__Toshun [conj3] 
fof(formula,axiom,
    ? [R_0013_0001__HIS,R_0013_0002__DISCIPLES,R_0013_0004__SHUGETSU,R_0013_0006__SOEN,R_0013_0009__TOSHUN,R_0013_0008__AND,R_0013_0003__INCLUDE] :
      ( r_0013_0001__His(R_0013_0001__HIS)
      & r_0013_0004__Shugetsu(R_0013_0004__SHUGETSU)
      & r_0013_0006__Soen(R_0013_0006__SOEN)
      & r_0013_0009__Toshun(R_0013_0009__TOSHUN)
      & r_0013_0003__include(R_0013_0003__INCLUDE)
      & has_arg1(R_0013_0003__INCLUDE,R_0013_0008__AND)
      & r_0013_0008__and(R_0013_0008__AND)
      & has_conj3(R_0013_0008__AND,R_0013_0009__TOSHUN)
      & has_conj2(R_0013_0008__AND,R_0013_0006__SOEN)
      & has_conj1(R_0013_0008__AND,R_0013_0004__SHUGETSU)
      & has_arg0(R_0013_0003__INCLUDE,R_0013_0002__DISCIPLES)
      & r_0013_0002__disciples(R_0013_0002__DISCIPLES)
      & has_gen(R_0013_0002__DISCIPLES,R_0013_0001__HIS) ) ).