TSPC 46_a_kyoto

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.

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

fof(formula,axiom,
    ? [R_0046_0001__THE_R_0046_0002__KOAN_R_0046_0003__SYSTEM,R_0046_0005__TOGETHER,R_0046_0007__THE_R_0046_0008__SONG_R_0046_0009__DYNASTY,R_0046_0004__CAME,R_0046_0013__THEY,Z_000_46_A_KYOTO_2_45,R_0046_0014__MIGHT_R_0046_0015__BE_R_0046_0016__FABRICATED,R_0046_0020__EVEN,R_0046_0021__MORE,R_0046_0022__ENLIGHTENMENTS,R_0046_0023__POSSIBLE,R_0046_0018__HAS_R_0046_0019__MADE,R_0046_0012__THOUGH,R_0046_0011__AND] :
      ( r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system(R_0046_0001__THE_R_0046_0002__KOAN_R_0046_0003__SYSTEM)
      & r_0046_0005__together(R_0046_0005__TOGETHER)
      & r_0046_0007__the_r_0046_0008__Song_r_0046_0009__dynasty(R_0046_0007__THE_R_0046_0008__SONG_R_0046_0009__DYNASTY)
      & r_0046_0013__they(R_0046_0013__THEY)
      & r_0046_0020__even(R_0046_0020__EVEN)
      & r_0046_0023__possible(R_0046_0023__POSSIBLE)
      & z_000_46_a_kyoto_2_45(Z_000_46_A_KYOTO_2_45)
      & r_0046_0011__and(R_0046_0011__AND)
      & has_conj2(R_0046_0011__AND,R_0046_0012__THOUGH)
      & r_0046_0012__though(R_0046_0012__THOUGH)
      & has_conj2(R_0046_0012__THOUGH,R_0046_0018__HAS_R_0046_0019__MADE)
      & r_0046_0018__has_r_0046_0019__made(R_0046_0018__HAS_R_0046_0019__MADE)
      & has_prd(R_0046_0018__HAS_R_0046_0019__MADE,R_0046_0023__POSSIBLE)
      & has_arg1(R_0046_0018__HAS_R_0046_0019__MADE,R_0046_0022__ENLIGHTENMENTS)
      & r_0046_0022__enlightenments(R_0046_0022__ENLIGHTENMENTS)
      & has_attrib58(R_0046_0022__ENLIGHTENMENTS,R_0046_0021__MORE)
      & r_0046_0021__more(R_0046_0021__MORE)
      & has_qual59(R_0046_0021__MORE,R_0046_0020__EVEN)
      & has_arg0(R_0046_0018__HAS_R_0046_0019__MADE,R_0046_0001__THE_R_0046_0002__KOAN_R_0046_0003__SYSTEM)
      & has_conj1(R_0046_0012__THOUGH,R_0046_0014__MIGHT_R_0046_0015__BE_R_0046_0016__FABRICATED)
      & r_0046_0014__might_r_0046_0015__be_r_0046_0016__fabricated(R_0046_0014__MIGHT_R_0046_0015__BE_R_0046_0016__FABRICATED)
      & has_arg0(R_0046_0014__MIGHT_R_0046_0015__BE_R_0046_0016__FABRICATED,Z_000_46_A_KYOTO_2_45)
      & has_arg1(R_0046_0014__MIGHT_R_0046_0015__BE_R_0046_0016__FABRICATED,R_0046_0013__THEY)
      & has_conj1(R_0046_0011__AND,R_0046_0004__CAME)
      & r_0046_0004__came(R_0046_0004__CAME)
      & has_r_0046_0006__after_nim19(R_0046_0004__CAME,R_0046_0007__THE_R_0046_0008__SONG_R_0046_0009__DYNASTY)
      & has_clr13(R_0046_0004__CAME,R_0046_0005__TOGETHER)
      & has_arg0(R_0046_0004__CAME,R_0046_0001__THE_R_0046_0002__KOAN_R_0046_0003__SYSTEM) ) ).

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