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_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_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_5 His n13_a_kyoto_1_7 disciples n13_a_kyoto_1_9 include n13_a_kyoto_1_14 Shugetsu n13_a_kyoto_1_16 , n13_a_kyoto_1_20 Soen n13_a_kyoto_1_22 , n13_a_kyoto_1_25 and n13_a_kyoto_1_28 Toshun n13_a_kyoto_1_30 . n13_a_kyoto_1_1 IP-MAT n13_a_kyoto_1_2 NP-SBJ n13_a_kyoto_1_1->n13_a_kyoto_1_2 n13_a_kyoto_1_8 VBP;_Tn_ n13_a_kyoto_1_1->n13_a_kyoto_1_8 n13_a_kyoto_1_10 NP-OB1 n13_a_kyoto_1_1->n13_a_kyoto_1_10 n13_a_kyoto_1_29 PUNC n13_a_kyoto_1_1->n13_a_kyoto_1_29 n13_a_kyoto_1_3 NP-GEN n13_a_kyoto_1_2->n13_a_kyoto_1_3 n13_a_kyoto_1_6 NS n13_a_kyoto_1_2->n13_a_kyoto_1_6 n13_a_kyoto_1_4 PRO;_genm_ n13_a_kyoto_1_3->n13_a_kyoto_1_4 n13_a_kyoto_1_4->n13_a_kyoto_1_5 n13_a_kyoto_1_6->n13_a_kyoto_1_7 n13_a_kyoto_1_8->n13_a_kyoto_1_9 n13_a_kyoto_1_11 NLYR n13_a_kyoto_1_10->n13_a_kyoto_1_11 n13_a_kyoto_1_12 NLYR n13_a_kyoto_1_11->n13_a_kyoto_1_12 n13_a_kyoto_1_15 PUNC n13_a_kyoto_1_11->n13_a_kyoto_1_15 n13_a_kyoto_1_17 CONJP n13_a_kyoto_1_11->n13_a_kyoto_1_17 n13_a_kyoto_1_21 PUNC n13_a_kyoto_1_11->n13_a_kyoto_1_21 n13_a_kyoto_1_23 CONJP n13_a_kyoto_1_11->n13_a_kyoto_1_23 n13_a_kyoto_1_13 NPR n13_a_kyoto_1_12->n13_a_kyoto_1_13 n13_a_kyoto_1_13->n13_a_kyoto_1_14 n13_a_kyoto_1_15->n13_a_kyoto_1_16 n13_a_kyoto_1_18 NLYR n13_a_kyoto_1_17->n13_a_kyoto_1_18 n13_a_kyoto_1_19 NPR n13_a_kyoto_1_18->n13_a_kyoto_1_19 n13_a_kyoto_1_19->n13_a_kyoto_1_20 n13_a_kyoto_1_21->n13_a_kyoto_1_22 n13_a_kyoto_1_24 CONJ n13_a_kyoto_1_23->n13_a_kyoto_1_24 n13_a_kyoto_1_26 NLYR n13_a_kyoto_1_23->n13_a_kyoto_1_26 n13_a_kyoto_1_24->n13_a_kyoto_1_25 n13_a_kyoto_1_27 NPR n13_a_kyoto_1_26->n13_a_kyoto_1_27 n13_a_kyoto_1_27->n13_a_kyoto_1_28 n13_a_kyoto_1_29->n13_a_kyoto_1_30 
( (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))