TSPC 33_a_kyoto

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

arc(r_0033_0004__began, r_0033_0001__However, nim2).
arc(r_0033_0004__began, r_0033_0005__to_r_0033_0006__devise, scope).
arc(r_0033_0005__to_r_0033_0006__devise, r_0033_0003__they, arg0).
arc(r_0033_0005__to_r_0033_0006__devise, r_0033_0008__techniques, arg1).
arc(r_0033_0008__techniques, r_0033_0007__many, attrib18).
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_nim35).
arc(r_0033_0010__gaining, z_000_33_a_kyoto_2_26, 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_000_33_A_KYOTO_2_26,R_0033_0010__GAINING,R_0033_0008__TECHNIQUES,R_0033_0004__BEGAN_R_0033_0005__TO_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_000_33_a_kyoto_2_26(Z_000_33_A_KYOTO_2_26)
      & r_0033_0004__began_r_0033_0005__to_r_0033_0006__devise(R_0033_0004__BEGAN_R_0033_0005__TO_R_0033_0006__DEVISE)
      & has_arg1(R_0033_0004__BEGAN_R_0033_0005__TO_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_000_33_A_KYOTO_2_26)
      & has_r_0033_0012__from_nim35(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_attrib18(R_0033_0008__TECHNIQUES,R_0033_0007__MANY)
      & has_arg0(R_0033_0004__BEGAN_R_0033_0005__TO_R_0033_0006__DEVISE,R_0033_0003__THEY)
      & has_nim2(R_0033_0004__BEGAN_R_0033_0005__TO_R_0033_0006__DEVISE,R_0033_0001__HOWEVER) ) ).

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