Context                Previous, Next                Top


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.

%3 r_0048_0002__can can r_0048_0004__be be r_0048_0002__can->r_0048_0004__be [scope] r_0048_0005__received received r_0048_0004__be->r_0048_0005__received [scope] r_0048_0003__not not r_0048_0003__not->r_0048_0002__can [keep_scope] r_0048_0001__Koan Koan r_0048_0005__received->r_0048_0001__Koan [arg1] r_0048_0010__understanding understanding r_0048_0005__received->r_0048_0010__understanding with [nim] z_000_48_a_kyoto_2_15 r_0048_0005__received->z_000_48_a_kyoto_2_15 [arg0] r_0048_0007__logical logical r_0048_0010__understanding->r_0048_0007__logical [attrib] r_0048_0009__intellectual intellectual r_0048_0010__understanding->r_0048_0009__intellectual [attrib] r_0048_0012__and and r_0048_0012__and->r_0048_0003__not [conj1] r_0048_0013__are are r_0048_0012__and->r_0048_0013__are [conj2] r_0048_0013__are->r_0048_0001__Koan [arg0] r_0048_0014__stories stories r_0048_0013__are->r_0048_0014__stories [prd] r_0048_0016__logic logic r_0048_0014__stories->r_0048_0016__logic beyond r_0048_0017__that_r_0048_0018__can that can r_0048_0019__be be r_0048_0017__that_r_0048_0018__can->r_0048_0019__be [scope] r_0048_0020__understood understood r_0048_0019__be->r_0048_0020__understood [scope] r_0048_0020__understood->r_0048_0014__stories [arg1] r_0048_0024__becoming becoming r_0048_0020__understood->r_0048_0024__becoming only by [nim] z_000_48_a_kyoto_2_61 r_0048_0020__understood->z_000_48_a_kyoto_2_61 [arg0] r_0048_0023__completely completely r_0048_0024__becoming->r_0048_0023__completely [nim] r_0048_0025__the_r_0048_0026__Koan the Koan r_0048_0024__becoming->r_0048_0025__the_r_0048_0026__Koan [prd] r_0048_0029__thinking thinking r_0048_0024__becoming->r_0048_0029__thinking instead of [nim] z_000_48_a_kyoto_2_70 r_0048_0024__becoming->z_000_48_a_kyoto_2_70 [arg0] z_000_48_a_kyoto_2_87 r_0048_0029__thinking->z_000_48_a_kyoto_2_87 [arg0] 
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).


%3 r_0048_0002__can_r_0048_0004__be_r_0048_0005__received can be received r_0048_0001__Koan Koan r_0048_0002__can_r_0048_0004__be_r_0048_0005__received->r_0048_0001__Koan [arg1] r_0048_0010__understanding understanding r_0048_0002__can_r_0048_0004__be_r_0048_0005__received->r_0048_0010__understanding with [nim] z_000_48_a_kyoto_2_15 r_0048_0002__can_r_0048_0004__be_r_0048_0005__received->z_000_48_a_kyoto_2_15 [arg0] r_0048_0007__logical logical r_0048_0010__understanding->r_0048_0007__logical [attrib] r_0048_0009__intellectual intellectual r_0048_0010__understanding->r_0048_0009__intellectual [attrib] r_0048_0003__not not r_0048_0003__not->r_0048_0002__can_r_0048_0004__be_r_0048_0005__received [keep_scope] r_0048_0012__and and r_0048_0012__and->r_0048_0003__not [conj1] r_0048_0013__are are r_0048_0012__and->r_0048_0013__are [conj2] r_0048_0013__are->r_0048_0001__Koan [arg0] r_0048_0014__stories stories r_0048_0013__are->r_0048_0014__stories [prd] r_0048_0016__logic logic r_0048_0014__stories->r_0048_0016__logic beyond r_0048_0017__that_r_0048_0018__can_r_0048_0019__be_r_0048_0020__understood that can be understood r_0048_0017__that_r_0048_0018__can_r_0048_0019__be_r_0048_0020__understood->r_0048_0014__stories [arg1] r_0048_0024__becoming becoming r_0048_0017__that_r_0048_0018__can_r_0048_0019__be_r_0048_0020__understood->r_0048_0024__becoming only by [nim] z_000_48_a_kyoto_2_61 r_0048_0017__that_r_0048_0018__can_r_0048_0019__be_r_0048_0020__understood->z_000_48_a_kyoto_2_61 [arg0] r_0048_0023__completely completely r_0048_0024__becoming->r_0048_0023__completely [nim] r_0048_0025__the_r_0048_0026__Koan the Koan r_0048_0024__becoming->r_0048_0025__the_r_0048_0026__Koan [prd] r_0048_0029__thinking thinking r_0048_0024__becoming->r_0048_0029__thinking instead of [nim] z_000_48_a_kyoto_2_70 r_0048_0024__becoming->z_000_48_a_kyoto_2_70 [arg0] z_000_48_a_kyoto_2_87 r_0048_0029__thinking->z_000_48_a_kyoto_2_87 [arg0] 
fof(formula,axiom,
    ? [R_48_12_AND,R_48_13_ARE,R_48_1_KOAN,R_48_17_THAT_CAN_BE_UNDERSTOOD,Z_48_A_KYOTO_2_61,R_48_14_STORIES,R_48_16_LOGIC,R_48_24_BECOMING,Z_48_A_KYOTO_2_70,R_48_23_COMPLETELY,R_48_25_THE_KOAN,R_48_29_THINKING,Z_48_A_KYOTO_2_87] :
      ( koan(R_48_1_KOAN)
      & logic(R_48_16_LOGIC)
      & completely(R_48_23_COMPLETELY)
      & the_Koan(R_48_25_THE_KOAN)
      & and(R_48_12_AND)
      & conj1(R_48_12_AND,R_48_3_NOT)
      & ~ ? [R_48_2_CAN_BE_RECEIVED,Z_48_A_KYOTO_2_15,R_48_10_UNDERSTANDING,R_48_7_LOGICAL,R_48_9_INTELLECTUAL] :
            ( logical(R_48_7_LOGICAL)
            & intellectual(R_48_9_INTELLECTUAL)
            & can_be_received(R_48_2_CAN_BE_RECEIVED,Z_48_A_KYOTO_2_15,R_48_1_KOAN)
            & with_nim22(R_48_2_CAN_BE_RECEIVED,R_48_10_UNDERSTANDING)
            & understanding(R_48_10_UNDERSTANDING)
            & attrib23(R_48_10_UNDERSTANDING,R_48_7_LOGICAL)
            & attrib28(R_48_10_UNDERSTANDING,R_48_9_INTELLECTUAL) )
      & conj2(R_48_12_AND,R_48_13_ARE)
      & are(R_48_13_ARE,R_48_1_KOAN,R_48_14_STORIES)
      & stories(R_48_14_STORIES)
      & beyond(R_48_14_STORIES,R_48_16_LOGIC)
      & that_can_be_understood(R_48_17_THAT_CAN_BE_UNDERSTOOD,Z_48_A_KYOTO_2_61,R_48_14_STORIES)
      & only_by_nim70(R_48_17_THAT_CAN_BE_UNDERSTOOD,R_48_24_BECOMING)
      & becoming(R_48_24_BECOMING,Z_48_A_KYOTO_2_70,R_48_25_THE_KOAN)
      & nim71(R_48_24_BECOMING,R_48_23_COMPLETELY)
      & instead_of_nim87(R_48_24_BECOMING,R_48_29_THINKING)
      & thinking(R_48_29_THINKING,Z_48_A_KYOTO_2_87) ) ).


n48_a_kyoto_2 n48_a_kyoto_2_4 Koan n48_a_kyoto_2_8 can n48_a_kyoto_2_10 not n48_a_kyoto_2_13 be n48_a_kyoto_2_16 * n48_a_kyoto_2_18 received n48_a_kyoto_2_21 with n48_a_kyoto_2_25 logical n48_a_kyoto_2_27 , n48_a_kyoto_2_30 intellectual n48_a_kyoto_2_32 understanding n48_a_kyoto_2_34 , n48_a_kyoto_2_37 and n48_a_kyoto_2_40 are n48_a_kyoto_2_43 stories n48_a_kyoto_2_46 beyond n48_a_kyoto_2_49 logic n48_a_kyoto_2_52 that n48_a_kyoto_2_54 *T* n48_a_kyoto_2_56 can n48_a_kyoto_2_59 be n48_a_kyoto_2_62 * n48_a_kyoto_2_64 understood n48_a_kyoto_2_67 only n48_a_kyoto_2_69 by n48_a_kyoto_2_73 completely n48_a_kyoto_2_75 becoming n48_a_kyoto_2_78 the n48_a_kyoto_2_80 Koan n48_a_kyoto_2_83 itself n48_a_kyoto_2_86 instead_of n48_a_kyoto_2_89 thinking n48_a_kyoto_2_91 . n48_a_kyoto_2_1 IP-MAT n48_a_kyoto_2_2 NP-SBJ n48_a_kyoto_2_1->n48_a_kyoto_2_2 n48_a_kyoto_2_5 ILYR n48_a_kyoto_2_1->n48_a_kyoto_2_5 n48_a_kyoto_2_90 PUNC n48_a_kyoto_2_1->n48_a_kyoto_2_90 n48_a_kyoto_2_3 N n48_a_kyoto_2_2->n48_a_kyoto_2_3 n48_a_kyoto_2_3->n48_a_kyoto_2_4 n48_a_kyoto_2_6 ILYR n48_a_kyoto_2_5->n48_a_kyoto_2_6 n48_a_kyoto_2_33 PUNC n48_a_kyoto_2_5->n48_a_kyoto_2_33 n48_a_kyoto_2_35 CONJP n48_a_kyoto_2_5->n48_a_kyoto_2_35 n48_a_kyoto_2_7 MD;_cat_Vi_ n48_a_kyoto_2_6->n48_a_kyoto_2_7 n48_a_kyoto_2_9 NEG n48_a_kyoto_2_6->n48_a_kyoto_2_9 n48_a_kyoto_2_11 IP-INF-CAT n48_a_kyoto_2_6->n48_a_kyoto_2_11 n48_a_kyoto_2_7->n48_a_kyoto_2_8 n48_a_kyoto_2_9->n48_a_kyoto_2_10 n48_a_kyoto_2_12 BE;_cat_VePASS_ n48_a_kyoto_2_11->n48_a_kyoto_2_12 n48_a_kyoto_2_14 IP-PPL-CAT n48_a_kyoto_2_11->n48_a_kyoto_2_14 n48_a_kyoto_2_12->n48_a_kyoto_2_13 n48_a_kyoto_2_15 NP-LGS n48_a_kyoto_2_14->n48_a_kyoto_2_15 n48_a_kyoto_2_17 VVN;__ n48_a_kyoto_2_14->n48_a_kyoto_2_17 n48_a_kyoto_2_19 PP-NIM n48_a_kyoto_2_14->n48_a_kyoto_2_19 n48_a_kyoto_2_15->n48_a_kyoto_2_16 n48_a_kyoto_2_17->n48_a_kyoto_2_18 n48_a_kyoto_2_20 P-ROLE n48_a_kyoto_2_19->n48_a_kyoto_2_20 n48_a_kyoto_2_22 NP n48_a_kyoto_2_19->n48_a_kyoto_2_22 n48_a_kyoto_2_20->n48_a_kyoto_2_21 n48_a_kyoto_2_23 ADJP n48_a_kyoto_2_22->n48_a_kyoto_2_23 n48_a_kyoto_2_26 PUNC n48_a_kyoto_2_22->n48_a_kyoto_2_26 n48_a_kyoto_2_28 ADJP n48_a_kyoto_2_22->n48_a_kyoto_2_28 n48_a_kyoto_2_31 N n48_a_kyoto_2_22->n48_a_kyoto_2_31 n48_a_kyoto_2_24 ADJ n48_a_kyoto_2_23->n48_a_kyoto_2_24 n48_a_kyoto_2_24->n48_a_kyoto_2_25 n48_a_kyoto_2_26->n48_a_kyoto_2_27 n48_a_kyoto_2_29 ADJ n48_a_kyoto_2_28->n48_a_kyoto_2_29 n48_a_kyoto_2_29->n48_a_kyoto_2_30 n48_a_kyoto_2_31->n48_a_kyoto_2_32 n48_a_kyoto_2_33->n48_a_kyoto_2_34 n48_a_kyoto_2_36 CONJ n48_a_kyoto_2_35->n48_a_kyoto_2_36 n48_a_kyoto_2_38 ILYR n48_a_kyoto_2_35->n48_a_kyoto_2_38 n48_a_kyoto_2_36->n48_a_kyoto_2_37 n48_a_kyoto_2_39 BEP;_Ln_ n48_a_kyoto_2_38->n48_a_kyoto_2_39 n48_a_kyoto_2_41 NP-PRD n48_a_kyoto_2_38->n48_a_kyoto_2_41 n48_a_kyoto_2_39->n48_a_kyoto_2_40 n48_a_kyoto_2_42 NS n48_a_kyoto_2_41->n48_a_kyoto_2_42 n48_a_kyoto_2_44 PP n48_a_kyoto_2_41->n48_a_kyoto_2_44 n48_a_kyoto_2_50 IP-REL n48_a_kyoto_2_41->n48_a_kyoto_2_50 n48_a_kyoto_2_42->n48_a_kyoto_2_43 n48_a_kyoto_2_45 P-ROLE n48_a_kyoto_2_44->n48_a_kyoto_2_45 n48_a_kyoto_2_47 NP n48_a_kyoto_2_44->n48_a_kyoto_2_47 n48_a_kyoto_2_45->n48_a_kyoto_2_46 n48_a_kyoto_2_48 N n48_a_kyoto_2_47->n48_a_kyoto_2_48 n48_a_kyoto_2_48->n48_a_kyoto_2_49 n48_a_kyoto_2_51 C n48_a_kyoto_2_50->n48_a_kyoto_2_51 n48_a_kyoto_2_53 NP-SBJ n48_a_kyoto_2_50->n48_a_kyoto_2_53 n48_a_kyoto_2_55 MD;_cat_Vi_ n48_a_kyoto_2_50->n48_a_kyoto_2_55 n48_a_kyoto_2_57 IP-INF-CAT n48_a_kyoto_2_50->n48_a_kyoto_2_57 n48_a_kyoto_2_51->n48_a_kyoto_2_52 n48_a_kyoto_2_53->n48_a_kyoto_2_54 n48_a_kyoto_2_55->n48_a_kyoto_2_56 n48_a_kyoto_2_58 BE;_cat_VePASS_ n48_a_kyoto_2_57->n48_a_kyoto_2_58 n48_a_kyoto_2_60 IP-PPL-CAT n48_a_kyoto_2_57->n48_a_kyoto_2_60 n48_a_kyoto_2_58->n48_a_kyoto_2_59 n48_a_kyoto_2_61 NP-LGS n48_a_kyoto_2_60->n48_a_kyoto_2_61 n48_a_kyoto_2_63 VVN;_Tn_ n48_a_kyoto_2_60->n48_a_kyoto_2_63 n48_a_kyoto_2_65 PP-NIM n48_a_kyoto_2_60->n48_a_kyoto_2_65 n48_a_kyoto_2_61->n48_a_kyoto_2_62 n48_a_kyoto_2_63->n48_a_kyoto_2_64 n48_a_kyoto_2_66 ADV n48_a_kyoto_2_65->n48_a_kyoto_2_66 n48_a_kyoto_2_68 P-ROLE n48_a_kyoto_2_65->n48_a_kyoto_2_68 n48_a_kyoto_2_70 IP-PPL n48_a_kyoto_2_65->n48_a_kyoto_2_70 n48_a_kyoto_2_66->n48_a_kyoto_2_67 n48_a_kyoto_2_68->n48_a_kyoto_2_69 n48_a_kyoto_2_71 ADVP-NIM n48_a_kyoto_2_70->n48_a_kyoto_2_71 n48_a_kyoto_2_74 VAG;_Ln_ n48_a_kyoto_2_70->n48_a_kyoto_2_74 n48_a_kyoto_2_76 NP-PRD n48_a_kyoto_2_70->n48_a_kyoto_2_76 n48_a_kyoto_2_84 PP-NIM n48_a_kyoto_2_70->n48_a_kyoto_2_84 n48_a_kyoto_2_72 ADV n48_a_kyoto_2_71->n48_a_kyoto_2_72 n48_a_kyoto_2_72->n48_a_kyoto_2_73 n48_a_kyoto_2_74->n48_a_kyoto_2_75 n48_a_kyoto_2_77 D n48_a_kyoto_2_76->n48_a_kyoto_2_77 n48_a_kyoto_2_79 N n48_a_kyoto_2_76->n48_a_kyoto_2_79 n48_a_kyoto_2_81 NP n48_a_kyoto_2_76->n48_a_kyoto_2_81 n48_a_kyoto_2_77->n48_a_kyoto_2_78 n48_a_kyoto_2_79->n48_a_kyoto_2_80 n48_a_kyoto_2_82 PNX n48_a_kyoto_2_81->n48_a_kyoto_2_82 n48_a_kyoto_2_82->n48_a_kyoto_2_83 n48_a_kyoto_2_85 P-ROLE n48_a_kyoto_2_84->n48_a_kyoto_2_85 n48_a_kyoto_2_87 IP-PPL n48_a_kyoto_2_84->n48_a_kyoto_2_87 n48_a_kyoto_2_85->n48_a_kyoto_2_86 n48_a_kyoto_2_88 VAG;__ n48_a_kyoto_2_87->n48_a_kyoto_2_88 n48_a_kyoto_2_88->n48_a_kyoto_2_89 n48_a_kyoto_2_90->n48_a_kyoto_2_91 
( (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))