Context                Previous, Next                Top


41_a_kyoto_2
While it is impossible to define enlightenment with words, words are one of many methods that can describe the boundaries of enlightenment.

n41_a_kyoto_2 n41_a_kyoto_2__1_1_1_1 While n41_a_kyoto_2__1_1_2_1_1_1 it n41_a_kyoto_2__1_1_2_2_1 is n41_a_kyoto_2__1_1_2_3_1_1 impossible n41_a_kyoto_2__1_1_2_4_1_1 to n41_a_kyoto_2__1_1_2_4_2_1 define n41_a_kyoto_2__1_1_2_4_3_1_1 enlightenment n41_a_kyoto_2__1_1_2_4_4_1_1 with n41_a_kyoto_2__1_1_2_4_4_2_1_1 words n41_a_kyoto_2__1_2_1 , n41_a_kyoto_2__1_3_1_1 words n41_a_kyoto_2__1_4_1 are n41_a_kyoto_2__1_5_1_1 one n41_a_kyoto_2__1_5_2_1_1 of n41_a_kyoto_2__1_5_2_2_1_1_1 many n41_a_kyoto_2__1_5_2_2_2_1 methods n41_a_kyoto_2__1_5_2_2_3_1_1 that n41_a_kyoto_2__1_5_2_2_3_2_1 *T* n41_a_kyoto_2__1_5_2_2_3_3_1 can n41_a_kyoto_2__1_5_2_2_3_4_1_1 describe n41_a_kyoto_2__1_5_2_2_3_4_2_1_1 the n41_a_kyoto_2__1_5_2_2_3_4_2_2_1 boundaries n41_a_kyoto_2__1_5_2_2_3_4_2_3_1_1 of n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1_1 enlightenment n41_a_kyoto_2__1_6_1 . n41_a_kyoto_2__1 IP-MAT n41_a_kyoto_2__1_1 PP-SCON n41_a_kyoto_2__1->n41_a_kyoto_2__1_1 n41_a_kyoto_2__1_2 PUNC n41_a_kyoto_2__1->n41_a_kyoto_2__1_2 n41_a_kyoto_2__1_3 NP-SBJ n41_a_kyoto_2__1->n41_a_kyoto_2__1_3 n41_a_kyoto_2__1_4 BEP;_Ln_ n41_a_kyoto_2__1->n41_a_kyoto_2__1_4 n41_a_kyoto_2__1_5 NP-PRD n41_a_kyoto_2__1->n41_a_kyoto_2__1_5 n41_a_kyoto_2__1_6 PUNC n41_a_kyoto_2__1->n41_a_kyoto_2__1_6 n41_a_kyoto_2__1_1_1 P-CONN n41_a_kyoto_2__1_1->n41_a_kyoto_2__1_1_1 n41_a_kyoto_2__1_1_2 IP-ADV n41_a_kyoto_2__1_1->n41_a_kyoto_2__1_1_2 n41_a_kyoto_2__1_1_1->n41_a_kyoto_2__1_1_1_1 n41_a_kyoto_2__1_1_2_1 NP-SBJ n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_1 n41_a_kyoto_2__1_1_2_2 BEP;_La_ n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_2 n41_a_kyoto_2__1_1_2_3 ADJP-PRD n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_3 n41_a_kyoto_2__1_1_2_4 IP-INF-NSBJ n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_4 n41_a_kyoto_2__1_1_2_1_1 PRO;_provisional_ n41_a_kyoto_2__1_1_2_1->n41_a_kyoto_2__1_1_2_1_1 n41_a_kyoto_2__1_1_2_1_1->n41_a_kyoto_2__1_1_2_1_1_1 n41_a_kyoto_2__1_1_2_2->n41_a_kyoto_2__1_1_2_2_1 n41_a_kyoto_2__1_1_2_3_1 ADJ n41_a_kyoto_2__1_1_2_3->n41_a_kyoto_2__1_1_2_3_1 n41_a_kyoto_2__1_1_2_3_1->n41_a_kyoto_2__1_1_2_3_1_1 n41_a_kyoto_2__1_1_2_4_1 TO n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_1 n41_a_kyoto_2__1_1_2_4_2 VB;__ n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_2 n41_a_kyoto_2__1_1_2_4_3 NP-OB1 n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_3 n41_a_kyoto_2__1_1_2_4_4 PP-NIM n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_4 n41_a_kyoto_2__1_1_2_4_1->n41_a_kyoto_2__1_1_2_4_1_1 n41_a_kyoto_2__1_1_2_4_2->n41_a_kyoto_2__1_1_2_4_2_1 n41_a_kyoto_2__1_1_2_4_3_1 N n41_a_kyoto_2__1_1_2_4_3->n41_a_kyoto_2__1_1_2_4_3_1 n41_a_kyoto_2__1_1_2_4_3_1->n41_a_kyoto_2__1_1_2_4_3_1_1 n41_a_kyoto_2__1_1_2_4_4_1 P-ROLE n41_a_kyoto_2__1_1_2_4_4->n41_a_kyoto_2__1_1_2_4_4_1 n41_a_kyoto_2__1_1_2_4_4_2 NP n41_a_kyoto_2__1_1_2_4_4->n41_a_kyoto_2__1_1_2_4_4_2 n41_a_kyoto_2__1_1_2_4_4_1->n41_a_kyoto_2__1_1_2_4_4_1_1 n41_a_kyoto_2__1_1_2_4_4_2_1 NS n41_a_kyoto_2__1_1_2_4_4_2->n41_a_kyoto_2__1_1_2_4_4_2_1 n41_a_kyoto_2__1_1_2_4_4_2_1->n41_a_kyoto_2__1_1_2_4_4_2_1_1 n41_a_kyoto_2__1_2->n41_a_kyoto_2__1_2_1 n41_a_kyoto_2__1_3_1 NS n41_a_kyoto_2__1_3->n41_a_kyoto_2__1_3_1 n41_a_kyoto_2__1_3_1->n41_a_kyoto_2__1_3_1_1 n41_a_kyoto_2__1_4->n41_a_kyoto_2__1_4_1 n41_a_kyoto_2__1_5_1 NUM n41_a_kyoto_2__1_5->n41_a_kyoto_2__1_5_1 n41_a_kyoto_2__1_5_2 PP n41_a_kyoto_2__1_5->n41_a_kyoto_2__1_5_2 n41_a_kyoto_2__1_5_1->n41_a_kyoto_2__1_5_1_1 n41_a_kyoto_2__1_5_2_1 P-ROLE n41_a_kyoto_2__1_5_2->n41_a_kyoto_2__1_5_2_1 n41_a_kyoto_2__1_5_2_2 NP n41_a_kyoto_2__1_5_2->n41_a_kyoto_2__1_5_2_2 n41_a_kyoto_2__1_5_2_1->n41_a_kyoto_2__1_5_2_1_1 n41_a_kyoto_2__1_5_2_2_1 ADJP n41_a_kyoto_2__1_5_2_2->n41_a_kyoto_2__1_5_2_2_1 n41_a_kyoto_2__1_5_2_2_2 NS n41_a_kyoto_2__1_5_2_2->n41_a_kyoto_2__1_5_2_2_2 n41_a_kyoto_2__1_5_2_2_3 IP-REL n41_a_kyoto_2__1_5_2_2->n41_a_kyoto_2__1_5_2_2_3 n41_a_kyoto_2__1_5_2_2_1_1 ADJ n41_a_kyoto_2__1_5_2_2_1->n41_a_kyoto_2__1_5_2_2_1_1 n41_a_kyoto_2__1_5_2_2_1_1->n41_a_kyoto_2__1_5_2_2_1_1_1 n41_a_kyoto_2__1_5_2_2_2->n41_a_kyoto_2__1_5_2_2_2_1 n41_a_kyoto_2__1_5_2_2_3_1 C n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_1 n41_a_kyoto_2__1_5_2_2_3_2 NP-SBJ n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_2 n41_a_kyoto_2__1_5_2_2_3_3 MD;_cat_Vi_ n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_3 n41_a_kyoto_2__1_5_2_2_3_4 IP-INF-CAT n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_4 n41_a_kyoto_2__1_5_2_2_3_1->n41_a_kyoto_2__1_5_2_2_3_1_1 n41_a_kyoto_2__1_5_2_2_3_2->n41_a_kyoto_2__1_5_2_2_3_2_1 n41_a_kyoto_2__1_5_2_2_3_3->n41_a_kyoto_2__1_5_2_2_3_3_1 n41_a_kyoto_2__1_5_2_2_3_4_1 VB;__ n41_a_kyoto_2__1_5_2_2_3_4->n41_a_kyoto_2__1_5_2_2_3_4_1 n41_a_kyoto_2__1_5_2_2_3_4_2 NP-OB1 n41_a_kyoto_2__1_5_2_2_3_4->n41_a_kyoto_2__1_5_2_2_3_4_2 n41_a_kyoto_2__1_5_2_2_3_4_1->n41_a_kyoto_2__1_5_2_2_3_4_1_1 n41_a_kyoto_2__1_5_2_2_3_4_2_1 D n41_a_kyoto_2__1_5_2_2_3_4_2->n41_a_kyoto_2__1_5_2_2_3_4_2_1 n41_a_kyoto_2__1_5_2_2_3_4_2_2 NS n41_a_kyoto_2__1_5_2_2_3_4_2->n41_a_kyoto_2__1_5_2_2_3_4_2_2 n41_a_kyoto_2__1_5_2_2_3_4_2_3 PP n41_a_kyoto_2__1_5_2_2_3_4_2->n41_a_kyoto_2__1_5_2_2_3_4_2_3 n41_a_kyoto_2__1_5_2_2_3_4_2_1->n41_a_kyoto_2__1_5_2_2_3_4_2_1_1 n41_a_kyoto_2__1_5_2_2_3_4_2_2->n41_a_kyoto_2__1_5_2_2_3_4_2_2_1 n41_a_kyoto_2__1_5_2_2_3_4_2_3_1 P-ROLE n41_a_kyoto_2__1_5_2_2_3_4_2_3->n41_a_kyoto_2__1_5_2_2_3_4_2_3_1 n41_a_kyoto_2__1_5_2_2_3_4_2_3_2 NP n41_a_kyoto_2__1_5_2_2_3_4_2_3->n41_a_kyoto_2__1_5_2_2_3_4_2_3_2 n41_a_kyoto_2__1_5_2_2_3_4_2_3_1->n41_a_kyoto_2__1_5_2_2_3_4_2_3_1_1 n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1 N n41_a_kyoto_2__1_5_2_2_3_4_2_3_2->n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1 n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1->n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1_1 n41_a_kyoto_2__1_6->n41_a_kyoto_2__1_6_1 
( (IP-MAT (PP-SCON (P-CONN While;{while})
                   (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                           (BEP;_La_ is;{be})
                           (ADJP-PRD (ADJ impossible;{impossible}))
                           (IP-INF-NSBJ (TO to;{to})
                                        (VB;__ define;{define})
                                        (NP-OB1 (N enlightenment;{enlightenment}))
                                        (PP-NIM (P-ROLE with;{with})
                                                (NP (NS words;{word}))))))
          (PUNC ,)
          (NP-SBJ (NS words;{word}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NUM one;{one})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ many;{many}))
                          (NS methods;{method})
                          (IP-REL (C that;{that})
                                  (NP-SBJ *T*)
                                  (MD;_cat_Vi_ can;{can})
                                  (IP-INF-CAT (VB;__ describe;{describe})
                                              (NP-OB1 (D the;{the})
                                                      (NS boundaries;{boundary})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (N enlightenment;{enlightenment})))))))))
          (PUNC .))
  (ID 41_a_kyoto_2;BDS_00002;41))


%3 r_0041_0020__the_r_0041_0021__boundaries the boundaries r_0041_0023__enlightenment enlightenment r_0041_0020__the_r_0041_0021__boundaries->r_0041_0023__enlightenment of r_0041_0019__describe describe r_0041_0019__describe->r_0041_0020__the_r_0041_0021__boundaries [arg1] r_0041_0016__methods methods r_0041_0019__describe->r_0041_0016__methods [arg0] r_0041_0015__many many r_0041_0016__methods->r_0041_0015__many [attrib] r_0041_0018__can can r_0041_0018__can->r_0041_0019__describe [scope] r_0041_0013__one one r_0041_0013__one->r_0041_0016__methods of r_0041_0012__are are r_0041_0012__are->r_0041_0013__one [prd] r_0041_0011__words words r_0041_0012__are->r_0041_0011__words [arg0] r_0041_0006__define define z_0041_5002 r_0041_0006__define->z_0041_5002 [arg0] r_0041_0009__words words r_0041_0006__define->r_0041_0009__words with [nim] r_0041_0007__enlightenment enlightenment r_0041_0006__define->r_0041_0007__enlightenment [arg1] r_0041_0003__is is r_0041_0003__is->r_0041_0006__define [arg0] r_0041_0004__impossible impossible r_0041_0003__is->r_0041_0004__impossible [prd] r_0041_0001__While While r_0041_0001__While->r_0041_0012__are [scope] r_0041_0001__While->r_0041_0003__is [restriction] 
arc(r_0041_0001__While,r_0041_0003__is,restriction).
arc(r_0041_0001__While,r_0041_0012__are,scope).
arc(r_0041_0003__is,r_0041_0004__impossible,prd).
arc(r_0041_0003__is,r_0041_0006__define,arg0).
arc(r_0041_0006__define,r_0041_0007__enlightenment,arg1).
arc(r_0041_0006__define,r_0041_0009__words,r_0041_0008__with__nim).
arc(r_0041_0006__define,z_0041_5002,arg0).
arc(r_0041_0012__are,r_0041_0011__words,arg0).
arc(r_0041_0012__are,r_0041_0013__one,prd).
arc(r_0041_0013__one,r_0041_0016__methods,r_0041_0014__of).
arc(r_0041_0016__methods,r_0041_0015__many,attrib).
arc(r_0041_0018__can,r_0041_0019__describe,scope).
arc(r_0041_0019__describe,r_0041_0016__methods,arg0).
arc(r_0041_0019__describe,r_0041_0020__the_r_0041_0021__boundaries,arg1).
arc(r_0041_0020__the_r_0041_0021__boundaries,r_0041_0023__enlightenment,r_0041_0022__of).


%3 r_0041_0001__While While r_0041_0003__is is r_0041_0001__While->r_0041_0003__is [conj1] r_0041_0012__are are r_0041_0001__While->r_0041_0012__are [conj2] r_0041_0004__impossible impossible r_0041_0003__is->r_0041_0004__impossible [prd] r_0041_0006__define define r_0041_0003__is->r_0041_0006__define [arg0] r_0041_0011__words words r_0041_0012__are->r_0041_0011__words [arg0] r_0041_0013__one one r_0041_0012__are->r_0041_0013__one [prd] r_0041_0007__enlightenment enlightenment r_0041_0006__define->r_0041_0007__enlightenment [arg1] r_0041_0009__words words r_0041_0006__define->r_0041_0009__words with [nim] z_0041_5002 r_0041_0006__define->z_0041_5002 [arg0] r_0041_0016__methods methods r_0041_0013__one->r_0041_0016__methods of r_0041_0015__many many r_0041_0016__methods->r_0041_0015__many [attrib] r_0041_0018__can_r_0041_0019__describe can describe r_0041_0018__can_r_0041_0019__describe->r_0041_0016__methods [arg0] r_0041_0020__the_r_0041_0021__boundaries the boundaries r_0041_0018__can_r_0041_0019__describe->r_0041_0020__the_r_0041_0021__boundaries [arg1] r_0041_0023__enlightenment enlightenment r_0041_0020__the_r_0041_0021__boundaries->r_0041_0023__enlightenment of 
fof(formula,axiom,
    ? [R_0041_0004__IMPOSSIBLE,R_0041_0007__ENLIGHTENMENT,R_0041_0009__WORDS,Z_0041_5002,R_0041_0006__DEFINE,R_0041_0003__IS,R_0041_0011__WORDS,R_0041_0015__MANY,R_0041_0016__METHODS,R_0041_0013__ONE,R_0041_0012__ARE,R_0041_0001__WHILE,R_0041_0023__ENLIGHTENMENT,R_0041_0020__THE_R_0041_0021__BOUNDARIES,R_0041_0018__CAN_R_0041_0019__DESCRIBE] :
      ( r_0041_0004__impossible(R_0041_0004__IMPOSSIBLE)
      & r_0041_0007__enlightenment(R_0041_0007__ENLIGHTENMENT)
      & r_0041_0009__words(R_0041_0009__WORDS)
      & r_0041_0011__words(R_0041_0011__WORDS)
      & r_0041_0015__many(R_0041_0015__MANY)
      & r_0041_0023__enlightenment(R_0041_0023__ENLIGHTENMENT)
      & z_0041_5002(Z_0041_5002)
      & r_0041_0018__can_r_0041_0019__describe(R_0041_0018__CAN_R_0041_0019__DESCRIBE)
      & has_arg1(R_0041_0018__CAN_R_0041_0019__DESCRIBE,R_0041_0020__THE_R_0041_0021__BOUNDARIES)
      & r_0041_0020__the_r_0041_0021__boundaries(R_0041_0020__THE_R_0041_0021__BOUNDARIES)
      & has_r_0041_0022__of(R_0041_0020__THE_R_0041_0021__BOUNDARIES,R_0041_0023__ENLIGHTENMENT)
      & has_arg0(R_0041_0018__CAN_R_0041_0019__DESCRIBE,R_0041_0016__METHODS)
      & r_0041_0016__methods(R_0041_0016__METHODS)
      & has_attrib(R_0041_0016__METHODS,R_0041_0015__MANY)
      & r_0041_0001__While(R_0041_0001__WHILE)
      & has_conj2(R_0041_0001__WHILE,R_0041_0012__ARE)
      & r_0041_0012__are(R_0041_0012__ARE)
      & has_prd(R_0041_0012__ARE,R_0041_0013__ONE)
      & r_0041_0013__one(R_0041_0013__ONE)
      & has_r_0041_0014__of(R_0041_0013__ONE,R_0041_0016__METHODS)
      & has_arg0(R_0041_0012__ARE,R_0041_0011__WORDS)
      & has_conj1(R_0041_0001__WHILE,R_0041_0003__IS)
      & r_0041_0003__is(R_0041_0003__IS)
      & has_arg0(R_0041_0003__IS,R_0041_0006__DEFINE)
      & r_0041_0006__define(R_0041_0006__DEFINE)
      & has_arg0(R_0041_0006__DEFINE,Z_0041_5002)
      & has_r_0041_0008__with__nim(R_0041_0006__DEFINE,R_0041_0009__WORDS)
      & has_arg1(R_0041_0006__DEFINE,R_0041_0007__ENLIGHTENMENT)
      & has_prd(R_0041_0003__IS,R_0041_0004__IMPOSSIBLE) ) ).