TSPC 28_a_kyoto

28_a_kyoto_2
Many lines have split, and some have disappeared; in this way some of those lines have come down from the 7th century to the present day.

( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ (ADJP (ADJ Many;{many}))
                                          (NS lines;{line}))
                                  (HVP;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (VVN;_I_ split;{split})))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-SBJ (D;_nphd_ some;{some}))
                                         (HVP;_cat_Ve_ have;{have})
                                         (IP-PPL-CAT (VVN;_I_ disappeared;{disappear}))))))
                (PUNC ;)
                (CONJP (ILYR (PP-NIM (P-ROLE in;{in})
                                     (NP (D this;{this})
                                         (N way;{way})))
                             (NP-SBJ (D;_nphd_ some;{some})
                                     (PP (P-ROLE of;{of})
                                         (NP (D those;{those})
                                             (NS lines;{line}))))
                             (HVP;_cat_Ve_ have;{have})
                             (IP-PPL-CAT (VVN;_Ip_ come;{come[down]})
                                         (RP down;{down})
                                         (PP-NIM (P-ROLE from;{from})
                                                 (NP (D the;{the})
                                                     (ADJP (ADJ 7th))
                                                     (N century;{century})))
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (D the;{the})
                                                     (ADJP (ADJ present;{present}))
                                                     (N day;{day})))))))
          (PUNC .))
  (ID 28_a_kyoto_2;BDS_00002;28))

arc(r_0028_0002__lines,r_0028_0001__Many,attrib).
arc(r_0028_0003__have,r_0028_0004__split,scope).
arc(r_0028_0004__split,r_0028_0002__lines,arg0).
arc(r_0028_0006__and,r_0028_0003__have,conj1).
arc(r_0028_0006__and,r_0028_0008__have,conj2).
arc(r_0028_0008__have,r_0028_0009__disappeared,scope).
arc(r_0028_0009__disappeared,r_0028_0007__some,arg0).
arc(r_0028_0014__some,r_0028_0016__those_r_0028_0017__lines,r_0028_0015__of).
arc(r_0028_0018__have,r_0028_0012__this_r_0028_0013__way,r_0028_0011__in__nim).
arc(r_0028_0018__have,r_0028_0019__come_r_0028_0020__down,scope).
arc(r_0028_0019__come_r_0028_0020__down,r_0028_0014__some,arg0).
arc(r_0028_0019__come_r_0028_0020__down,r_0028_0022__the_r_0028_0024__century,r_0028_0021__from__nim).
arc(r_0028_0019__come_r_0028_0020__down,r_0028_0026__the_r_0028_0028__day,r_0028_0025__to__nim).
arc(r_0028_0022__the_r_0028_0024__century,r_0028_0023__7th,attrib).
arc(r_0028_0026__the_r_0028_0028__day,r_0028_0027__present,attrib).
arc(z_0028_5001,r_0028_0006__and,conj1).
arc(z_0028_5001,r_0028_0018__have,conj2).

fof(formula,axiom,
    ? [R_0028_0001__MANY,R_0028_0002__LINES,R_0028_0003__HAVE_R_0028_0004__SPLIT,R_0028_0007__SOME,R_0028_0008__HAVE_R_0028_0009__DISAPPEARED,R_0028_0006__AND,R_0028_0012__THIS_R_0028_0013__WAY,R_0028_0016__THOSE_R_0028_0017__LINES,R_0028_0014__SOME,R_0028_0023__7TH,R_0028_0022__THE_R_0028_0024__CENTURY,R_0028_0027__PRESENT,R_0028_0026__THE_R_0028_0028__DAY,R_0028_0018__HAVE_R_0028_0019__COME_R_0028_0020__DOWN,Z_0028_5001] :
      ( r_0028_0001__Many(R_0028_0001__MANY)
      & r_0028_0007__some(R_0028_0007__SOME)
      & r_0028_0012__this_r_0028_0013__way(R_0028_0012__THIS_R_0028_0013__WAY)
      & r_0028_0016__those_r_0028_0017__lines(R_0028_0016__THOSE_R_0028_0017__LINES)
      & r_0028_0023__7th(R_0028_0023__7TH)
      & r_0028_0027__present(R_0028_0027__PRESENT)
      & z_0028_5001(Z_0028_5001)
      & has_conj2(Z_0028_5001,R_0028_0018__HAVE_R_0028_0019__COME_R_0028_0020__DOWN)
      & r_0028_0018__have_r_0028_0019__come_r_0028_0020__down(R_0028_0018__HAVE_R_0028_0019__COME_R_0028_0020__DOWN)
      & has_r_0028_0025__to__nim(R_0028_0018__HAVE_R_0028_0019__COME_R_0028_0020__DOWN,R_0028_0026__THE_R_0028_0028__DAY)
      & r_0028_0026__the_r_0028_0028__day(R_0028_0026__THE_R_0028_0028__DAY)
      & has_attrib(R_0028_0026__THE_R_0028_0028__DAY,R_0028_0027__PRESENT)
      & has_r_0028_0021__from__nim(R_0028_0018__HAVE_R_0028_0019__COME_R_0028_0020__DOWN,R_0028_0022__THE_R_0028_0024__CENTURY)
      & r_0028_0022__the_r_0028_0024__century(R_0028_0022__THE_R_0028_0024__CENTURY)
      & has_attrib(R_0028_0022__THE_R_0028_0024__CENTURY,R_0028_0023__7TH)
      & has_arg0(R_0028_0018__HAVE_R_0028_0019__COME_R_0028_0020__DOWN,R_0028_0014__SOME)
      & r_0028_0014__some(R_0028_0014__SOME)
      & has_r_0028_0015__of(R_0028_0014__SOME,R_0028_0016__THOSE_R_0028_0017__LINES)
      & has_r_0028_0011__in__nim(R_0028_0018__HAVE_R_0028_0019__COME_R_0028_0020__DOWN,R_0028_0012__THIS_R_0028_0013__WAY)
      & has_conj1(Z_0028_5001,R_0028_0006__AND)
      & r_0028_0006__and(R_0028_0006__AND)
      & has_conj2(R_0028_0006__AND,R_0028_0008__HAVE_R_0028_0009__DISAPPEARED)
      & r_0028_0008__have_r_0028_0009__disappeared(R_0028_0008__HAVE_R_0028_0009__DISAPPEARED)
      & has_arg0(R_0028_0008__HAVE_R_0028_0009__DISAPPEARED,R_0028_0007__SOME)
      & has_conj1(R_0028_0006__AND,R_0028_0003__HAVE_R_0028_0004__SPLIT)
      & r_0028_0003__have_r_0028_0004__split(R_0028_0003__HAVE_R_0028_0004__SPLIT)
      & has_arg0(R_0028_0003__HAVE_R_0028_0004__SPLIT,R_0028_0002__LINES)
      & r_0028_0002__lines(R_0028_0002__LINES)
      & has_attrib(R_0028_0002__LINES,R_0028_0001__MANY) ) ).