Context                Previous, Next                Top


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

%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] 
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_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] 
fof(formula,axiom,
    ? [R_13_3_INCLUDE,R_13_2_DISCIPLES,R_13_1_HIS,R_13_8_AND,R_13_4_SHUGETSU,R_13_6_SOEN,R_13_9_TOSHUN] :
      ( his(R_13_1_HIS)
      & shugetsu(R_13_4_SHUGETSU)
      & soen(R_13_6_SOEN)
      & toshun(R_13_9_TOSHUN)
      & include(R_13_3_INCLUDE,R_13_2_DISCIPLES,R_13_8_AND)
      & disciples(R_13_2_DISCIPLES)
      & gen(R_13_2_DISCIPLES,R_13_1_HIS)
      & and(R_13_8_AND)
      & conj1(R_13_8_AND,R_13_4_SHUGETSU)
      & conj2(R_13_8_AND,R_13_6_SOEN)
      & conj3(R_13_8_AND,R_13_9_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))