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