TSPC 23_a_kyoto

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.

( (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))

arc(r_0023_0004__contain,r_0023_0001__However,nim).
arc(r_0023_0004__contain,r_0023_0003__they,arg0).
arc(r_0023_0004__contain,r_0023_0005__hints,arg1).
arc(r_0023_0007__lead,r_0023_0005__hints,inv_arg0).
arc(r_0023_0007__lead,r_0023_0008__people,arg1).
arc(r_0023_0007__lead,r_0023_0010__enlightenment,r_0023_0009__toward__nim).
arc(r_0023_0012__and,r_0023_0004__contain,conj1).
arc(r_0023_0012__and,r_0023_0014__are,conj2).
arc(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,attrib).
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,qual).
arc(r_0023_0024__the_r_0023_0026__day,r_0023_0025__present,attrib).

fof(formula,axiom,
    ? [R_0023_0001__HOWEVER,R_0023_0003__THEY,R_0023_0008__PEOPLE,R_0023_0010__ENLIGHTENMENT,R_0023_0007__LEAD,R_0023_0005__HINTS,R_0023_0004__CONTAIN,R_0023_0016__GREAT,R_0023_0017__MANY,R_0023_0021__THE_R_0023_0022__BEGINNING,R_0023_0025__PRESENT,R_0023_0024__THE_R_0023_0026__DAY,R_0023_0015__A_R_0023_0018__ZEN_R_0023_0019__BOOKS,R_0023_0014__ARE,R_0023_0012__AND] :
      ( r_0023_0001__However(R_0023_0001__HOWEVER)
      & r_0023_0003__they(R_0023_0003__THEY)
      & r_0023_0008__people(R_0023_0008__PEOPLE)
      & r_0023_0010__enlightenment(R_0023_0010__ENLIGHTENMENT)
      & r_0023_0016__great(R_0023_0016__GREAT)
      & r_0023_0021__the_r_0023_0022__beginning(R_0023_0021__THE_R_0023_0022__BEGINNING)
      & r_0023_0025__present(R_0023_0025__PRESENT)
      & r_0023_0012__and(R_0023_0012__AND)
      & has_conj2(R_0023_0012__AND,R_0023_0014__ARE)
      & r_0023_0014__are(R_0023_0014__ARE)
      & has_arg0(R_0023_0014__ARE,R_0023_0015__A_R_0023_0018__ZEN_R_0023_0019__BOOKS)
      & r_0023_0015__a_r_0023_0018__Zen_r_0023_0019__books(R_0023_0015__A_R_0023_0018__ZEN_R_0023_0019__BOOKS)
      & has_r_0023_0023__down_to(R_0023_0015__A_R_0023_0018__ZEN_R_0023_0019__BOOKS,R_0023_0024__THE_R_0023_0026__DAY)
      & r_0023_0024__the_r_0023_0026__day(R_0023_0024__THE_R_0023_0026__DAY)
      & has_attrib(R_0023_0024__THE_R_0023_0026__DAY,R_0023_0025__PRESENT)
      & has_r_0023_0020__from(R_0023_0015__A_R_0023_0018__ZEN_R_0023_0019__BOOKS,R_0023_0021__THE_R_0023_0022__BEGINNING)
      & has_attrib(R_0023_0015__A_R_0023_0018__ZEN_R_0023_0019__BOOKS,R_0023_0017__MANY)
      & r_0023_0017__many(R_0023_0017__MANY)
      & has_qual(R_0023_0017__MANY,R_0023_0016__GREAT)
      & has_conj1(R_0023_0012__AND,R_0023_0004__CONTAIN)
      & r_0023_0004__contain(R_0023_0004__CONTAIN)
      & has_arg1(R_0023_0004__CONTAIN,R_0023_0005__HINTS)
      & r_0023_0005__hints(R_0023_0005__HINTS)
      & has_inv_arg0(R_0023_0005__HINTS,R_0023_0007__LEAD)
      & r_0023_0007__lead(R_0023_0007__LEAD)
      & has_r_0023_0009__toward__nim(R_0023_0007__LEAD,R_0023_0010__ENLIGHTENMENT)
      & has_arg1(R_0023_0007__LEAD,R_0023_0008__PEOPLE)
      & has_arg0(R_0023_0004__CONTAIN,R_0023_0003__THEY)
      & has_nim(R_0023_0004__CONTAIN,R_0023_0001__HOWEVER) ) ).