Context                Previous, Next                Top


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

%3 r_0033_0004__began began r_0033_0001__However However r_0033_0004__began->r_0033_0001__However [nim] r_0033_0005__to_r_0033_0006__devise to devise r_0033_0004__began->r_0033_0005__to_r_0033_0006__devise [scope] r_0033_0003__they they r_0033_0005__to_r_0033_0006__devise->r_0033_0003__they [arg0] r_0033_0008__techniques techniques r_0033_0005__to_r_0033_0006__devise->r_0033_0008__techniques [arg1] r_0033_0007__many many r_0033_0008__techniques->r_0033_0007__many [attrib] r_0033_0010__gaining gaining r_0033_0008__techniques->r_0033_0010__gaining for r_0033_0011__enlightenment enlightenment r_0033_0010__gaining->r_0033_0011__enlightenment [arg1] r_0033_0013__the_r_0033_0014__Song_r_0033_0015__dynasty the Song dynasty r_0033_0010__gaining->r_0033_0013__the_r_0033_0014__Song_r_0033_0015__dynasty from [nim] z_000_33_a_kyoto_2_26 r_0033_0010__gaining->z_000_33_a_kyoto_2_26 [arg0] 
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).


%3 r_0033_0010__gaining gaining z_000_33_a_kyoto_2_26 r_0033_0010__gaining->z_000_33_a_kyoto_2_26 [arg0] r_0033_0013__the_r_0033_0014__Song_r_0033_0015__dynasty the Song dynasty r_0033_0010__gaining->r_0033_0013__the_r_0033_0014__Song_r_0033_0015__dynasty from [nim] r_0033_0011__enlightenment enlightenment r_0033_0010__gaining->r_0033_0011__enlightenment [arg1] r_0033_0008__techniques techniques r_0033_0008__techniques->r_0033_0010__gaining for r_0033_0007__many many r_0033_0008__techniques->r_0033_0007__many [attrib] r_0033_0004__began_r_0033_0005__to_r_0033_0006__devise began to devise r_0033_0004__began_r_0033_0005__to_r_0033_0006__devise->r_0033_0008__techniques [arg1] r_0033_0003__they they r_0033_0004__began_r_0033_0005__to_r_0033_0006__devise->r_0033_0003__they [arg0] r_0033_0001__However However r_0033_0004__began_r_0033_0005__to_r_0033_0006__devise->r_0033_0001__However [nim] 
fof(formula,axiom,
    ? [R_33_4_BEGAN_TO_DEVISE,R_33_3_THEY,R_33_8_TECHNIQUES,R_33_7_MANY,R_33_10_GAINING,Z_33_A_KYOTO_2_26,R_33_11_ENLIGHTENMENT,R_33_13_THE_SONG_DYNASTY,R_33_1_HOWEVER] :
      ( they(R_33_3_THEY)
      & many(R_33_7_MANY)
      & enlightenment(R_33_11_ENLIGHTENMENT)
      & the_Song_dynasty(R_33_13_THE_SONG_DYNASTY)
      & however(R_33_1_HOWEVER)
      & began_to_devise(R_33_4_BEGAN_TO_DEVISE,R_33_3_THEY,R_33_8_TECHNIQUES)
      & techniques(R_33_8_TECHNIQUES)
      & attrib18(R_33_8_TECHNIQUES,R_33_7_MANY)
      & for(R_33_8_TECHNIQUES,R_33_10_GAINING)
      & gaining(R_33_10_GAINING,Z_33_A_KYOTO_2_26,R_33_11_ENLIGHTENMENT)
      & from_nim35(R_33_10_GAINING,R_33_13_THE_SONG_DYNASTY)
      & nim2(R_33_4_BEGAN_TO_DEVISE,R_33_1_HOWEVER) ) ).


n33_a_kyoto_2 n33_a_kyoto_2__1_1_1_1 However n33_a_kyoto_2__1_2_1 , n33_a_kyoto_2__1_3_1_1 they n33_a_kyoto_2__1_4_1 began n33_a_kyoto_2__1_5_1_1 to n33_a_kyoto_2__1_5_2_1 devise n33_a_kyoto_2__1_5_3_1_1_1 many n33_a_kyoto_2__1_5_3_2_1 techniques n33_a_kyoto_2__1_5_3_3_1_1 for n33_a_kyoto_2__1_5_3_3_2_1_1 gaining n33_a_kyoto_2__1_5_3_3_2_2_1_1 enlightenment n33_a_kyoto_2__1_5_3_3_2_3_1_1 from n33_a_kyoto_2__1_5_3_3_2_3_2_1_1 the n33_a_kyoto_2__1_5_3_3_2_3_2_2_1 Song n33_a_kyoto_2__1_5_3_3_2_3_2_3_1 dynasty n33_a_kyoto_2__1_6_1 . n33_a_kyoto_2__1 IP-MAT n33_a_kyoto_2__1_1 ADVP-NIM n33_a_kyoto_2__1->n33_a_kyoto_2__1_1 n33_a_kyoto_2__1_2 PUNC n33_a_kyoto_2__1->n33_a_kyoto_2__1_2 n33_a_kyoto_2__1_3 NP-SBJ n33_a_kyoto_2__1->n33_a_kyoto_2__1_3 n33_a_kyoto_2__1_4 VBD;_cat_Vt_ n33_a_kyoto_2__1->n33_a_kyoto_2__1_4 n33_a_kyoto_2__1_5 IP-INF-CAT n33_a_kyoto_2__1->n33_a_kyoto_2__1_5 n33_a_kyoto_2__1_6 PUNC n33_a_kyoto_2__1->n33_a_kyoto_2__1_6 n33_a_kyoto_2__1_1_1 ADV n33_a_kyoto_2__1_1->n33_a_kyoto_2__1_1_1 n33_a_kyoto_2__1_1_1->n33_a_kyoto_2__1_1_1_1 n33_a_kyoto_2__1_2->n33_a_kyoto_2__1_2_1 n33_a_kyoto_2__1_3_1 PRO n33_a_kyoto_2__1_3->n33_a_kyoto_2__1_3_1 n33_a_kyoto_2__1_3_1->n33_a_kyoto_2__1_3_1_1 n33_a_kyoto_2__1_4->n33_a_kyoto_2__1_4_1 n33_a_kyoto_2__1_5_1 TO n33_a_kyoto_2__1_5->n33_a_kyoto_2__1_5_1 n33_a_kyoto_2__1_5_2 VB;__ n33_a_kyoto_2__1_5->n33_a_kyoto_2__1_5_2 n33_a_kyoto_2__1_5_3 NP-OB1 n33_a_kyoto_2__1_5->n33_a_kyoto_2__1_5_3 n33_a_kyoto_2__1_5_1->n33_a_kyoto_2__1_5_1_1 n33_a_kyoto_2__1_5_2->n33_a_kyoto_2__1_5_2_1 n33_a_kyoto_2__1_5_3_1 ADJP n33_a_kyoto_2__1_5_3->n33_a_kyoto_2__1_5_3_1 n33_a_kyoto_2__1_5_3_2 NS n33_a_kyoto_2__1_5_3->n33_a_kyoto_2__1_5_3_2 n33_a_kyoto_2__1_5_3_3 PP n33_a_kyoto_2__1_5_3->n33_a_kyoto_2__1_5_3_3 n33_a_kyoto_2__1_5_3_1_1 ADJ n33_a_kyoto_2__1_5_3_1->n33_a_kyoto_2__1_5_3_1_1 n33_a_kyoto_2__1_5_3_1_1->n33_a_kyoto_2__1_5_3_1_1_1 n33_a_kyoto_2__1_5_3_2->n33_a_kyoto_2__1_5_3_2_1 n33_a_kyoto_2__1_5_3_3_1 P-ROLE n33_a_kyoto_2__1_5_3_3->n33_a_kyoto_2__1_5_3_3_1 n33_a_kyoto_2__1_5_3_3_2 IP-PPL n33_a_kyoto_2__1_5_3_3->n33_a_kyoto_2__1_5_3_3_2 n33_a_kyoto_2__1_5_3_3_1->n33_a_kyoto_2__1_5_3_3_1_1 n33_a_kyoto_2__1_5_3_3_2_1 VAG;__ n33_a_kyoto_2__1_5_3_3_2->n33_a_kyoto_2__1_5_3_3_2_1 n33_a_kyoto_2__1_5_3_3_2_2 NP-OB1 n33_a_kyoto_2__1_5_3_3_2->n33_a_kyoto_2__1_5_3_3_2_2 n33_a_kyoto_2__1_5_3_3_2_3 PP-NIM n33_a_kyoto_2__1_5_3_3_2->n33_a_kyoto_2__1_5_3_3_2_3 n33_a_kyoto_2__1_5_3_3_2_1->n33_a_kyoto_2__1_5_3_3_2_1_1 n33_a_kyoto_2__1_5_3_3_2_2_1 N n33_a_kyoto_2__1_5_3_3_2_2->n33_a_kyoto_2__1_5_3_3_2_2_1 n33_a_kyoto_2__1_5_3_3_2_2_1->n33_a_kyoto_2__1_5_3_3_2_2_1_1 n33_a_kyoto_2__1_5_3_3_2_3_1 P-ROLE n33_a_kyoto_2__1_5_3_3_2_3->n33_a_kyoto_2__1_5_3_3_2_3_1 n33_a_kyoto_2__1_5_3_3_2_3_2 NP n33_a_kyoto_2__1_5_3_3_2_3->n33_a_kyoto_2__1_5_3_3_2_3_2 n33_a_kyoto_2__1_5_3_3_2_3_1->n33_a_kyoto_2__1_5_3_3_2_3_1_1 n33_a_kyoto_2__1_5_3_3_2_3_2_1 D n33_a_kyoto_2__1_5_3_3_2_3_2->n33_a_kyoto_2__1_5_3_3_2_3_2_1 n33_a_kyoto_2__1_5_3_3_2_3_2_2 NPR n33_a_kyoto_2__1_5_3_3_2_3_2->n33_a_kyoto_2__1_5_3_3_2_3_2_2 n33_a_kyoto_2__1_5_3_3_2_3_2_3 N n33_a_kyoto_2__1_5_3_3_2_3_2->n33_a_kyoto_2__1_5_3_3_2_3_2_3 n33_a_kyoto_2__1_5_3_3_2_3_2_1->n33_a_kyoto_2__1_5_3_3_2_3_2_1_1 n33_a_kyoto_2__1_5_3_3_2_3_2_2->n33_a_kyoto_2__1_5_3_3_2_3_2_2_1 n33_a_kyoto_2__1_5_3_3_2_3_2_3->n33_a_kyoto_2__1_5_3_3_2_3_2_3_1 n33_a_kyoto_2__1_6->n33_a_kyoto_2__1_6_1 
( (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))