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.

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

arc(r_0046_0004__came_r_0046_0005__together,r_0046_0001__The_r_0046_0002__Koan_r_0046_0003__system,arg0).
arc(r_0046_0004__came_r_0046_0005__together,r_0046_0007__the_r_0046_0008__Song_r_0046_0009__dynasty,r_0046_0006__after__nim).
arc(r_0046_0011__and,r_0046_0004__came_r_0046_0005__together,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_0022__enlightenments,arg1).
arc(r_0046_0016__fabricated,z_0046_5009___star_,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,qual).
arc(r_0046_0022__enlightenments,r_0046_0021__more,attrib).

fof(formula,axiom,
    ? [R_0046_0001__THE_R_0046_0002__KOAN_R_0046_0003__SYSTEM,R_0046_0007__THE_R_0046_0008__SONG_R_0046_0009__DYNASTY,R_0046_0004__CAME_R_0046_0005__TOGETHER,R_0046_0020__EVEN,R_0046_0021__MORE,R_0046_0022__ENLIGHTENMENTS,Z_0046_5009___STAR_,R_0046_0014__MIGHT_R_0046_0015__BE_R_0046_0016__FABRICATED,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_0007__the_r_0046_0008__Song_r_0046_0009__dynasty(R_0046_0007__THE_R_0046_0008__SONG_R_0046_0009__DYNASTY)
      & r_0046_0020__even(R_0046_0020__EVEN)
      & r_0046_0023__possible(R_0046_0023__POSSIBLE)
      & z_0046_5009___star_(Z_0046_5009___STAR_)
      & 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_attrib(R_0046_0022__ENLIGHTENMENTS,R_0046_0021__MORE)
      & r_0046_0021__more(R_0046_0021__MORE)
      & has_qual(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_0046_5009___STAR_)
      & has_arg1(R_0046_0014__MIGHT_R_0046_0015__BE_R_0046_0016__FABRICATED,R_0046_0022__ENLIGHTENMENTS)
      & has_conj1(R_0046_0011__AND,R_0046_0004__CAME_R_0046_0005__TOGETHER)
      & r_0046_0004__came_r_0046_0005__together(R_0046_0004__CAME_R_0046_0005__TOGETHER)
      & has_r_0046_0006__after__nim(R_0046_0004__CAME_R_0046_0005__TOGETHER,R_0046_0007__THE_R_0046_0008__SONG_R_0046_0009__DYNASTY)
      & has_arg0(R_0046_0004__CAME_R_0046_0005__TOGETHER,R_0046_0001__THE_R_0046_0002__KOAN_R_0046_0003__SYSTEM) ) ).