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_0022__enlightenments enlightenments 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] r_0046_0018__has_r_0046_0019__made has made 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_0001__The_r_0046_0002__Koan_r_0046_0003__system The Koan system r_0046_0018__has_r_0046_0019__made->r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system [arg0] r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated might be fabricated 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_0013__they they r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated->r_0046_0013__they [arg1] r_0046_0012__though though r_0046_0012__though->r_0046_0018__has_r_0046_0019__made [conj2] r_0046_0012__though->r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated [conj1] r_0046_0011__and and r_0046_0011__and->r_0046_0012__though [conj2] r_0046_0004__came came r_0046_0011__and->r_0046_0004__came [conj1] r_0046_0004__came->r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system [arg0] 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_0005__together together r_0046_0004__came->r_0046_0005__together [clr] 
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__1_1_1_1_1_1 The n46_a_kyoto_2__1_1_1_1_2_1 Koan n46_a_kyoto_2__1_1_1_1_3_1 system n46_a_kyoto_2__1_1_1_2_1 came n46_a_kyoto_2__1_1_1_3_1_1 together n46_a_kyoto_2__1_1_1_4_1_1 after n46_a_kyoto_2__1_1_1_4_2_1_1 the n46_a_kyoto_2__1_1_1_4_2_2_1 Song n46_a_kyoto_2__1_1_1_4_2_3_1 dynasty n46_a_kyoto_2__1_1_2_1 , n46_a_kyoto_2__1_1_3_1_1 and n46_a_kyoto_2__1_1_3_2_1_1_1 though n46_a_kyoto_2__1_1_3_2_1_2_1_1_1 they n46_a_kyoto_2__1_1_3_2_1_2_2_1 might n46_a_kyoto_2__1_1_3_2_1_2_3_1_1 be n46_a_kyoto_2__1_1_3_2_1_2_3_2_1_1 * n46_a_kyoto_2__1_1_3_2_1_2_3_2_2_1 fabricated n46_a_kyoto_2__1_1_3_2_2_1_1 it n46_a_kyoto_2__1_1_3_2_3_1 has n46_a_kyoto_2__1_1_3_2_4_1_1 made n46_a_kyoto_2__1_1_3_2_4_2_1_1_1_1 even n46_a_kyoto_2__1_1_3_2_4_2_1_2_1 more n46_a_kyoto_2__1_1_3_2_4_2_2_1 enlightenments n46_a_kyoto_2__1_1_3_2_4_3_1_1 possible n46_a_kyoto_2__1_2_1 . n46_a_kyoto_2__1 IP-MAT n46_a_kyoto_2__1_1 ILYR n46_a_kyoto_2__1->n46_a_kyoto_2__1_1 n46_a_kyoto_2__1_2 PUNC n46_a_kyoto_2__1->n46_a_kyoto_2__1_2 n46_a_kyoto_2__1_1_1 ILYR n46_a_kyoto_2__1_1->n46_a_kyoto_2__1_1_1 n46_a_kyoto_2__1_1_2 PUNC n46_a_kyoto_2__1_1->n46_a_kyoto_2__1_1_2 n46_a_kyoto_2__1_1_3 CONJP n46_a_kyoto_2__1_1->n46_a_kyoto_2__1_1_3 n46_a_kyoto_2__1_1_1_1 NP-SBJ n46_a_kyoto_2__1_1_1->n46_a_kyoto_2__1_1_1_1 n46_a_kyoto_2__1_1_1_2 VBD;_Ip_ n46_a_kyoto_2__1_1_1->n46_a_kyoto_2__1_1_1_2 n46_a_kyoto_2__1_1_1_3 ADVP-CLR n46_a_kyoto_2__1_1_1->n46_a_kyoto_2__1_1_1_3 n46_a_kyoto_2__1_1_1_4 PP-NIM n46_a_kyoto_2__1_1_1->n46_a_kyoto_2__1_1_1_4 n46_a_kyoto_2__1_1_1_1_1 D n46_a_kyoto_2__1_1_1_1->n46_a_kyoto_2__1_1_1_1_1 n46_a_kyoto_2__1_1_1_1_2 N n46_a_kyoto_2__1_1_1_1->n46_a_kyoto_2__1_1_1_1_2 n46_a_kyoto_2__1_1_1_1_3 N n46_a_kyoto_2__1_1_1_1->n46_a_kyoto_2__1_1_1_1_3 n46_a_kyoto_2__1_1_1_1_1->n46_a_kyoto_2__1_1_1_1_1_1 n46_a_kyoto_2__1_1_1_1_2->n46_a_kyoto_2__1_1_1_1_2_1 n46_a_kyoto_2__1_1_1_1_3->n46_a_kyoto_2__1_1_1_1_3_1 n46_a_kyoto_2__1_1_1_2->n46_a_kyoto_2__1_1_1_2_1 n46_a_kyoto_2__1_1_1_3_1 ADV n46_a_kyoto_2__1_1_1_3->n46_a_kyoto_2__1_1_1_3_1 n46_a_kyoto_2__1_1_1_3_1->n46_a_kyoto_2__1_1_1_3_1_1 n46_a_kyoto_2__1_1_1_4_1 P-ROLE n46_a_kyoto_2__1_1_1_4->n46_a_kyoto_2__1_1_1_4_1 n46_a_kyoto_2__1_1_1_4_2 NP n46_a_kyoto_2__1_1_1_4->n46_a_kyoto_2__1_1_1_4_2 n46_a_kyoto_2__1_1_1_4_1->n46_a_kyoto_2__1_1_1_4_1_1 n46_a_kyoto_2__1_1_1_4_2_1 D n46_a_kyoto_2__1_1_1_4_2->n46_a_kyoto_2__1_1_1_4_2_1 n46_a_kyoto_2__1_1_1_4_2_2 NPR n46_a_kyoto_2__1_1_1_4_2->n46_a_kyoto_2__1_1_1_4_2_2 n46_a_kyoto_2__1_1_1_4_2_3 N n46_a_kyoto_2__1_1_1_4_2->n46_a_kyoto_2__1_1_1_4_2_3 n46_a_kyoto_2__1_1_1_4_2_1->n46_a_kyoto_2__1_1_1_4_2_1_1 n46_a_kyoto_2__1_1_1_4_2_2->n46_a_kyoto_2__1_1_1_4_2_2_1 n46_a_kyoto_2__1_1_1_4_2_3->n46_a_kyoto_2__1_1_1_4_2_3_1 n46_a_kyoto_2__1_1_2->n46_a_kyoto_2__1_1_2_1 n46_a_kyoto_2__1_1_3_1 CONJ n46_a_kyoto_2__1_1_3->n46_a_kyoto_2__1_1_3_1 n46_a_kyoto_2__1_1_3_2 ILYR n46_a_kyoto_2__1_1_3->n46_a_kyoto_2__1_1_3_2 n46_a_kyoto_2__1_1_3_1->n46_a_kyoto_2__1_1_3_1_1 n46_a_kyoto_2__1_1_3_2_1 PP-SCON n46_a_kyoto_2__1_1_3_2->n46_a_kyoto_2__1_1_3_2_1 n46_a_kyoto_2__1_1_3_2_2 NP-SBJ n46_a_kyoto_2__1_1_3_2->n46_a_kyoto_2__1_1_3_2_2 n46_a_kyoto_2__1_1_3_2_3 HVP;_cat_Ve_ n46_a_kyoto_2__1_1_3_2->n46_a_kyoto_2__1_1_3_2_3 n46_a_kyoto_2__1_1_3_2_4 IP-PPL-CAT n46_a_kyoto_2__1_1_3_2->n46_a_kyoto_2__1_1_3_2_4 n46_a_kyoto_2__1_1_3_2_1_1 P-CONN n46_a_kyoto_2__1_1_3_2_1->n46_a_kyoto_2__1_1_3_2_1_1 n46_a_kyoto_2__1_1_3_2_1_2 IP-ADV n46_a_kyoto_2__1_1_3_2_1->n46_a_kyoto_2__1_1_3_2_1_2 n46_a_kyoto_2__1_1_3_2_1_1->n46_a_kyoto_2__1_1_3_2_1_1_1 n46_a_kyoto_2__1_1_3_2_1_2_1 NP-SBJ n46_a_kyoto_2__1_1_3_2_1_2->n46_a_kyoto_2__1_1_3_2_1_2_1 n46_a_kyoto_2__1_1_3_2_1_2_2 MD;_cat_Vi_ n46_a_kyoto_2__1_1_3_2_1_2->n46_a_kyoto_2__1_1_3_2_1_2_2 n46_a_kyoto_2__1_1_3_2_1_2_3 IP-INF-CAT n46_a_kyoto_2__1_1_3_2_1_2->n46_a_kyoto_2__1_1_3_2_1_2_3 n46_a_kyoto_2__1_1_3_2_1_2_1_1 PRO n46_a_kyoto_2__1_1_3_2_1_2_1->n46_a_kyoto_2__1_1_3_2_1_2_1_1 n46_a_kyoto_2__1_1_3_2_1_2_1_1->n46_a_kyoto_2__1_1_3_2_1_2_1_1_1 n46_a_kyoto_2__1_1_3_2_1_2_2->n46_a_kyoto_2__1_1_3_2_1_2_2_1 n46_a_kyoto_2__1_1_3_2_1_2_3_1 BE;_cat_VePASS_ n46_a_kyoto_2__1_1_3_2_1_2_3->n46_a_kyoto_2__1_1_3_2_1_2_3_1 n46_a_kyoto_2__1_1_3_2_1_2_3_2 IP-PPL-CAT n46_a_kyoto_2__1_1_3_2_1_2_3->n46_a_kyoto_2__1_1_3_2_1_2_3_2 n46_a_kyoto_2__1_1_3_2_1_2_3_1->n46_a_kyoto_2__1_1_3_2_1_2_3_1_1 n46_a_kyoto_2__1_1_3_2_1_2_3_2_1 NP-LGS n46_a_kyoto_2__1_1_3_2_1_2_3_2->n46_a_kyoto_2__1_1_3_2_1_2_3_2_1 n46_a_kyoto_2__1_1_3_2_1_2_3_2_2 VVN;__ n46_a_kyoto_2__1_1_3_2_1_2_3_2->n46_a_kyoto_2__1_1_3_2_1_2_3_2_2 n46_a_kyoto_2__1_1_3_2_1_2_3_2_1->n46_a_kyoto_2__1_1_3_2_1_2_3_2_1_1 n46_a_kyoto_2__1_1_3_2_1_2_3_2_2->n46_a_kyoto_2__1_1_3_2_1_2_3_2_2_1 n46_a_kyoto_2__1_1_3_2_2_1 PRO n46_a_kyoto_2__1_1_3_2_2->n46_a_kyoto_2__1_1_3_2_2_1 n46_a_kyoto_2__1_1_3_2_2_1->n46_a_kyoto_2__1_1_3_2_2_1_1 n46_a_kyoto_2__1_1_3_2_3->n46_a_kyoto_2__1_1_3_2_3_1 n46_a_kyoto_2__1_1_3_2_4_1 VVN;__ n46_a_kyoto_2__1_1_3_2_4->n46_a_kyoto_2__1_1_3_2_4_1 n46_a_kyoto_2__1_1_3_2_4_2 NP-OB1 n46_a_kyoto_2__1_1_3_2_4->n46_a_kyoto_2__1_1_3_2_4_2 n46_a_kyoto_2__1_1_3_2_4_3 ADJP-PRD n46_a_kyoto_2__1_1_3_2_4->n46_a_kyoto_2__1_1_3_2_4_3 n46_a_kyoto_2__1_1_3_2_4_1->n46_a_kyoto_2__1_1_3_2_4_1_1 n46_a_kyoto_2__1_1_3_2_4_2_1 ADJP n46_a_kyoto_2__1_1_3_2_4_2->n46_a_kyoto_2__1_1_3_2_4_2_1 n46_a_kyoto_2__1_1_3_2_4_2_2 NS n46_a_kyoto_2__1_1_3_2_4_2->n46_a_kyoto_2__1_1_3_2_4_2_2 n46_a_kyoto_2__1_1_3_2_4_2_1_1 ADVP n46_a_kyoto_2__1_1_3_2_4_2_1->n46_a_kyoto_2__1_1_3_2_4_2_1_1 n46_a_kyoto_2__1_1_3_2_4_2_1_2 ADJR n46_a_kyoto_2__1_1_3_2_4_2_1->n46_a_kyoto_2__1_1_3_2_4_2_1_2 n46_a_kyoto_2__1_1_3_2_4_2_1_1_1 ADV n46_a_kyoto_2__1_1_3_2_4_2_1_1->n46_a_kyoto_2__1_1_3_2_4_2_1_1_1 n46_a_kyoto_2__1_1_3_2_4_2_1_1_1->n46_a_kyoto_2__1_1_3_2_4_2_1_1_1_1 n46_a_kyoto_2__1_1_3_2_4_2_1_2->n46_a_kyoto_2__1_1_3_2_4_2_1_2_1 n46_a_kyoto_2__1_1_3_2_4_2_2->n46_a_kyoto_2__1_1_3_2_4_2_2_1 n46_a_kyoto_2__1_1_3_2_4_3_1 ADJ n46_a_kyoto_2__1_1_3_2_4_3->n46_a_kyoto_2__1_1_3_2_4_3_1 n46_a_kyoto_2__1_1_3_2_4_3_1->n46_a_kyoto_2__1_1_3_2_4_3_1_1 n46_a_kyoto_2__1_2->n46_a_kyoto_2__1_2_1 
( (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))