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.

%3 r_0028_0002__lines lines r_0028_0001__Many Many r_0028_0002__lines->r_0028_0001__Many [attrib] r_0028_0003__have have r_0028_0004__split split r_0028_0003__have->r_0028_0004__split [scope] r_0028_0004__split->r_0028_0002__lines [arg0] r_0028_0006__and and r_0028_0006__and->r_0028_0003__have [conj1] r_0028_0008__have have r_0028_0006__and->r_0028_0008__have [conj2] r_0028_0009__disappeared disappeared r_0028_0008__have->r_0028_0009__disappeared [scope] r_0028_0007__some some r_0028_0009__disappeared->r_0028_0007__some [arg0] r_0028_0014__some some r_0028_0016__those_r_0028_0017__lines those lines r_0028_0014__some->r_0028_0016__those_r_0028_0017__lines of r_0028_0018__have have r_0028_0012__this_r_0028_0013__way this way r_0028_0018__have->r_0028_0012__this_r_0028_0013__way in [nim] r_0028_0019__come_r_0028_0020__down come down r_0028_0018__have->r_0028_0019__come_r_0028_0020__down [scope] r_0028_0019__come_r_0028_0020__down->r_0028_0014__some [arg0] r_0028_0022__the_r_0028_0024__century the century r_0028_0019__come_r_0028_0020__down->r_0028_0022__the_r_0028_0024__century from [nim] r_0028_0026__the_r_0028_0028__day the day r_0028_0019__come_r_0028_0020__down->r_0028_0026__the_r_0028_0028__day to [nim] r_0028_0023__7th 7th r_0028_0022__the_r_0028_0024__century->r_0028_0023__7th [attrib] r_0028_0027__present present r_0028_0026__the_r_0028_0028__day->r_0028_0027__present [attrib] z_000_28_a_kyoto_2_2 z_000_28_a_kyoto_2_2->r_0028_0006__and [conj1] z_000_28_a_kyoto_2_2->r_0028_0018__have [conj2]
arc(r_0028_0002__lines, r_0028_0001__Many, attrib7).
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_nim38).
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_nim64).
arc(r_0028_0019__come_r_0028_0020__down, r_0028_0026__the_r_0028_0028__day, r_0028_0025__to_nim75).
arc(r_0028_0022__the_r_0028_0024__century, r_0028_0023__7th, attrib67).
arc(r_0028_0026__the_r_0028_0028__day, r_0028_0027__present, attrib78).
arc(z_000_28_a_kyoto_2_2, r_0028_0006__and, conj1).
arc(z_000_28_a_kyoto_2_2, r_0028_0018__have, conj2).



%3 r_0028_0002__lines lines r_0028_0001__Many Many r_0028_0002__lines->r_0028_0001__Many [attrib] r_0028_0003__have_r_0028_0004__split have split r_0028_0003__have_r_0028_0004__split->r_0028_0002__lines [arg0] r_0028_0006__and and r_0028_0006__and->r_0028_0003__have_r_0028_0004__split [conj1] r_0028_0008__have_r_0028_0009__disappeared have disappeared r_0028_0006__and->r_0028_0008__have_r_0028_0009__disappeared [conj2] r_0028_0007__some some r_0028_0008__have_r_0028_0009__disappeared->r_0028_0007__some [arg0] r_0028_0014__some some r_0028_0016__those_r_0028_0017__lines those lines r_0028_0014__some->r_0028_0016__those_r_0028_0017__lines of r_0028_0018__have_r_0028_0019__come_r_0028_0020__down have come down r_0028_0018__have_r_0028_0019__come_r_0028_0020__down->r_0028_0014__some [arg0] r_0028_0012__this_r_0028_0013__way this way r_0028_0018__have_r_0028_0019__come_r_0028_0020__down->r_0028_0012__this_r_0028_0013__way in [nim] r_0028_0022__the_r_0028_0024__century the century r_0028_0018__have_r_0028_0019__come_r_0028_0020__down->r_0028_0022__the_r_0028_0024__century from [nim] r_0028_0026__the_r_0028_0028__day the day r_0028_0018__have_r_0028_0019__come_r_0028_0020__down->r_0028_0026__the_r_0028_0028__day to [nim] r_0028_0023__7th 7th r_0028_0022__the_r_0028_0024__century->r_0028_0023__7th [attrib] r_0028_0027__present present r_0028_0026__the_r_0028_0028__day->r_0028_0027__present [attrib] z_000_28_a_kyoto_2_2 z_000_28_a_kyoto_2_2->r_0028_0006__and [conj1] z_000_28_a_kyoto_2_2->r_0028_0018__have_r_0028_0019__come_r_0028_0020__down [conj2]
fof(formula,axiom,
    ? [Z_28_A_KYOTO_2_2,R_28_6_AND,R_28_3_HAVE_SPLIT,R_28_2_LINES,R_28_1_MANY,R_28_8_HAVE_DISAPPEARED,R_28_7_SOME,R_28_18_HAVE_COME_DOWN,R_28_14_SOME,R_28_16_THOSE_LINES,R_28_12_THIS_WAY,R_28_22_THE_CENTURY,R_28_23_7TH,R_28_26_THE_DAY,R_28_27_PRESENT] :
      ( many(R_28_1_MANY)
      & some(R_28_7_SOME)
      & those_lines(R_28_16_THOSE_LINES)
      & this_way(R_28_12_THIS_WAY)
      & 7th(R_28_23_7TH)
      & present(R_28_27_PRESENT)
      & z_28_a_kyoto_2_2(Z_28_A_KYOTO_2_2)
      & conj1(Z_28_A_KYOTO_2_2,R_28_6_AND)
      & and(R_28_6_AND)
      & conj1(R_28_6_AND,R_28_3_HAVE_SPLIT)
      & have_split(R_28_3_HAVE_SPLIT,R_28_2_LINES)
      & lines(R_28_2_LINES)
      & attrib7(R_28_2_LINES,R_28_1_MANY)
      & conj2(R_28_6_AND,R_28_8_HAVE_DISAPPEARED)
      & have_disappeared(R_28_8_HAVE_DISAPPEARED,R_28_7_SOME)
      & conj2(Z_28_A_KYOTO_2_2,R_28_18_HAVE_COME_DOWN)
      & have_come_down(R_28_18_HAVE_COME_DOWN,R_28_14_SOME)
      & some(R_28_14_SOME)
      & of(R_28_14_SOME,R_28_16_THOSE_LINES)
      & in_nim38(R_28_18_HAVE_COME_DOWN,R_28_12_THIS_WAY)
      & from_nim64(R_28_18_HAVE_COME_DOWN,R_28_22_THE_CENTURY)
      & the_century(R_28_22_THE_CENTURY)
      & attrib67(R_28_22_THE_CENTURY,R_28_23_7TH)
      & to_nim75(R_28_18_HAVE_COME_DOWN,R_28_26_THE_DAY)
      & the_day(R_28_26_THE_DAY)
      & attrib78(R_28_26_THE_DAY,R_28_27_PRESENT) ) ).



n28_a_kyoto_2 n28_a_kyoto_2_9 Many n28_a_kyoto_2_11 lines n28_a_kyoto_2_13 have n28_a_kyoto_2_16 split n28_a_kyoto_2_18 , n28_a_kyoto_2_21 and n28_a_kyoto_2_25 some n28_a_kyoto_2_27 have n28_a_kyoto_2_30 disappeared n28_a_kyoto_2_32 ; n28_a_kyoto_2_37 in n28_a_kyoto_2_40 this n28_a_kyoto_2_42 way n28_a_kyoto_2_45 some n28_a_kyoto_2_48 of n28_a_kyoto_2_51 those n28_a_kyoto_2_53 lines n28_a_kyoto_2_55 have n28_a_kyoto_2_58 come n28_a_kyoto_2_60 down n28_a_kyoto_2_63 from n28_a_kyoto_2_66 the n28_a_kyoto_2_69 7th n28_a_kyoto_2_71 century n28_a_kyoto_2_74 to n28_a_kyoto_2_77 the n28_a_kyoto_2_80 present n28_a_kyoto_2_82 day n28_a_kyoto_2_84 . n28_a_kyoto_2_1 IP-MAT n28_a_kyoto_2_2 ILYR n28_a_kyoto_2_1->n28_a_kyoto_2_2 n28_a_kyoto_2_83 PUNC n28_a_kyoto_2_1->n28_a_kyoto_2_83 n28_a_kyoto_2_3 ILYR n28_a_kyoto_2_2->n28_a_kyoto_2_3 n28_a_kyoto_2_31 PUNC n28_a_kyoto_2_2->n28_a_kyoto_2_31 n28_a_kyoto_2_33 CONJP n28_a_kyoto_2_2->n28_a_kyoto_2_33 n28_a_kyoto_2_4 ILYR n28_a_kyoto_2_3->n28_a_kyoto_2_4 n28_a_kyoto_2_5 ILYR n28_a_kyoto_2_4->n28_a_kyoto_2_5 n28_a_kyoto_2_17 PUNC n28_a_kyoto_2_4->n28_a_kyoto_2_17 n28_a_kyoto_2_19 CONJP n28_a_kyoto_2_4->n28_a_kyoto_2_19 n28_a_kyoto_2_6 NP-SBJ n28_a_kyoto_2_5->n28_a_kyoto_2_6 n28_a_kyoto_2_12 HVP;_cat_Ve_ n28_a_kyoto_2_5->n28_a_kyoto_2_12 n28_a_kyoto_2_14 IP-PPL-CAT n28_a_kyoto_2_5->n28_a_kyoto_2_14 n28_a_kyoto_2_7 ADJP n28_a_kyoto_2_6->n28_a_kyoto_2_7 n28_a_kyoto_2_10 NS n28_a_kyoto_2_6->n28_a_kyoto_2_10 n28_a_kyoto_2_8 ADJ n28_a_kyoto_2_7->n28_a_kyoto_2_8 n28_a_kyoto_2_8->n28_a_kyoto_2_9 n28_a_kyoto_2_10->n28_a_kyoto_2_11 n28_a_kyoto_2_12->n28_a_kyoto_2_13 n28_a_kyoto_2_15 VVN;_I_ n28_a_kyoto_2_14->n28_a_kyoto_2_15 n28_a_kyoto_2_15->n28_a_kyoto_2_16 n28_a_kyoto_2_17->n28_a_kyoto_2_18 n28_a_kyoto_2_20 CONJ n28_a_kyoto_2_19->n28_a_kyoto_2_20 n28_a_kyoto_2_22 ILYR n28_a_kyoto_2_19->n28_a_kyoto_2_22 n28_a_kyoto_2_20->n28_a_kyoto_2_21 n28_a_kyoto_2_23 NP-SBJ n28_a_kyoto_2_22->n28_a_kyoto_2_23 n28_a_kyoto_2_26 HVP;_cat_Ve_ n28_a_kyoto_2_22->n28_a_kyoto_2_26 n28_a_kyoto_2_28 IP-PPL-CAT n28_a_kyoto_2_22->n28_a_kyoto_2_28 n28_a_kyoto_2_24 D;_nphd_ n28_a_kyoto_2_23->n28_a_kyoto_2_24 n28_a_kyoto_2_24->n28_a_kyoto_2_25 n28_a_kyoto_2_26->n28_a_kyoto_2_27 n28_a_kyoto_2_29 VVN;_I_ n28_a_kyoto_2_28->n28_a_kyoto_2_29 n28_a_kyoto_2_29->n28_a_kyoto_2_30 n28_a_kyoto_2_31->n28_a_kyoto_2_32 n28_a_kyoto_2_34 ILYR n28_a_kyoto_2_33->n28_a_kyoto_2_34 n28_a_kyoto_2_35 PP-NIM n28_a_kyoto_2_34->n28_a_kyoto_2_35 n28_a_kyoto_2_43 NP-SBJ n28_a_kyoto_2_34->n28_a_kyoto_2_43 n28_a_kyoto_2_54 HVP;_cat_Ve_ n28_a_kyoto_2_34->n28_a_kyoto_2_54 n28_a_kyoto_2_56 IP-PPL-CAT n28_a_kyoto_2_34->n28_a_kyoto_2_56 n28_a_kyoto_2_36 P-ROLE n28_a_kyoto_2_35->n28_a_kyoto_2_36 n28_a_kyoto_2_38 NP n28_a_kyoto_2_35->n28_a_kyoto_2_38 n28_a_kyoto_2_36->n28_a_kyoto_2_37 n28_a_kyoto_2_39 D n28_a_kyoto_2_38->n28_a_kyoto_2_39 n28_a_kyoto_2_41 N n28_a_kyoto_2_38->n28_a_kyoto_2_41 n28_a_kyoto_2_39->n28_a_kyoto_2_40 n28_a_kyoto_2_41->n28_a_kyoto_2_42 n28_a_kyoto_2_44 D;_nphd_ n28_a_kyoto_2_43->n28_a_kyoto_2_44 n28_a_kyoto_2_46 PP n28_a_kyoto_2_43->n28_a_kyoto_2_46 n28_a_kyoto_2_44->n28_a_kyoto_2_45 n28_a_kyoto_2_47 P-ROLE n28_a_kyoto_2_46->n28_a_kyoto_2_47 n28_a_kyoto_2_49 NP n28_a_kyoto_2_46->n28_a_kyoto_2_49 n28_a_kyoto_2_47->n28_a_kyoto_2_48 n28_a_kyoto_2_50 D n28_a_kyoto_2_49->n28_a_kyoto_2_50 n28_a_kyoto_2_52 NS n28_a_kyoto_2_49->n28_a_kyoto_2_52 n28_a_kyoto_2_50->n28_a_kyoto_2_51 n28_a_kyoto_2_52->n28_a_kyoto_2_53 n28_a_kyoto_2_54->n28_a_kyoto_2_55 n28_a_kyoto_2_57 VVN;_Ip_ n28_a_kyoto_2_56->n28_a_kyoto_2_57 n28_a_kyoto_2_59 RP n28_a_kyoto_2_56->n28_a_kyoto_2_59 n28_a_kyoto_2_61 PP-NIM n28_a_kyoto_2_56->n28_a_kyoto_2_61 n28_a_kyoto_2_72 PP-NIM n28_a_kyoto_2_56->n28_a_kyoto_2_72 n28_a_kyoto_2_57->n28_a_kyoto_2_58 n28_a_kyoto_2_59->n28_a_kyoto_2_60 n28_a_kyoto_2_62 P-ROLE n28_a_kyoto_2_61->n28_a_kyoto_2_62 n28_a_kyoto_2_64 NP n28_a_kyoto_2_61->n28_a_kyoto_2_64 n28_a_kyoto_2_62->n28_a_kyoto_2_63 n28_a_kyoto_2_65 D n28_a_kyoto_2_64->n28_a_kyoto_2_65 n28_a_kyoto_2_67 ADJP n28_a_kyoto_2_64->n28_a_kyoto_2_67 n28_a_kyoto_2_70 N n28_a_kyoto_2_64->n28_a_kyoto_2_70 n28_a_kyoto_2_65->n28_a_kyoto_2_66 n28_a_kyoto_2_68 ADJ n28_a_kyoto_2_67->n28_a_kyoto_2_68 n28_a_kyoto_2_68->n28_a_kyoto_2_69 n28_a_kyoto_2_70->n28_a_kyoto_2_71 n28_a_kyoto_2_73 P-ROLE n28_a_kyoto_2_72->n28_a_kyoto_2_73 n28_a_kyoto_2_75 NP n28_a_kyoto_2_72->n28_a_kyoto_2_75 n28_a_kyoto_2_73->n28_a_kyoto_2_74 n28_a_kyoto_2_76 D n28_a_kyoto_2_75->n28_a_kyoto_2_76 n28_a_kyoto_2_78 ADJP n28_a_kyoto_2_75->n28_a_kyoto_2_78 n28_a_kyoto_2_81 N n28_a_kyoto_2_75->n28_a_kyoto_2_81 n28_a_kyoto_2_76->n28_a_kyoto_2_77 n28_a_kyoto_2_79 ADJ n28_a_kyoto_2_78->n28_a_kyoto_2_79 n28_a_kyoto_2_79->n28_a_kyoto_2_80 n28_a_kyoto_2_81->n28_a_kyoto_2_82 n28_a_kyoto_2_83->n28_a_kyoto_2_84
( (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))