Context                Previous, Next                Top


46_a_kyoto_2
The Koan system came together after the Song dynasty, and though they might be fabricated it has made even more enlightenments possible.

%3 r_0046_0004__came came r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system The Koan system r_0046_0004__came->r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system [arg0] r_0046_0005__together together r_0046_0004__came->r_0046_0005__together [clr] r_0046_0007__the_r_0046_0008__Song_r_0046_0009__dynasty the Song dynasty r_0046_0004__came->r_0046_0007__the_r_0046_0008__Song_r_0046_0009__dynasty after [nim] r_0046_0011__and and r_0046_0011__and->r_0046_0004__came [conj1] r_0046_0012__though though r_0046_0011__and->r_0046_0012__though [conj2] r_0046_0014__might might r_0046_0012__though->r_0046_0014__might [restriction] r_0046_0018__has has r_0046_0012__though->r_0046_0018__has [scope] r_0046_0015__be be r_0046_0014__might->r_0046_0015__be [scope] r_0046_0019__made made r_0046_0018__has->r_0046_0019__made [scope] r_0046_0016__fabricated fabricated r_0046_0015__be->r_0046_0016__fabricated [scope] r_0046_0013__they they r_0046_0016__fabricated->r_0046_0013__they [arg1] z_000_46_a_kyoto_2_45 r_0046_0016__fabricated->z_000_46_a_kyoto_2_45 [arg0] r_0046_0019__made->r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system [arg0] r_0046_0022__enlightenments enlightenments r_0046_0019__made->r_0046_0022__enlightenments [arg1] r_0046_0023__possible possible r_0046_0019__made->r_0046_0023__possible [prd] r_0046_0021__more more r_0046_0022__enlightenments->r_0046_0021__more [attrib] r_0046_0020__even even r_0046_0021__more->r_0046_0020__even [qual] 
arc(r_0046_0004__came, r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system, arg0).
arc(r_0046_0004__came, r_0046_0005__together, clr13).
arc(r_0046_0004__came, r_0046_0007__the_r_0046_0008__Song_r_0046_0009__dynasty, r_0046_0006__after_nim19).
arc(r_0046_0011__and, r_0046_0004__came, conj1).
arc(r_0046_0011__and, r_0046_0012__though, conj2).
arc(r_0046_0012__though, r_0046_0014__might, restriction).
arc(r_0046_0012__though, r_0046_0018__has, scope).
arc(r_0046_0014__might, r_0046_0015__be, scope).
arc(r_0046_0015__be, r_0046_0016__fabricated, scope).
arc(r_0046_0016__fabricated, r_0046_0013__they, arg1).
arc(r_0046_0016__fabricated, z_000_46_a_kyoto_2_45, arg0).
arc(r_0046_0018__has, r_0046_0019__made, scope).
arc(r_0046_0019__made, r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system, arg0).
arc(r_0046_0019__made, r_0046_0022__enlightenments, arg1).
arc(r_0046_0019__made, r_0046_0023__possible, prd).
arc(r_0046_0021__more, r_0046_0020__even, qual59).
arc(r_0046_0022__enlightenments, r_0046_0021__more, attrib58).


%3 r_0046_0004__came came r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system The Koan system r_0046_0004__came->r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system [arg0] r_0046_0005__together together r_0046_0004__came->r_0046_0005__together [clr] r_0046_0007__the_r_0046_0008__Song_r_0046_0009__dynasty the Song dynasty r_0046_0004__came->r_0046_0007__the_r_0046_0008__Song_r_0046_0009__dynasty after [nim] r_0046_0011__and and r_0046_0011__and->r_0046_0004__came [conj1] r_0046_0012__though though r_0046_0011__and->r_0046_0012__though [conj2] r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated might be fabricated r_0046_0012__though->r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated [conj1] r_0046_0018__has_r_0046_0019__made has made r_0046_0012__though->r_0046_0018__has_r_0046_0019__made [conj2] r_0046_0013__they they r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated->r_0046_0013__they [arg1] z_000_46_a_kyoto_2_45 r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated->z_000_46_a_kyoto_2_45 [arg0] r_0046_0018__has_r_0046_0019__made->r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system [arg0] r_0046_0022__enlightenments enlightenments r_0046_0018__has_r_0046_0019__made->r_0046_0022__enlightenments [arg1] r_0046_0023__possible possible r_0046_0018__has_r_0046_0019__made->r_0046_0023__possible [prd] r_0046_0021__more more r_0046_0022__enlightenments->r_0046_0021__more [attrib] r_0046_0020__even even r_0046_0021__more->r_0046_0020__even [qual] 
fof(formula,axiom,
    ? [R_46_11_AND,R_46_4_CAME,R_46_5_TOGETHER,R_46_7_THE_SONG_DYNASTY,R_46_12_THOUGH,R_46_14_MIGHT_BE_FABRICATED,Z_46_A_KYOTO_2_45,R_46_13_THEY,R_46_18_HAS_MADE,R_46_1_THE_KOAN_SYSTEM,R_46_22_ENLIGHTENMENTS,R_46_21_MORE,R_46_20_EVEN,R_46_23_POSSIBLE] :
      ( together(R_46_5_TOGETHER)
      & the_Song_dynasty(R_46_7_THE_SONG_DYNASTY)
      & they(R_46_13_THEY)
      & the_Koan_system(R_46_1_THE_KOAN_SYSTEM)
      & even(R_46_20_EVEN)
      & possible(R_46_23_POSSIBLE)
      & and(R_46_11_AND)
      & conj1(R_46_11_AND,R_46_4_CAME)
      & came(R_46_4_CAME,R_46_1_THE_KOAN_SYSTEM)
      & clr13(R_46_4_CAME,R_46_5_TOGETHER)
      & after_nim19(R_46_4_CAME,R_46_7_THE_SONG_DYNASTY)
      & conj2(R_46_11_AND,R_46_12_THOUGH)
      & though(R_46_12_THOUGH)
      & conj1(R_46_12_THOUGH,R_46_14_MIGHT_BE_FABRICATED)
      & might_be_fabricated(R_46_14_MIGHT_BE_FABRICATED,Z_46_A_KYOTO_2_45,R_46_13_THEY)
      & conj2(R_46_12_THOUGH,R_46_18_HAS_MADE)
      & has_made(R_46_18_HAS_MADE,R_46_1_THE_KOAN_SYSTEM,R_46_22_ENLIGHTENMENTS,R_46_23_POSSIBLE)
      & enlightenments(R_46_22_ENLIGHTENMENTS)
      & attrib58(R_46_22_ENLIGHTENMENTS,R_46_21_MORE)
      & more(R_46_21_MORE)
      & qual59(R_46_21_MORE,R_46_20_EVEN) ) ).


n46_a_kyoto_2 n46_a_kyoto_2_6 The n46_a_kyoto_2_8 Koan n46_a_kyoto_2_10 system n46_a_kyoto_2_12 came n46_a_kyoto_2_15 together n46_a_kyoto_2_18 after n46_a_kyoto_2_21 the n46_a_kyoto_2_23 Song n46_a_kyoto_2_25 dynasty n46_a_kyoto_2_27 , n46_a_kyoto_2_30 and n46_a_kyoto_2_34 though n46_a_kyoto_2_38 they n46_a_kyoto_2_40 might n46_a_kyoto_2_43 be n46_a_kyoto_2_46 * n46_a_kyoto_2_48 fabricated n46_a_kyoto_2_51 it n46_a_kyoto_2_53 has n46_a_kyoto_2_56 made n46_a_kyoto_2_61 even n46_a_kyoto_2_63 more n46_a_kyoto_2_65 enlightenments n46_a_kyoto_2_68 possible n46_a_kyoto_2_70 . n46_a_kyoto_2_1 IP-MAT n46_a_kyoto_2_2 ILYR n46_a_kyoto_2_1->n46_a_kyoto_2_2 n46_a_kyoto_2_69 PUNC n46_a_kyoto_2_1->n46_a_kyoto_2_69 n46_a_kyoto_2_3 ILYR n46_a_kyoto_2_2->n46_a_kyoto_2_3 n46_a_kyoto_2_26 PUNC n46_a_kyoto_2_2->n46_a_kyoto_2_26 n46_a_kyoto_2_28 CONJP n46_a_kyoto_2_2->n46_a_kyoto_2_28 n46_a_kyoto_2_4 NP-SBJ n46_a_kyoto_2_3->n46_a_kyoto_2_4 n46_a_kyoto_2_11 VBD;_Ip_ n46_a_kyoto_2_3->n46_a_kyoto_2_11 n46_a_kyoto_2_13 ADVP-CLR n46_a_kyoto_2_3->n46_a_kyoto_2_13 n46_a_kyoto_2_16 PP-NIM n46_a_kyoto_2_3->n46_a_kyoto_2_16 n46_a_kyoto_2_5 D n46_a_kyoto_2_4->n46_a_kyoto_2_5 n46_a_kyoto_2_7 N n46_a_kyoto_2_4->n46_a_kyoto_2_7 n46_a_kyoto_2_9 N n46_a_kyoto_2_4->n46_a_kyoto_2_9 n46_a_kyoto_2_5->n46_a_kyoto_2_6 n46_a_kyoto_2_7->n46_a_kyoto_2_8 n46_a_kyoto_2_9->n46_a_kyoto_2_10 n46_a_kyoto_2_11->n46_a_kyoto_2_12 n46_a_kyoto_2_14 ADV n46_a_kyoto_2_13->n46_a_kyoto_2_14 n46_a_kyoto_2_14->n46_a_kyoto_2_15 n46_a_kyoto_2_17 P-ROLE n46_a_kyoto_2_16->n46_a_kyoto_2_17 n46_a_kyoto_2_19 NP n46_a_kyoto_2_16->n46_a_kyoto_2_19 n46_a_kyoto_2_17->n46_a_kyoto_2_18 n46_a_kyoto_2_20 D n46_a_kyoto_2_19->n46_a_kyoto_2_20 n46_a_kyoto_2_22 NPR n46_a_kyoto_2_19->n46_a_kyoto_2_22 n46_a_kyoto_2_24 N n46_a_kyoto_2_19->n46_a_kyoto_2_24 n46_a_kyoto_2_20->n46_a_kyoto_2_21 n46_a_kyoto_2_22->n46_a_kyoto_2_23 n46_a_kyoto_2_24->n46_a_kyoto_2_25 n46_a_kyoto_2_26->n46_a_kyoto_2_27 n46_a_kyoto_2_29 CONJ n46_a_kyoto_2_28->n46_a_kyoto_2_29 n46_a_kyoto_2_31 ILYR n46_a_kyoto_2_28->n46_a_kyoto_2_31 n46_a_kyoto_2_29->n46_a_kyoto_2_30 n46_a_kyoto_2_32 PP-SCON n46_a_kyoto_2_31->n46_a_kyoto_2_32 n46_a_kyoto_2_49 NP-SBJ n46_a_kyoto_2_31->n46_a_kyoto_2_49 n46_a_kyoto_2_52 HVP;_cat_Ve_ n46_a_kyoto_2_31->n46_a_kyoto_2_52 n46_a_kyoto_2_54 IP-PPL-CAT n46_a_kyoto_2_31->n46_a_kyoto_2_54 n46_a_kyoto_2_33 P-CONN n46_a_kyoto_2_32->n46_a_kyoto_2_33 n46_a_kyoto_2_35 IP-ADV n46_a_kyoto_2_32->n46_a_kyoto_2_35 n46_a_kyoto_2_33->n46_a_kyoto_2_34 n46_a_kyoto_2_36 NP-SBJ n46_a_kyoto_2_35->n46_a_kyoto_2_36 n46_a_kyoto_2_39 MD;_cat_Vi_ n46_a_kyoto_2_35->n46_a_kyoto_2_39 n46_a_kyoto_2_41 IP-INF-CAT n46_a_kyoto_2_35->n46_a_kyoto_2_41 n46_a_kyoto_2_37 PRO n46_a_kyoto_2_36->n46_a_kyoto_2_37 n46_a_kyoto_2_37->n46_a_kyoto_2_38 n46_a_kyoto_2_39->n46_a_kyoto_2_40 n46_a_kyoto_2_42 BE;_cat_VePASS_ n46_a_kyoto_2_41->n46_a_kyoto_2_42 n46_a_kyoto_2_44 IP-PPL-CAT n46_a_kyoto_2_41->n46_a_kyoto_2_44 n46_a_kyoto_2_42->n46_a_kyoto_2_43 n46_a_kyoto_2_45 NP-LGS n46_a_kyoto_2_44->n46_a_kyoto_2_45 n46_a_kyoto_2_47 VVN;__ n46_a_kyoto_2_44->n46_a_kyoto_2_47 n46_a_kyoto_2_45->n46_a_kyoto_2_46 n46_a_kyoto_2_47->n46_a_kyoto_2_48 n46_a_kyoto_2_50 PRO n46_a_kyoto_2_49->n46_a_kyoto_2_50 n46_a_kyoto_2_50->n46_a_kyoto_2_51 n46_a_kyoto_2_52->n46_a_kyoto_2_53 n46_a_kyoto_2_55 VVN;__ n46_a_kyoto_2_54->n46_a_kyoto_2_55 n46_a_kyoto_2_57 NP-OB1 n46_a_kyoto_2_54->n46_a_kyoto_2_57 n46_a_kyoto_2_66 ADJP-PRD n46_a_kyoto_2_54->n46_a_kyoto_2_66 n46_a_kyoto_2_55->n46_a_kyoto_2_56 n46_a_kyoto_2_58 ADJP n46_a_kyoto_2_57->n46_a_kyoto_2_58 n46_a_kyoto_2_64 NS n46_a_kyoto_2_57->n46_a_kyoto_2_64 n46_a_kyoto_2_59 ADVP n46_a_kyoto_2_58->n46_a_kyoto_2_59 n46_a_kyoto_2_62 ADJR n46_a_kyoto_2_58->n46_a_kyoto_2_62 n46_a_kyoto_2_60 ADV n46_a_kyoto_2_59->n46_a_kyoto_2_60 n46_a_kyoto_2_60->n46_a_kyoto_2_61 n46_a_kyoto_2_62->n46_a_kyoto_2_63 n46_a_kyoto_2_64->n46_a_kyoto_2_65 n46_a_kyoto_2_67 ADJ n46_a_kyoto_2_66->n46_a_kyoto_2_67 n46_a_kyoto_2_67->n46_a_kyoto_2_68 n46_a_kyoto_2_69->n46_a_kyoto_2_70 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{KOAN_SYSTEM} (D The;{the})
                                            (N Koan;{koan})
                                            (N system;{system}))
                      (VBD;_Ip_ came;{come[together]})
                      (ADVP-CLR (ADV together;{together}))
                      (PP-NIM (P-ROLE after;{after})
                              (NP (D the;{the})
                                  (NPR Song;{Song})
                                  (N dynasty;{dynasty}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN though;{though})
                                      (IP-ADV (NP-SBJ;{ENLIGHTENMENTS} (PRO they;{they}))
                                              (MD;_cat_Vi_ might;{may})
                                              (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                          (IP-PPL-CAT (NP-LGS *)
                                                                      (VVN;__ fabricated;{fabricate})))))
                             (NP-SBJ;{KOAN_SYSTEM} (PRO it;{it}))
                             (HVP;_cat_Ve_ has;{have})
                             (IP-PPL-CAT (VVN;__ made;{make})
                                         (NP-OB1;{ENLIGHTENMENTS} (ADJP (ADVP (ADV even;{even}))
                                                                        (ADJR more;{more}))
                                                                  (NS enlightenments;{enlightenment}))
                                         (ADJP-PRD (ADJ possible;{possible}))))))
          (PUNC .))
  (ID 46_a_kyoto_2;BDS_00002;46))