TSPC 33_a_kyoto

33_a_kyoto_2
However, they began to devise many techniques for gaining enlightenment from the Song dynasty.

( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (NP-SBJ;{MASTERS} (PRO they;{they}))
          (VBD;_cat_Vt_ began;{begin})
          (IP-INF-CAT (TO to;{to})
                      (VB;__ devise;{devise})
                      (NP-OB1 (ADJP (ADJ many;{many}))
                              (NS techniques;{technique})
                              (PP (P-ROLE for;{for})
                                  (IP-PPL (VAG;__ gaining;{gain})
                                          (NP-OB1 (N enlightenment;{enlightenment}))
                                          (PP-NIM (P-ROLE from;{from})
                                                  (NP (D the;{the})
                                                      (NPR Song;{Song})
                                                      (N dynasty;{dynasty})))))))
          (PUNC .))
  (ID 33_a_kyoto_2;BDS_00002;33))

arc(r_0033_0004__began,r_0033_0001__However,nim).
arc(r_0033_0004__began,r_0033_0006__devise,scope).
arc(r_0033_0006__devise,r_0033_0003__they,arg0).
arc(r_0033_0006__devise,r_0033_0008__techniques,arg1).
arc(r_0033_0008__techniques,r_0033_0007__many,attrib).
arc(r_0033_0008__techniques,r_0033_0010__gaining,r_0033_0009__for).
arc(r_0033_0010__gaining,r_0033_0011__enlightenment,arg1).
arc(r_0033_0010__gaining,r_0033_0013__the_r_0033_0014__Song_r_0033_0015__dynasty,r_0033_0012__from__nim).
arc(r_0033_0010__gaining,z_0033_5007,arg0).

fof(formula,axiom,
    ? [R_0033_0001__HOWEVER,R_0033_0003__THEY,R_0033_0007__MANY,R_0033_0011__ENLIGHTENMENT,R_0033_0013__THE_R_0033_0014__SONG_R_0033_0015__DYNASTY,Z_0033_5007,R_0033_0010__GAINING,R_0033_0008__TECHNIQUES,R_0033_0004__BEGAN_R_0033_0006__DEVISE] :
      ( r_0033_0001__However(R_0033_0001__HOWEVER)
      & r_0033_0003__they(R_0033_0003__THEY)
      & r_0033_0007__many(R_0033_0007__MANY)
      & r_0033_0011__enlightenment(R_0033_0011__ENLIGHTENMENT)
      & r_0033_0013__the_r_0033_0014__Song_r_0033_0015__dynasty(R_0033_0013__THE_R_0033_0014__SONG_R_0033_0015__DYNASTY)
      & z_0033_5007(Z_0033_5007)
      & r_0033_0004__began_r_0033_0006__devise(R_0033_0004__BEGAN_R_0033_0006__DEVISE)
      & has_arg1(R_0033_0004__BEGAN_R_0033_0006__DEVISE,R_0033_0008__TECHNIQUES)
      & r_0033_0008__techniques(R_0033_0008__TECHNIQUES)
      & has_r_0033_0009__for(R_0033_0008__TECHNIQUES,R_0033_0010__GAINING)
      & r_0033_0010__gaining(R_0033_0010__GAINING)
      & has_arg0(R_0033_0010__GAINING,Z_0033_5007)
      & has_r_0033_0012__from__nim(R_0033_0010__GAINING,R_0033_0013__THE_R_0033_0014__SONG_R_0033_0015__DYNASTY)
      & has_arg1(R_0033_0010__GAINING,R_0033_0011__ENLIGHTENMENT)
      & has_attrib(R_0033_0008__TECHNIQUES,R_0033_0007__MANY)
      & has_arg0(R_0033_0004__BEGAN_R_0033_0006__DEVISE,R_0033_0003__THEY)
      & has_nim(R_0033_0004__BEGAN_R_0033_0006__DEVISE,R_0033_0001__HOWEVER) ) ).