TSPC 77_a_kyoto

77_a_kyoto_2
Daisetsu SUZUKI who introduced Zen to the West experienced Zen under the two masters, IMAKITA and Souen SHAKU as a lay buddhist.

( (IP-MAT (NP-SBJ (NPR Daisetsu;{Daisetsu})
                  (NPR SUZUKI;{Suzuki})
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBD;__ introduced;{introduce})
                          (NP-OB1 (NPR Zen;{Zen}))
                          (PP-CLR (P-ROLE to;{to})
                                  (NP (D the;{the})
                                      (NPR West;{West})))))
          (VBD;_Cn.n/a_ experienced;{experience[as]})
          (NP-OB1 (NPR Zen;{Zen}))
          (PP-NIM (P-ROLE under;{under})
                  (NP (D the;{the})
                      (NUM two;{two})
                      (NS masters;{master})
                      (PUNC ,)
                      (PRN (NP (NLYR (NLYR (NPR IMAKITA;{Imakita}))
                                     (CONJP (CONJ and;{and})
                                            (NLYR (NPR Souen;{Souen})
                                                  (NPR SHAKU;{Shaku}))))))))
          (PP-PRD (P-ROLE as;{as})
                  (NP (D a;{a})
                      (ADJP (ADJ lay;{lay}))
                      (N buddhist;{buddhist})))
          (PUNC .))
  (ID 77_a_kyoto_2;BDS_00002;76))

arc(r_0077_0004__introduced,r_0077_0001__Daisetsu_r_0077_0002__SUZUKI,arg0).
arc(r_0077_0004__introduced,r_0077_0005__Zen,arg1).
arc(r_0077_0004__introduced,r_0077_0007__the_r_0077_0008__West,r_0077_0006__to__clr).
arc(r_0077_0009__experienced,r_0077_0001__Daisetsu_r_0077_0002__SUZUKI,arg0).
arc(r_0077_0009__experienced,r_0077_0010__Zen,arg1).
arc(r_0077_0009__experienced,r_0077_0012__the_r_0077_0013__two_r_0077_0014__masters,r_0077_0011__under__nim).
arc(r_0077_0009__experienced,r_0077_0021__a_r_0077_0023__buddhist,r_0077_0020__as__prd).
arc(r_0077_0017__and,r_0077_0016__IMAKITA,conj1).
arc(r_0077_0017__and,r_0077_0018__Souen_r_0077_0019__SHAKU,conj2).
arc(r_0077_0021__a_r_0077_0023__buddhist,r_0077_0022__lay,attrib).
arc(z_0077_5006,r_0077_0012__the_r_0077_0013__two_r_0077_0014__masters,arg0).
arc(z_0077_5006,r_0077_0017__and,prd).

fof(formula,axiom,
    ? [R_0077_0001__DAISETSU_R_0077_0002__SUZUKI,R_0077_0005__ZEN,R_0077_0007__THE_R_0077_0008__WEST,R_0077_0004__INTRODUCED,R_0077_0010__ZEN,R_0077_0012__THE_R_0077_0013__TWO_R_0077_0014__MASTERS,R_0077_0022__LAY,R_0077_0021__A_R_0077_0023__BUDDHIST,R_0077_0009__EXPERIENCED,R_0077_0016__IMAKITA,R_0077_0018__SOUEN_R_0077_0019__SHAKU,R_0077_0017__AND,Z_0077_5006] :
      ( r_0077_0001__Daisetsu_r_0077_0002__SUZUKI(R_0077_0001__DAISETSU_R_0077_0002__SUZUKI)
      & r_0077_0005__Zen(R_0077_0005__ZEN)
      & r_0077_0007__the_r_0077_0008__West(R_0077_0007__THE_R_0077_0008__WEST)
      & r_0077_0010__Zen(R_0077_0010__ZEN)
      & r_0077_0012__the_r_0077_0013__two_r_0077_0014__masters(R_0077_0012__THE_R_0077_0013__TWO_R_0077_0014__MASTERS)
      & r_0077_0016__IMAKITA(R_0077_0016__IMAKITA)
      & r_0077_0018__Souen_r_0077_0019__SHAKU(R_0077_0018__SOUEN_R_0077_0019__SHAKU)
      & r_0077_0022__lay(R_0077_0022__LAY)
      & z_0077_5006(Z_0077_5006)
      & has_prd(Z_0077_5006,R_0077_0017__AND)
      & r_0077_0017__and(R_0077_0017__AND)
      & has_conj2(R_0077_0017__AND,R_0077_0018__SOUEN_R_0077_0019__SHAKU)
      & has_conj1(R_0077_0017__AND,R_0077_0016__IMAKITA)
      & has_arg0(Z_0077_5006,R_0077_0012__THE_R_0077_0013__TWO_R_0077_0014__MASTERS)
      & r_0077_0009__experienced(R_0077_0009__EXPERIENCED)
      & has_r_0077_0020__as__prd(R_0077_0009__EXPERIENCED,R_0077_0021__A_R_0077_0023__BUDDHIST)
      & r_0077_0021__a_r_0077_0023__buddhist(R_0077_0021__A_R_0077_0023__BUDDHIST)
      & has_attrib(R_0077_0021__A_R_0077_0023__BUDDHIST,R_0077_0022__LAY)
      & has_r_0077_0011__under__nim(R_0077_0009__EXPERIENCED,R_0077_0012__THE_R_0077_0013__TWO_R_0077_0014__MASTERS)
      & has_arg1(R_0077_0009__EXPERIENCED,R_0077_0010__ZEN)
      & has_arg0(R_0077_0009__EXPERIENCED,R_0077_0001__DAISETSU_R_0077_0002__SUZUKI)
      & r_0077_0004__introduced(R_0077_0004__INTRODUCED)
      & has_r_0077_0006__to__clr(R_0077_0004__INTRODUCED,R_0077_0007__THE_R_0077_0008__WEST)
      & has_arg1(R_0077_0004__INTRODUCED,R_0077_0005__ZEN)
      & has_arg0(R_0077_0004__INTRODUCED,R_0077_0001__DAISETSU_R_0077_0002__SUZUKI) ) ).