TSPC 22_a_kyoto

22_a_kyoto_2
What is extracted from the interactions between a master and disciple, or Zen lecture transcripts that record the actions of a master, is called a Koan (precedent) and various collections have been compiled since the Song dynasty; but enlightenment is not something that can be communicated with words, so when people today try to understand the text, the Koan itself refuses them.

( (IP-MAT (ILYR (ILYR (NP-SBJ (IP-REL (NP-SBJ (RPRO What;{what}))
                                      (BEP;_cat_VePASS_ is;{be})
                                      (IP-PPL-CAT (NP-LGS *)
                                                  (VVN;_Tn.pr_ extracted;{extract[from]})
                                                  (PP-CLR (P-ROLE from;{from})
                                                          (NP (NLYR (NLYR (D the;{the})
                                                                          (NS interactions;{interaction})
                                                                          (PP (P-ROLE between;{between})
                                                                              (NP (NLYR (NLYR (D a;{a})
                                                                                              (N master;{master}))
                                                                                        (CONJP (CONJ and;{and})
                                                                                               (NLYR (N disciple;{disciple})))))))
                                                                    (PUNC ,)
                                                                    (CONJP (CONJ or;{or})
                                                                           (NLYR (NPR Zen;{Zen})
                                                                                 (N lecture;{lecture})
                                                                                 (NS transcripts;{transcript})
                                                                                 (IP-REL (C that;{that})
                                                                                         (NP-SBJ *T*)
                                                                                         (VBP;_Tn_ record;{record})
                                                                                         (NP-OB1 (D the;{the})
                                                                                                 (NS actions;{action})
                                                                                                 (PP (P-ROLE of;{of})
                                                                                                     (NP (D a;{a})
                                                                                                         (N master;{master})))))))))))))
                      (PUNC ,)
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n_ called;{call})
                                  (NP-PRD (D a;{a})
                                          (N Koan;{koan})
                                          (PULB -LRB-)
                                          (N precedent;{precedent})
                                          (PURB -RRB-))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (ADJP (ADJ various;{various}))
                                     (NS collections;{collection}))
                             (HVP;_cat_Ve_ have;{have})
                             (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;_Tn_ compiled;{compile})
                                                     (PP-NIM (P-ROLE since;{since})
                                                             (NP (D the;{the})
                                                                 (NPR Song;{Song})
                                                                 (NPR dynasty;{dynasty}))))))))
          (PUNC ;)
          (PRN (IP-MAT (CONJ;_cl_ but;{but})
                       (ILYR (NP-SBJ (N enlightenment;{enlightenment}))
                             (BEP;_Ln_ is;{be})
                             (NEG not;{not})
                             (NP-PRD (D;_nphd_ something;{something})
                                     (IP-REL (C that;{that})
                                             (NP-SBJ *T*)
                                             (MD;_cat_Vi_ can;{can})
                                             (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                         (IP-PPL-CAT (NP-LGS *)
                                                                     (VVN;_Tn_ communicated;{communicate})
                                                                     (PP-NIM (P-ROLE with;{with})
                                                                             (NP (NS words;{word}))))))))
                       (PUNC ,)
                       (PP-SCON (P-CONN so;{so})
                                (IP-ADV (PP-SCON (P-CONN when;{when})
                                                 (IP-ADV (NP-SBJ;{PEOPLE} (NS people;{people}))
                                                         (ADVP-NIM (ADV today;{today}))
                                                         (VBP;_Tt_ try;{try})
                                                         (IP-INF-OB1 (TO to;{to})
                                                                     (VB;_Tn_ understand;{understand})
                                                                     (NP-OB1 (D the;{the})
                                                                             (N text;{text})))))
                                        (PUNC ,)
                                        (NP-SBJ;{KOAN} (D the;{the})
                                                       (N Koan;{koan}))
                                        (NP-RFL;{KOAN} (PNX itself;{itself}))
                                        (VBP;_Tn_ refuses;{refuse})
                                        (NP-OB1;{PEOPLE} (PRO them;{they}))))))
          (PUNC .))
  (ID 22_a_kyoto_2;BDS_00002;22))

arc(r_0022_0002__is,r_0022_0003__extracted_r_0022_0004__from,scope).
arc(r_0022_0003__extracted_r_0022_0004__from,r_0022_0001__What,arg1).
arc(r_0022_0003__extracted_r_0022_0004__from,r_0022_0013__or,arg2).
arc(r_0022_0003__extracted_r_0022_0004__from,z_0022_5035___star_,arg0).
arc(r_0022_0005__the_r_0022_0006__interactions,r_0022_0010__and,r_0022_0007__between).
arc(r_0022_0010__and,r_0022_0008__a_r_0022_0009__master,conj1).
arc(r_0022_0010__and,r_0022_0011__disciple,conj2).
arc(r_0022_0013__or,r_0022_0005__the_r_0022_0006__interactions,conj1).
arc(r_0022_0013__or,r_0022_0014__Zen_r_0022_0015__lecture_r_0022_0016__transcripts,conj2).
arc(r_0022_0018__record,r_0022_0014__Zen_r_0022_0015__lecture_r_0022_0016__transcripts,inv_arg0).
arc(r_0022_0018__record,r_0022_0019__the_r_0022_0020__actions,arg1).
arc(r_0022_0019__the_r_0022_0020__actions,r_0022_0022__a_r_0022_0023__master,r_0022_0021__of).
arc(r_0022_0025__is,r_0022_0026__called,scope).
arc(r_0022_0025__is,r_0022_0055__so,prn).
arc(r_0022_0026__called,r_0022_0001__What,arg1).
arc(r_0022_0026__called,r_0022_0027__a_r_0022_0028__Koan_r_0022_0030__precedent,prd).
arc(r_0022_0026__called,z_0022_5040___star_,arg0).
arc(r_0022_0032__and,r_0022_0025__is,conj1).
arc(r_0022_0032__and,r_0022_0035__have,conj2).
arc(r_0022_0034__collections,r_0022_0033__various,attrib).
arc(r_0022_0035__have,r_0022_0036__been,scope).
arc(r_0022_0035__have,r_0022_0055__so,prn).
arc(r_0022_0036__been,r_0022_0037__compiled,scope).
arc(r_0022_0037__compiled,r_0022_0034__collections,arg1).
arc(r_0022_0037__compiled,r_0022_0039__the_r_0022_0040__Song_r_0022_0041__dynasty,r_0022_0038__since__nim).
arc(r_0022_0037__compiled,z_0022_5047___star_,arg0).
arc(r_0022_0045__is,r_0022_0044__enlightenment,arg0).
arc(r_0022_0045__is,r_0022_0047__something,prd).
arc(r_0022_0046__not,r_0022_0045__is,keep_scope).
arc(r_0022_0049__can,r_0022_0050__be,scope).
arc(r_0022_0050__be,r_0022_0051__communicated,scope).
arc(r_0022_0051__communicated,r_0022_0047__something,arg1).
arc(r_0022_0051__communicated,r_0022_0053__words,r_0022_0052__with__nim).
arc(r_0022_0051__communicated,z_0022_5018___star_,arg0).
arc(r_0022_0055__so,r_0022_0046__not,scope).
arc(r_0022_0055__so,r_0022_0056__when,restriction).
arc(r_0022_0056__when,r_0022_0059__try,restriction).
arc(r_0022_0056__when,r_0022_0068__refuses,scope).
arc(r_0022_0059__try,r_0022_0057__people,arg0).
arc(r_0022_0059__try,r_0022_0058__today,nim).
arc(r_0022_0059__try,r_0022_0061__understand,arg1).
arc(r_0022_0061__understand,r_0022_0057__people,arg0).
arc(r_0022_0061__understand,r_0022_0062__the_r_0022_0063__text,arg1).
arc(r_0022_0068__refuses,r_0022_0057__people,arg1).
arc(r_0022_0068__refuses,r_0022_0065__the_r_0022_0066__Koan,arg0).
arc(r_0022_0068__refuses,r_0022_0065__the_r_0022_0066__Koan,rfl).

fof(formula,axiom,
    ? [R_0022_0001__WHAT,R_0022_0008__A_R_0022_0009__MASTER,R_0022_0011__DISCIPLE,R_0022_0010__AND,R_0022_0005__THE_R_0022_0006__INTERACTIONS,R_0022_0022__A_R_0022_0023__MASTER,R_0022_0019__THE_R_0022_0020__ACTIONS,R_0022_0018__RECORD,R_0022_0014__ZEN_R_0022_0015__LECTURE_R_0022_0016__TRANSCRIPTS,R_0022_0013__OR,Z_0022_5035___STAR_,R_0022_0002__IS_R_0022_0003__EXTRACTED_R_0022_0004__FROM,R_0022_0055__SO,R_0022_0027__A_R_0022_0028__KOAN_R_0022_0030__PRECEDENT,Z_0022_5040___STAR_,R_0022_0025__IS_R_0022_0026__CALLED,R_0022_0033__VARIOUS,R_0022_0034__COLLECTIONS,R_0022_0039__THE_R_0022_0040__SONG_R_0022_0041__DYNASTY,Z_0022_5047___STAR_,R_0022_0035__HAVE_R_0022_0036__BEEN_R_0022_0037__COMPILED,R_0022_0032__AND,R_0022_0047__SOMETHING,R_0022_0053__WORDS,Z_0022_5018___STAR_,R_0022_0049__CAN_R_0022_0050__BE_R_0022_0051__COMMUNICATED] :
      ( r_0022_0001__What(R_0022_0001__WHAT)
      & r_0022_0008__a_r_0022_0009__master(R_0022_0008__A_R_0022_0009__MASTER)
      & r_0022_0011__disciple(R_0022_0011__DISCIPLE)
      & r_0022_0022__a_r_0022_0023__master(R_0022_0022__A_R_0022_0023__MASTER)
      & r_0022_0027__a_r_0022_0028__Koan_r_0022_0030__precedent(R_0022_0027__A_R_0022_0028__KOAN_R_0022_0030__PRECEDENT)
      & r_0022_0033__various(R_0022_0033__VARIOUS)
      & r_0022_0039__the_r_0022_0040__Song_r_0022_0041__dynasty(R_0022_0039__THE_R_0022_0040__SONG_R_0022_0041__DYNASTY)
      & r_0022_0047__something(R_0022_0047__SOMETHING)
      & r_0022_0053__words(R_0022_0053__WORDS)
      & z_0022_5018___star_(Z_0022_5018___STAR_)
      & z_0022_5035___star_(Z_0022_5035___STAR_)
      & z_0022_5040___star_(Z_0022_5040___STAR_)
      & z_0022_5047___star_(Z_0022_5047___STAR_)
      & r_0022_0049__can_r_0022_0050__be_r_0022_0051__communicated(R_0022_0049__CAN_R_0022_0050__BE_R_0022_0051__COMMUNICATED)
      & has_arg0(R_0022_0049__CAN_R_0022_0050__BE_R_0022_0051__COMMUNICATED,Z_0022_5018___STAR_)
      & has_r_0022_0052__with__nim(R_0022_0049__CAN_R_0022_0050__BE_R_0022_0051__COMMUNICATED,R_0022_0053__WORDS)
      & has_arg1(R_0022_0049__CAN_R_0022_0050__BE_R_0022_0051__COMMUNICATED,R_0022_0047__SOMETHING)
      & r_0022_0032__and(R_0022_0032__AND)
      & has_conj2(R_0022_0032__AND,R_0022_0035__HAVE_R_0022_0036__BEEN_R_0022_0037__COMPILED)
      & r_0022_0035__have_r_0022_0036__been_r_0022_0037__compiled(R_0022_0035__HAVE_R_0022_0036__BEEN_R_0022_0037__COMPILED)
      & has_arg0(R_0022_0035__HAVE_R_0022_0036__BEEN_R_0022_0037__COMPILED,Z_0022_5047___STAR_)
      & has_r_0022_0038__since__nim(R_0022_0035__HAVE_R_0022_0036__BEEN_R_0022_0037__COMPILED,R_0022_0039__THE_R_0022_0040__SONG_R_0022_0041__DYNASTY)
      & has_arg1(R_0022_0035__HAVE_R_0022_0036__BEEN_R_0022_0037__COMPILED,R_0022_0034__COLLECTIONS)
      & r_0022_0034__collections(R_0022_0034__COLLECTIONS)
      & has_attrib(R_0022_0034__COLLECTIONS,R_0022_0033__VARIOUS)
      & has_prn(R_0022_0035__HAVE_R_0022_0036__BEEN_R_0022_0037__COMPILED,R_0022_0055__SO)
      & r_0022_0055__so(R_0022_0055__SO)
      & ! [R_0022_0059__TRY,R_0022_0057__PEOPLE,R_0022_0058__TODAY,R_0022_0062__THE_R_0022_0063__TEXT,R_0022_0061__UNDERSTAND] :
          ( ( r_0022_0057__people(R_0022_0057__PEOPLE)
            & r_0022_0058__today(R_0022_0058__TODAY)
            & r_0022_0062__the_r_0022_0063__text(R_0022_0062__THE_R_0022_0063__TEXT)
            & r_0022_0059__try(R_0022_0059__TRY)
            & has_arg1(R_0022_0059__TRY,R_0022_0061__UNDERSTAND)
            & r_0022_0061__understand(R_0022_0061__UNDERSTAND)
            & has_arg1(R_0022_0061__UNDERSTAND,R_0022_0062__THE_R_0022_0063__TEXT)
            & has_arg0(R_0022_0061__UNDERSTAND,R_0022_0057__PEOPLE)
            & has_nim(R_0022_0059__TRY,R_0022_0058__TODAY)
            & has_arg0(R_0022_0059__TRY,R_0022_0057__PEOPLE) )
         => ? [R_0022_0065__THE_R_0022_0066__KOAN,R_0022_0068__REFUSES] :
              ( r_0022_0065__the_r_0022_0066__Koan(R_0022_0065__THE_R_0022_0066__KOAN)
              & r_0022_0068__refuses(R_0022_0068__REFUSES)
              & has_rfl(R_0022_0068__REFUSES,R_0022_0065__THE_R_0022_0066__KOAN)
              & has_arg0(R_0022_0068__REFUSES,R_0022_0065__THE_R_0022_0066__KOAN)
              & has_arg1(R_0022_0068__REFUSES,R_0022_0057__PEOPLE) ) )
      & has_conj2(R_0022_0055__SO,R_0022_0046__NOT)
      & ~ ? [R_0022_0044__ENLIGHTENMENT,R_0022_0045__IS] :
            ( r_0022_0044__enlightenment(R_0022_0044__ENLIGHTENMENT)
            & r_0022_0045__is(R_0022_0045__IS)
            & has_prd(R_0022_0045__IS,R_0022_0047__SOMETHING)
            & has_arg0(R_0022_0045__IS,R_0022_0044__ENLIGHTENMENT) )
      & has_conj1(R_0022_0032__AND,R_0022_0025__IS_R_0022_0026__CALLED)
      & r_0022_0025__is_r_0022_0026__called(R_0022_0025__IS_R_0022_0026__CALLED)
      & has_arg0(R_0022_0025__IS_R_0022_0026__CALLED,Z_0022_5040___STAR_)
      & has_prd(R_0022_0025__IS_R_0022_0026__CALLED,R_0022_0027__A_R_0022_0028__KOAN_R_0022_0030__PRECEDENT)
      & has_arg1(R_0022_0025__IS_R_0022_0026__CALLED,R_0022_0001__WHAT)
      & has_prn(R_0022_0025__IS_R_0022_0026__CALLED,R_0022_0055__SO)
      & r_0022_0002__is_r_0022_0003__extracted_r_0022_0004__from(R_0022_0002__IS_R_0022_0003__EXTRACTED_R_0022_0004__FROM)
      & has_arg0(R_0022_0002__IS_R_0022_0003__EXTRACTED_R_0022_0004__FROM,Z_0022_5035___STAR_)
      & has_arg2(R_0022_0002__IS_R_0022_0003__EXTRACTED_R_0022_0004__FROM,R_0022_0013__OR)
      & r_0022_0013__or(R_0022_0013__OR)
      & has_conj2(R_0022_0013__OR,R_0022_0014__ZEN_R_0022_0015__LECTURE_R_0022_0016__TRANSCRIPTS)
      & r_0022_0014__Zen_r_0022_0015__lecture_r_0022_0016__transcripts(R_0022_0014__ZEN_R_0022_0015__LECTURE_R_0022_0016__TRANSCRIPTS)
      & has_inv_arg0(R_0022_0014__ZEN_R_0022_0015__LECTURE_R_0022_0016__TRANSCRIPTS,R_0022_0018__RECORD)
      & r_0022_0018__record(R_0022_0018__RECORD)
      & has_arg1(R_0022_0018__RECORD,R_0022_0019__THE_R_0022_0020__ACTIONS)
      & r_0022_0019__the_r_0022_0020__actions(R_0022_0019__THE_R_0022_0020__ACTIONS)
      & has_r_0022_0021__of(R_0022_0019__THE_R_0022_0020__ACTIONS,R_0022_0022__A_R_0022_0023__MASTER)
      & has_conj1(R_0022_0013__OR,R_0022_0005__THE_R_0022_0006__INTERACTIONS)
      & r_0022_0005__the_r_0022_0006__interactions(R_0022_0005__THE_R_0022_0006__INTERACTIONS)
      & has_r_0022_0007__between(R_0022_0005__THE_R_0022_0006__INTERACTIONS,R_0022_0010__AND)
      & r_0022_0010__and(R_0022_0010__AND)
      & has_conj2(R_0022_0010__AND,R_0022_0011__DISCIPLE)
      & has_conj1(R_0022_0010__AND,R_0022_0008__A_R_0022_0009__MASTER)
      & has_arg1(R_0022_0002__IS_R_0022_0003__EXTRACTED_R_0022_0004__FROM,R_0022_0001__WHAT) ) ).