TSPC 76_a_kyoto

76_a_kyoto_2
Famous Zen masters after the Meiji period include Kousen IMAKITA, Souen SHAKU, and Sougen ASAHINA.

( (IP-MAT (NP-SBJ (ADJP (ADJ Famous;{famous}))
                  (NPR Zen;{Zen})
                  (NS masters;{master})
                  (PP (P-ROLE after;{after})
                      (NP (D the;{the})
                          (NPR Meiji;{Meiji})
                          (N period;{period}))))
          (VBP;__ include;{include})
          (NP-OB1 (NLYR (NLYR (NPR Kousen;{Kousen})
                              (NPR IMAKITA;{Imakita}))
                        (PUNC ,)
                        (CONJP (NLYR (NPR Souen;{Souen})
                                     (NPR SHAKU;{Shaku})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Sougen;{Sougen})
                                     (NPR ASAHINA;{Asahina})))))
          (PUNC .))
  (ID 76_a_kyoto_2;BDS_00002;75))

arc(r_0076_0002__Zen_r_0076_0003__masters,r_0076_0001__Famous,attrib).
arc(r_0076_0002__Zen_r_0076_0003__masters,r_0076_0005__the_r_0076_0006__Meiji_r_0076_0007__period,r_0076_0004__after).
arc(r_0076_0008__include,r_0076_0002__Zen_r_0076_0003__masters,arg0).
arc(r_0076_0008__include,r_0076_0015__and,arg1).
arc(r_0076_0015__and,r_0076_0009__Kousen_r_0076_0010__IMAKITA,conj1).
arc(r_0076_0015__and,r_0076_0012__Souen_r_0076_0013__SHAKU,conj2).
arc(r_0076_0015__and,r_0076_0016__Sougen_r_0076_0017__ASAHINA,conj3).

fof(formula,axiom,
    ? [R_0076_0001__FAMOUS,R_0076_0005__THE_R_0076_0006__MEIJI_R_0076_0007__PERIOD,R_0076_0002__ZEN_R_0076_0003__MASTERS,R_0076_0009__KOUSEN_R_0076_0010__IMAKITA,R_0076_0012__SOUEN_R_0076_0013__SHAKU,R_0076_0016__SOUGEN_R_0076_0017__ASAHINA,R_0076_0015__AND,R_0076_0008__INCLUDE] :
      ( r_0076_0001__Famous(R_0076_0001__FAMOUS)
      & r_0076_0005__the_r_0076_0006__Meiji_r_0076_0007__period(R_0076_0005__THE_R_0076_0006__MEIJI_R_0076_0007__PERIOD)
      & r_0076_0009__Kousen_r_0076_0010__IMAKITA(R_0076_0009__KOUSEN_R_0076_0010__IMAKITA)
      & r_0076_0012__Souen_r_0076_0013__SHAKU(R_0076_0012__SOUEN_R_0076_0013__SHAKU)
      & r_0076_0016__Sougen_r_0076_0017__ASAHINA(R_0076_0016__SOUGEN_R_0076_0017__ASAHINA)
      & r_0076_0008__include(R_0076_0008__INCLUDE)
      & has_arg1(R_0076_0008__INCLUDE,R_0076_0015__AND)
      & r_0076_0015__and(R_0076_0015__AND)
      & has_conj3(R_0076_0015__AND,R_0076_0016__SOUGEN_R_0076_0017__ASAHINA)
      & has_conj2(R_0076_0015__AND,R_0076_0012__SOUEN_R_0076_0013__SHAKU)
      & has_conj1(R_0076_0015__AND,R_0076_0009__KOUSEN_R_0076_0010__IMAKITA)
      & has_arg0(R_0076_0008__INCLUDE,R_0076_0002__ZEN_R_0076_0003__MASTERS)
      & r_0076_0002__Zen_r_0076_0003__masters(R_0076_0002__ZEN_R_0076_0003__MASTERS)
      & has_r_0076_0004__after(R_0076_0002__ZEN_R_0076_0003__MASTERS,R_0076_0005__THE_R_0076_0006__MEIJI_R_0076_0007__PERIOD)
      & has_attrib(R_0076_0002__ZEN_R_0076_0003__MASTERS,R_0076_0001__FAMOUS) ) ).