Context                Previous, Next                Top


23_a_kyoto_2
However, they contain hints that lead people toward enlightenment, and there are a great many Zen books from the beginning down to the present day.

%3 r_0023_0004__contain contain r_0023_0001__However However r_0023_0004__contain->r_0023_0001__However [nim] r_0023_0003__they they r_0023_0004__contain->r_0023_0003__they [arg0] r_0023_0005__hints hints r_0023_0004__contain->r_0023_0005__hints [arg1] r_0023_0006__that_r_0023_0007__lead that lead r_0023_0006__that_r_0023_0007__lead->r_0023_0005__hints [arg0] r_0023_0008__people people r_0023_0006__that_r_0023_0007__lead->r_0023_0008__people [arg1] r_0023_0010__enlightenment enlightenment r_0023_0006__that_r_0023_0007__lead->r_0023_0010__enlightenment toward [nim] r_0023_0012__and and r_0023_0012__and->r_0023_0004__contain [conj1] r_0023_0013__there_r_0023_0014__are there are r_0023_0012__and->r_0023_0013__there_r_0023_0014__are [conj2] r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books a Zen books r_0023_0013__there_r_0023_0014__are->r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books [arg0] r_0023_0017__many many r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books->r_0023_0017__many [attrib] r_0023_0021__the_r_0023_0022__beginning the beginning r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books->r_0023_0021__the_r_0023_0022__beginning from r_0023_0024__the_r_0023_0026__day the day r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books->r_0023_0024__the_r_0023_0026__day down to r_0023_0016__great great r_0023_0017__many->r_0023_0016__great [qual] r_0023_0025__present present r_0023_0024__the_r_0023_0026__day->r_0023_0025__present [attrib] 
arc(r_0023_0004__contain, r_0023_0001__However, nim4).
arc(r_0023_0004__contain, r_0023_0003__they, arg0).
arc(r_0023_0004__contain, r_0023_0005__hints, arg1).
arc(r_0023_0006__that_r_0023_0007__lead, r_0023_0005__hints, arg0).
arc(r_0023_0006__that_r_0023_0007__lead, r_0023_0008__people, arg1).
arc(r_0023_0006__that_r_0023_0007__lead, r_0023_0010__enlightenment, r_0023_0009__toward_nim30).
arc(r_0023_0012__and, r_0023_0004__contain, conj1).
arc(r_0023_0012__and, r_0023_0013__there_r_0023_0014__are, conj2).
arc(r_0023_0013__there_r_0023_0014__are, r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books, arg0).
arc(r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books, r_0023_0017__many, attrib46).
arc(r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books, r_0023_0021__the_r_0023_0022__beginning, r_0023_0020__from).
arc(r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books, r_0023_0024__the_r_0023_0026__day, r_0023_0023__down_to).
arc(r_0023_0017__many, r_0023_0016__great, qual47).
arc(r_0023_0024__the_r_0023_0026__day, r_0023_0025__present, attrib70).


%3 r_0023_0004__contain contain r_0023_0001__However However r_0023_0004__contain->r_0023_0001__However [nim] r_0023_0003__they they r_0023_0004__contain->r_0023_0003__they [arg0] r_0023_0005__hints hints r_0023_0004__contain->r_0023_0005__hints [arg1] r_0023_0006__that_r_0023_0007__lead that lead r_0023_0006__that_r_0023_0007__lead->r_0023_0005__hints [arg0] r_0023_0008__people people r_0023_0006__that_r_0023_0007__lead->r_0023_0008__people [arg1] r_0023_0010__enlightenment enlightenment r_0023_0006__that_r_0023_0007__lead->r_0023_0010__enlightenment toward [nim] r_0023_0012__and and r_0023_0012__and->r_0023_0004__contain [conj1] r_0023_0013__there_r_0023_0014__are there are r_0023_0012__and->r_0023_0013__there_r_0023_0014__are [conj2] r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books a Zen books r_0023_0013__there_r_0023_0014__are->r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books [arg0] r_0023_0017__many many r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books->r_0023_0017__many [attrib] r_0023_0021__the_r_0023_0022__beginning the beginning r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books->r_0023_0021__the_r_0023_0022__beginning from r_0023_0024__the_r_0023_0026__day the day r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books->r_0023_0024__the_r_0023_0026__day down to r_0023_0016__great great r_0023_0017__many->r_0023_0016__great [qual] r_0023_0025__present present r_0023_0024__the_r_0023_0026__day->r_0023_0025__present [attrib] 
fof(formula,axiom,
    ? [R_23_6_THAT_LEAD,R_23_8_PEOPLE,R_23_10_ENLIGHTENMENT,R_23_12_AND,R_23_4_CONTAIN,R_23_3_THEY,R_23_5_HINTS,R_23_1_HOWEVER,R_23_13_THERE_ARE,R_23_15_A_ZEN_BOOKS,R_23_17_MANY,R_23_16_GREAT,R_23_21_THE_BEGINNING,R_23_24_THE_DAY,R_23_25_PRESENT] :
      ( people(R_23_8_PEOPLE)
      & enlightenment(R_23_10_ENLIGHTENMENT)
      & they(R_23_3_THEY)
      & hints(R_23_5_HINTS)
      & however(R_23_1_HOWEVER)
      & great(R_23_16_GREAT)
      & the_beginning(R_23_21_THE_BEGINNING)
      & present(R_23_25_PRESENT)
      & that_lead(R_23_6_THAT_LEAD,R_23_5_HINTS,R_23_8_PEOPLE)
      & toward_nim30(R_23_6_THAT_LEAD,R_23_10_ENLIGHTENMENT)
      & and(R_23_12_AND)
      & conj1(R_23_12_AND,R_23_4_CONTAIN)
      & contain(R_23_4_CONTAIN,R_23_3_THEY,R_23_5_HINTS)
      & nim4(R_23_4_CONTAIN,R_23_1_HOWEVER)
      & conj2(R_23_12_AND,R_23_13_THERE_ARE)
      & there_are(R_23_13_THERE_ARE,R_23_15_A_ZEN_BOOKS)
      & a_Zen_books(R_23_15_A_ZEN_BOOKS)
      & attrib46(R_23_15_A_ZEN_BOOKS,R_23_17_MANY)
      & many(R_23_17_MANY)
      & qual47(R_23_17_MANY,R_23_16_GREAT)
      & from(R_23_15_A_ZEN_BOOKS,R_23_21_THE_BEGINNING)
      & down_to(R_23_15_A_ZEN_BOOKS,R_23_24_THE_DAY)
      & the_day(R_23_24_THE_DAY)
      & attrib70(R_23_24_THE_DAY,R_23_25_PRESENT) ) ).


n23_a_kyoto_2 n23_a_kyoto_2_6 However n23_a_kyoto_2_8 , n23_a_kyoto_2_11 they n23_a_kyoto_2_13 contain n23_a_kyoto_2_16 hints n23_a_kyoto_2_19 that n23_a_kyoto_2_21 *T* n23_a_kyoto_2_23 lead n23_a_kyoto_2_26 people n23_a_kyoto_2_29 toward n23_a_kyoto_2_32 enlightenment n23_a_kyoto_2_34 , n23_a_kyoto_2_37 and n23_a_kyoto_2_40 there n23_a_kyoto_2_42 are n23_a_kyoto_2_45 a n23_a_kyoto_2_49 great n23_a_kyoto_2_51 many n23_a_kyoto_2_53 Zen n23_a_kyoto_2_55 books n23_a_kyoto_2_58 from n23_a_kyoto_2_61 the n23_a_kyoto_2_63 beginning n23_a_kyoto_2_66 down_to n23_a_kyoto_2_69 the n23_a_kyoto_2_72 present n23_a_kyoto_2_74 day n23_a_kyoto_2_76 . n23_a_kyoto_2_1 IP-MAT n23_a_kyoto_2_2 ILYR n23_a_kyoto_2_1->n23_a_kyoto_2_2 n23_a_kyoto_2_75 PUNC n23_a_kyoto_2_1->n23_a_kyoto_2_75 n23_a_kyoto_2_3 ILYR n23_a_kyoto_2_2->n23_a_kyoto_2_3 n23_a_kyoto_2_33 PUNC n23_a_kyoto_2_2->n23_a_kyoto_2_33 n23_a_kyoto_2_35 CONJP n23_a_kyoto_2_2->n23_a_kyoto_2_35 n23_a_kyoto_2_4 ADVP-NIM n23_a_kyoto_2_3->n23_a_kyoto_2_4 n23_a_kyoto_2_7 PUNC n23_a_kyoto_2_3->n23_a_kyoto_2_7 n23_a_kyoto_2_9 NP-SBJ n23_a_kyoto_2_3->n23_a_kyoto_2_9 n23_a_kyoto_2_12 VBP;_Tn_ n23_a_kyoto_2_3->n23_a_kyoto_2_12 n23_a_kyoto_2_14 NP-OB1 n23_a_kyoto_2_3->n23_a_kyoto_2_14 n23_a_kyoto_2_5 ADV n23_a_kyoto_2_4->n23_a_kyoto_2_5 n23_a_kyoto_2_5->n23_a_kyoto_2_6 n23_a_kyoto_2_7->n23_a_kyoto_2_8 n23_a_kyoto_2_10 PRO n23_a_kyoto_2_9->n23_a_kyoto_2_10 n23_a_kyoto_2_10->n23_a_kyoto_2_11 n23_a_kyoto_2_12->n23_a_kyoto_2_13 n23_a_kyoto_2_15 NS n23_a_kyoto_2_14->n23_a_kyoto_2_15 n23_a_kyoto_2_17 IP-REL n23_a_kyoto_2_14->n23_a_kyoto_2_17 n23_a_kyoto_2_15->n23_a_kyoto_2_16 n23_a_kyoto_2_18 C n23_a_kyoto_2_17->n23_a_kyoto_2_18 n23_a_kyoto_2_20 NP-SBJ n23_a_kyoto_2_17->n23_a_kyoto_2_20 n23_a_kyoto_2_22 VBP;_Tn.pr_ n23_a_kyoto_2_17->n23_a_kyoto_2_22 n23_a_kyoto_2_24 NP-OB1 n23_a_kyoto_2_17->n23_a_kyoto_2_24 n23_a_kyoto_2_27 PP-NIM n23_a_kyoto_2_17->n23_a_kyoto_2_27 n23_a_kyoto_2_18->n23_a_kyoto_2_19 n23_a_kyoto_2_20->n23_a_kyoto_2_21 n23_a_kyoto_2_22->n23_a_kyoto_2_23 n23_a_kyoto_2_25 NS n23_a_kyoto_2_24->n23_a_kyoto_2_25 n23_a_kyoto_2_25->n23_a_kyoto_2_26 n23_a_kyoto_2_28 P-ROLE n23_a_kyoto_2_27->n23_a_kyoto_2_28 n23_a_kyoto_2_30 NP n23_a_kyoto_2_27->n23_a_kyoto_2_30 n23_a_kyoto_2_28->n23_a_kyoto_2_29 n23_a_kyoto_2_31 N n23_a_kyoto_2_30->n23_a_kyoto_2_31 n23_a_kyoto_2_31->n23_a_kyoto_2_32 n23_a_kyoto_2_33->n23_a_kyoto_2_34 n23_a_kyoto_2_36 CONJ n23_a_kyoto_2_35->n23_a_kyoto_2_36 n23_a_kyoto_2_38 ILYR n23_a_kyoto_2_35->n23_a_kyoto_2_38 n23_a_kyoto_2_36->n23_a_kyoto_2_37 n23_a_kyoto_2_39 EX n23_a_kyoto_2_38->n23_a_kyoto_2_39 n23_a_kyoto_2_41 BEP;_ex_V_ n23_a_kyoto_2_38->n23_a_kyoto_2_41 n23_a_kyoto_2_43 NP-ESBJ n23_a_kyoto_2_38->n23_a_kyoto_2_43 n23_a_kyoto_2_39->n23_a_kyoto_2_40 n23_a_kyoto_2_41->n23_a_kyoto_2_42 n23_a_kyoto_2_44 D n23_a_kyoto_2_43->n23_a_kyoto_2_44 n23_a_kyoto_2_46 ADJP n23_a_kyoto_2_43->n23_a_kyoto_2_46 n23_a_kyoto_2_52 NPR n23_a_kyoto_2_43->n23_a_kyoto_2_52 n23_a_kyoto_2_54 NS n23_a_kyoto_2_43->n23_a_kyoto_2_54 n23_a_kyoto_2_56 PP n23_a_kyoto_2_43->n23_a_kyoto_2_56 n23_a_kyoto_2_64 PP n23_a_kyoto_2_43->n23_a_kyoto_2_64 n23_a_kyoto_2_44->n23_a_kyoto_2_45 n23_a_kyoto_2_47 ADVP n23_a_kyoto_2_46->n23_a_kyoto_2_47 n23_a_kyoto_2_50 ADJ n23_a_kyoto_2_46->n23_a_kyoto_2_50 n23_a_kyoto_2_48 ADV n23_a_kyoto_2_47->n23_a_kyoto_2_48 n23_a_kyoto_2_48->n23_a_kyoto_2_49 n23_a_kyoto_2_50->n23_a_kyoto_2_51 n23_a_kyoto_2_52->n23_a_kyoto_2_53 n23_a_kyoto_2_54->n23_a_kyoto_2_55 n23_a_kyoto_2_57 P-ROLE n23_a_kyoto_2_56->n23_a_kyoto_2_57 n23_a_kyoto_2_59 NP n23_a_kyoto_2_56->n23_a_kyoto_2_59 n23_a_kyoto_2_57->n23_a_kyoto_2_58 n23_a_kyoto_2_60 D n23_a_kyoto_2_59->n23_a_kyoto_2_60 n23_a_kyoto_2_62 N n23_a_kyoto_2_59->n23_a_kyoto_2_62 n23_a_kyoto_2_60->n23_a_kyoto_2_61 n23_a_kyoto_2_62->n23_a_kyoto_2_63 n23_a_kyoto_2_65 P-ROLE n23_a_kyoto_2_64->n23_a_kyoto_2_65 n23_a_kyoto_2_67 NP n23_a_kyoto_2_64->n23_a_kyoto_2_67 n23_a_kyoto_2_65->n23_a_kyoto_2_66 n23_a_kyoto_2_68 D n23_a_kyoto_2_67->n23_a_kyoto_2_68 n23_a_kyoto_2_70 ADJP n23_a_kyoto_2_67->n23_a_kyoto_2_70 n23_a_kyoto_2_73 N n23_a_kyoto_2_67->n23_a_kyoto_2_73 n23_a_kyoto_2_68->n23_a_kyoto_2_69 n23_a_kyoto_2_71 ADJ n23_a_kyoto_2_70->n23_a_kyoto_2_71 n23_a_kyoto_2_71->n23_a_kyoto_2_72 n23_a_kyoto_2_73->n23_a_kyoto_2_74 n23_a_kyoto_2_75->n23_a_kyoto_2_76 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV However;{however}))
                      (PUNC ,)
                      (NP-SBJ;{KOAN} (PRO they;{they}))
                      (VBP;_Tn_ contain;{contain})
                      (NP-OB1 (NS hints;{hint})
                              (IP-REL (C that;{that})
                                      (NP-SBJ *T*)
                                      (VBP;_Tn.pr_ lead;{lead})
                                      (NP-OB1 (NS people;{people}))
                                      (PP-NIM (P-ROLE toward;{toward})
                                              (NP (N enlightenment;{enlightenment}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (EX there;{there})
                             (BEP;_ex_V_ are;{be})
                             (NP-ESBJ (D a;{a})
                                      (ADJP (ADVP (ADV great;{great}))
                                            (ADJ many;{many}))
                                      (NPR Zen;{Zen})
                                      (NS books;{book})
                                      (PP (P-ROLE from;{from})
                                          (NP (D the;{the})
                                              (N beginning;{beginning})))
                                      (PP (P-ROLE down_to;{down_to})
                                          (NP (D the;{the})
                                              (ADJP (ADJ present;{present}))
                                              (N day;{day})))))))
          (PUNC .))
  (ID 23_a_kyoto_2;BDS_00002;23))