TSPC 12_a_kyoto

12_a_kyoto_2
According to doctrine, it was brought over to China from India by Bodhidharma, the 28th successor of the 10 disciples (called Kasho) who directly received the teaching (enlightenment) of Siddhartha Gautama.

( (IP-MAT (PP-NIM (P-ROLE According_to;{according_to})
                  (NP (N doctrine;{doctrine})))
          (PUNC ,)
          (NP-SBJ;{RINZAI_SCHOOL} (PRO it;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;_Tn.pr_ brought;{bring})
                      (PP-NIM (P-ROLE over_to;{over_to})
                              (NP (NPR China;{China})))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (NPR India;{India})))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NPR Bodhidharma;{Bodhidharma})
                                  (PUNC ,)
                                  (PRN (NP (D the;{the})
                                           (ADJP (ADJ 28th))
                                           (N successor;{successor})
                                           (PP (P-ROLE of;{of})
                                               (NP (D the;{the})
                                                   (NUM 10)
                                                   (NS disciples;{disciple})
                                                   (PULB -LRB-)
                                                   (IP-PPL (NP-LGS *)
                                                           (VVN;_Cn.n_ called;{call})
                                                           (NP-PRD (NPR Kasho;{Kasho})))
                                                   (PURB -RRB-)
                                                   (IP-REL (NP-SBJ (RPRO who;{who}))
                                                           (ADVP-NIM (ADV directly;{directly}))
                                                           (VBD;_Tn_ received;{receive})
                                                           (NP-OB1 (D the;{the})
                                                                   (N teaching;{teaching})
                                                                   (PULB -LRB-)
                                                                   (N enlightenment;{enlightenment})
                                                                   (PURB -RRB-)
                                                                   (PP (P-ROLE of;{of})
                                                                       (NP (NPR Siddhartha;{Siddhartha})
                                                                           (NPR Gautama;{Gautama}))))))))))))
          (PUNC .))
  (ID 12_a_kyoto_2;BDS_00002;12))

arc(r_0012_0005__was,r_0012_0002__doctrine,r_0012_0001__According_to__nim).
arc(r_0012_0005__was,r_0012_0006__brought,scope).
arc(r_0012_0006__brought,r_0012_0004__it,arg1).
arc(r_0012_0006__brought,r_0012_0008__China,r_0012_0007__over_to__nim).
arc(r_0012_0006__brought,r_0012_0010__India,r_0012_0009__from__nim).
arc(r_0012_0006__brought,r_0012_0012__Bodhidharma,r_0012_0011__by_arg0).
arc(r_0012_0014__the_r_0012_0016__successor,r_0012_0015__28th,attrib).
arc(r_0012_0014__the_r_0012_0016__successor,r_0012_0018__the_r_0012_0019__10_r_0012_0020__disciples,r_0012_0017__of).
arc(r_0012_0022__called,r_0012_0018__the_r_0012_0019__10_r_0012_0020__disciples,inv_arg1).
arc(r_0012_0022__called,r_0012_0023__Kasho,prd).
arc(r_0012_0022__called,z_0012_5006___star_,arg0).
arc(r_0012_0027__received,r_0012_0018__the_r_0012_0019__10_r_0012_0020__disciples,arg0).
arc(r_0012_0027__received,r_0012_0026__directly,nim).
arc(r_0012_0027__received,r_0012_0028__the_r_0012_0029__teaching_r_0012_0031__enlightenment,arg1).
arc(r_0012_0028__the_r_0012_0029__teaching_r_0012_0031__enlightenment,r_0012_0034__Siddhartha_r_0012_0035__Gautama,r_0012_0033__of).
arc(z_0012_5011,r_0012_0012__Bodhidharma,arg0).
arc(z_0012_5011,r_0012_0014__the_r_0012_0016__successor,prd).

fof(formula,axiom,
    ? [R_0012_0002__DOCTRINE,R_0012_0004__IT,R_0012_0008__CHINA,R_0012_0010__INDIA,R_0012_0012__BODHIDHARMA,R_0012_0005__WAS_R_0012_0006__BROUGHT,R_0012_0023__KASHO,Z_0012_5006___STAR_,R_0012_0022__CALLED,R_0012_0018__THE_R_0012_0019__10_R_0012_0020__DISCIPLES,R_0012_0026__DIRECTLY,R_0012_0034__SIDDHARTHA_R_0012_0035__GAUTAMA,R_0012_0028__THE_R_0012_0029__TEACHING_R_0012_0031__ENLIGHTENMENT,R_0012_0027__RECEIVED,R_0012_0015__28TH,R_0012_0014__THE_R_0012_0016__SUCCESSOR,Z_0012_5011] :
      ( r_0012_0002__doctrine(R_0012_0002__DOCTRINE)
      & r_0012_0004__it(R_0012_0004__IT)
      & r_0012_0008__China(R_0012_0008__CHINA)
      & r_0012_0010__India(R_0012_0010__INDIA)
      & r_0012_0012__Bodhidharma(R_0012_0012__BODHIDHARMA)
      & r_0012_0015__28th(R_0012_0015__28TH)
      & r_0012_0023__Kasho(R_0012_0023__KASHO)
      & r_0012_0026__directly(R_0012_0026__DIRECTLY)
      & r_0012_0034__Siddhartha_r_0012_0035__Gautama(R_0012_0034__SIDDHARTHA_R_0012_0035__GAUTAMA)
      & z_0012_5006___star_(Z_0012_5006___STAR_)
      & z_0012_5011(Z_0012_5011)
      & has_prd(Z_0012_5011,R_0012_0014__THE_R_0012_0016__SUCCESSOR)
      & r_0012_0014__the_r_0012_0016__successor(R_0012_0014__THE_R_0012_0016__SUCCESSOR)
      & has_r_0012_0017__of(R_0012_0014__THE_R_0012_0016__SUCCESSOR,R_0012_0018__THE_R_0012_0019__10_R_0012_0020__DISCIPLES)
      & r_0012_0018__the_r_0012_0019__10_r_0012_0020__disciples(R_0012_0018__THE_R_0012_0019__10_R_0012_0020__DISCIPLES)
      & has_inv_arg1(R_0012_0018__THE_R_0012_0019__10_R_0012_0020__DISCIPLES,R_0012_0022__CALLED)
      & r_0012_0022__called(R_0012_0022__CALLED)
      & has_arg0(R_0012_0022__CALLED,Z_0012_5006___STAR_)
      & has_prd(R_0012_0022__CALLED,R_0012_0023__KASHO)
      & has_attrib(R_0012_0014__THE_R_0012_0016__SUCCESSOR,R_0012_0015__28TH)
      & has_arg0(Z_0012_5011,R_0012_0012__BODHIDHARMA)
      & r_0012_0027__received(R_0012_0027__RECEIVED)
      & has_arg1(R_0012_0027__RECEIVED,R_0012_0028__THE_R_0012_0029__TEACHING_R_0012_0031__ENLIGHTENMENT)
      & r_0012_0028__the_r_0012_0029__teaching_r_0012_0031__enlightenment(R_0012_0028__THE_R_0012_0029__TEACHING_R_0012_0031__ENLIGHTENMENT)
      & has_r_0012_0033__of(R_0012_0028__THE_R_0012_0029__TEACHING_R_0012_0031__ENLIGHTENMENT,R_0012_0034__SIDDHARTHA_R_0012_0035__GAUTAMA)
      & has_nim(R_0012_0027__RECEIVED,R_0012_0026__DIRECTLY)
      & has_arg0(R_0012_0027__RECEIVED,R_0012_0018__THE_R_0012_0019__10_R_0012_0020__DISCIPLES)
      & r_0012_0005__was_r_0012_0006__brought(R_0012_0005__WAS_R_0012_0006__BROUGHT)
      & has_r_0012_0011__by_arg0(R_0012_0005__WAS_R_0012_0006__BROUGHT,R_0012_0012__BODHIDHARMA)
      & has_r_0012_0009__from__nim(R_0012_0005__WAS_R_0012_0006__BROUGHT,R_0012_0010__INDIA)
      & has_r_0012_0007__over_to__nim(R_0012_0005__WAS_R_0012_0006__BROUGHT,R_0012_0008__CHINA)
      & has_arg1(R_0012_0005__WAS_R_0012_0006__BROUGHT,R_0012_0004__IT)
      & has_r_0012_0001__According_to__nim(R_0012_0005__WAS_R_0012_0006__BROUGHT,R_0012_0002__DOCTRINE) ) ).