TSPC 48_a_kyoto

48_a_kyoto_2
Koan can not be received with logical, intellectual understanding, and are stories beyond logic that can be understood only by completely becoming the Koan itself instead of thinking.

arc(r_0048_0002__can, r_0048_0004__be, scope).
arc(r_0048_0003__not, r_0048_0002__can, keep_scope).
arc(r_0048_0004__be, r_0048_0005__received, scope).
arc(r_0048_0005__received, r_0048_0001__Koan, arg1).
arc(r_0048_0005__received, r_0048_0010__understanding, r_0048_0006__with_nim22).
arc(r_0048_0005__received, z_000_48_a_kyoto_2_15, arg0).
arc(r_0048_0010__understanding, r_0048_0007__logical, attrib23).
arc(r_0048_0010__understanding, r_0048_0009__intellectual, attrib28).
arc(r_0048_0012__and, r_0048_0003__not, conj1).
arc(r_0048_0012__and, r_0048_0013__are, conj2).
arc(r_0048_0013__are, r_0048_0001__Koan, arg0).
arc(r_0048_0013__are, r_0048_0014__stories, prd).
arc(r_0048_0014__stories, r_0048_0016__logic, r_0048_0015__beyond).
arc(r_0048_0017__that_r_0048_0018__can, r_0048_0019__be, scope).
arc(r_0048_0019__be, r_0048_0020__understood, scope).
arc(r_0048_0020__understood, r_0048_0014__stories, arg1).
arc(r_0048_0020__understood, r_0048_0024__becoming, r_0048_0021__only_r_0048_0022__by_nim70).
arc(r_0048_0020__understood, z_000_48_a_kyoto_2_61, arg0).
arc(r_0048_0024__becoming, r_0048_0023__completely, nim71).
arc(r_0048_0024__becoming, r_0048_0025__the_r_0048_0026__Koan, prd).
arc(r_0048_0024__becoming, r_0048_0029__thinking, r_0048_0028__instead_of_nim87).
arc(r_0048_0024__becoming, z_000_48_a_kyoto_2_70, arg0).
arc(r_0048_0029__thinking, z_000_48_a_kyoto_2_87, arg0).

fof(formula,axiom,
    ? [R_0048_0001__KOAN,R_0048_0016__LOGIC,R_0048_0014__STORIES,R_0048_0013__ARE,R_0048_0012__AND,R_0048_0023__COMPLETELY,R_0048_0025__THE_R_0048_0026__KOAN,Z_000_48_A_KYOTO_2_87,R_0048_0029__THINKING,Z_000_48_A_KYOTO_2_70,R_0048_0024__BECOMING,Z_000_48_A_KYOTO_2_61,R_0048_0017__THAT_R_0048_0018__CAN_R_0048_0019__BE_R_0048_0020__UNDERSTOOD] :
      ( r_0048_0001__Koan(R_0048_0001__KOAN)
      & r_0048_0016__logic(R_0048_0016__LOGIC)
      & r_0048_0023__completely(R_0048_0023__COMPLETELY)
      & r_0048_0025__the_r_0048_0026__Koan(R_0048_0025__THE_R_0048_0026__KOAN)
      & z_000_48_a_kyoto_2_61(Z_000_48_A_KYOTO_2_61)
      & z_000_48_a_kyoto_2_70(Z_000_48_A_KYOTO_2_70)
      & z_000_48_a_kyoto_2_87(Z_000_48_A_KYOTO_2_87)
      & r_0048_0017__that_r_0048_0018__can_r_0048_0019__be_r_0048_0020__understood(R_0048_0017__THAT_R_0048_0018__CAN_R_0048_0019__BE_R_0048_0020__UNDERSTOOD)
      & has_arg0(R_0048_0017__THAT_R_0048_0018__CAN_R_0048_0019__BE_R_0048_0020__UNDERSTOOD,Z_000_48_A_KYOTO_2_61)
      & has_r_0048_0021__only_r_0048_0022__by_nim70(R_0048_0017__THAT_R_0048_0018__CAN_R_0048_0019__BE_R_0048_0020__UNDERSTOOD,R_0048_0024__BECOMING)
      & r_0048_0024__becoming(R_0048_0024__BECOMING)
      & has_arg0(R_0048_0024__BECOMING,Z_000_48_A_KYOTO_2_70)
      & has_r_0048_0028__instead_of_nim87(R_0048_0024__BECOMING,R_0048_0029__THINKING)
      & r_0048_0029__thinking(R_0048_0029__THINKING)
      & has_arg0(R_0048_0029__THINKING,Z_000_48_A_KYOTO_2_87)
      & has_prd(R_0048_0024__BECOMING,R_0048_0025__THE_R_0048_0026__KOAN)
      & has_nim71(R_0048_0024__BECOMING,R_0048_0023__COMPLETELY)
      & has_arg1(R_0048_0017__THAT_R_0048_0018__CAN_R_0048_0019__BE_R_0048_0020__UNDERSTOOD,R_0048_0014__STORIES)
      & r_0048_0014__stories(R_0048_0014__STORIES)
      & has_r_0048_0015__beyond(R_0048_0014__STORIES,R_0048_0016__LOGIC)
      & r_0048_0012__and(R_0048_0012__AND)
      & has_conj2(R_0048_0012__AND,R_0048_0013__ARE)
      & r_0048_0013__are(R_0048_0013__ARE)
      & has_prd(R_0048_0013__ARE,R_0048_0014__STORIES)
      & has_arg0(R_0048_0013__ARE,R_0048_0001__KOAN)
      & has_conj1(R_0048_0012__AND,R_0048_0003__NOT)
      & ~ ? [R_0048_0007__LOGICAL,R_0048_0009__INTELLECTUAL,R_0048_0010__UNDERSTANDING,Z_000_48_A_KYOTO_2_15,R_0048_0002__CAN_R_0048_0004__BE_R_0048_0005__RECEIVED] :
            ( r_0048_0007__logical(R_0048_0007__LOGICAL)
            & r_0048_0009__intellectual(R_0048_0009__INTELLECTUAL)
            & z_000_48_a_kyoto_2_15(Z_000_48_A_KYOTO_2_15)
            & r_0048_0002__can_r_0048_0004__be_r_0048_0005__received(R_0048_0002__CAN_R_0048_0004__BE_R_0048_0005__RECEIVED)
            & has_arg0(R_0048_0002__CAN_R_0048_0004__BE_R_0048_0005__RECEIVED,Z_000_48_A_KYOTO_2_15)
            & has_r_0048_0006__with_nim22(R_0048_0002__CAN_R_0048_0004__BE_R_0048_0005__RECEIVED,R_0048_0010__UNDERSTANDING)
            & r_0048_0010__understanding(R_0048_0010__UNDERSTANDING)
            & has_attrib28(R_0048_0010__UNDERSTANDING,R_0048_0009__INTELLECTUAL)
            & has_attrib23(R_0048_0010__UNDERSTANDING,R_0048_0007__LOGICAL)
            & has_arg1(R_0048_0002__CAN_R_0048_0004__BE_R_0048_0005__RECEIVED,R_0048_0001__KOAN) ) ) ).

( (IP-MAT (NP-SBJ (N Koan;{koan}))
          (ILYR (ILYR (MD;_cat_Vi_ can;{can})
                      (NEG not;{not})
                      (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;__ received;{receive})
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (ADJP (ADJ logical;{logical}))
                                                          (PUNC ,)
                                                          (ADJP (ADJ intellectual;{intellectual}))
                                                          (N understanding;{understanding}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (BEP;_Ln_ are;{be})
                             (NP-PRD (NS stories;{story})
                                     (PP (P-ROLE beyond;{beyond})
                                         (NP (N logic;{logic})))
                                     (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_ understood;{understand})
                                                                     (PP-NIM (ADV only;{only})
                                                                             (P-ROLE by;{by})
                                                                             (IP-PPL (ADVP-NIM (ADV completely;{completely}))
                                                                                     (VAG;_Ln_ becoming;{become})
                                                                                     (NP-PRD;{KOAN} (D the;{the})
                                                                                                    (N Koan;{koan})
                                                                                                    (NP;{KOAN} (PNX itself;{itself})))
                                                                                     (PP-NIM (P-ROLE instead_of;{instead_of})
                                                                                             (IP-PPL (VAG;__ thinking;{think}))))))))))))
          (PUNC .))
  (ID 48_a_kyoto_2;BDS_00002;48))