8_a_seiko_9r65
The Grand Seiko watch was born in 1960, reached the very top in the mechanical watch field around the world at the end of the 1960's.
arc(r_0008_0005__was, r_0008_0006__born, scope).
arc(r_0008_0006__born, r_0008_0001__The_r_0008_0002__Grand_r_0008_0003__Seiko_r_0008_0004__watch, arg1).
arc(r_0008_0006__born, r_0008_0008__1960, r_0008_0007__in_nim23).
arc(r_0008_0006__born, z_000_8_a_seiko_9r65_16, arg0).
arc(r_0008_0010__reached, r_0008_0001__The_r_0008_0002__Grand_r_0008_0003__Seiko_r_0008_0004__watch, arg0).
arc(r_0008_0010__reached, r_0008_0011__the_r_0008_0013__top, arg1).
arc(r_0008_0010__reached, r_0008_0023__the_r_0008_0024__end, r_0008_0022__at_nim64).
arc(r_0008_0011__the_r_0008_0013__top, r_0008_0012__very, attrib35).
arc(r_0008_0011__the_r_0008_0013__top, r_0008_0015__the_r_0008_0017__watch_r_0008_0018__field, r_0008_0014__in).
arc(r_0008_0015__the_r_0008_0017__watch_r_0008_0018__field, r_0008_0016__mechanical, attrib46).
arc(r_0008_0015__the_r_0008_0017__watch_r_0008_0018__field, r_0008_0020__the_r_0008_0021__world, r_0008_0019__around).
arc(r_0008_0023__the_r_0008_0024__end, r_0008_0026__the_r_0008_0027__1960_apos_s, r_0008_0025__of).
arc(z_000_8_a_seiko_9r65_11, r_0008_0005__was, conj1).
arc(z_000_8_a_seiko_9r65_11, r_0008_0010__reached, conj2).
fof(formula,axiom,
? [R_0008_0001__THE_R_0008_0002__GRAND_R_0008_0003__SEIKO_R_0008_0004__WATCH,R_0008_0008__1960,Z_000_8_A_SEIKO_9R65_16,R_0008_0005__WAS_R_0008_0006__BORN,R_0008_0012__VERY,R_0008_0016__MECHANICAL,R_0008_0020__THE_R_0008_0021__WORLD,R_0008_0015__THE_R_0008_0017__WATCH_R_0008_0018__FIELD,R_0008_0011__THE_R_0008_0013__TOP,R_0008_0026__THE_R_0008_0027__1960_APOS_S,R_0008_0023__THE_R_0008_0024__END,R_0008_0010__REACHED,Z_000_8_A_SEIKO_9R65_11] :
( r_0008_0001__The_r_0008_0002__Grand_r_0008_0003__Seiko_r_0008_0004__watch(R_0008_0001__THE_R_0008_0002__GRAND_R_0008_0003__SEIKO_R_0008_0004__WATCH)
& r_0008_0008__1960(R_0008_0008__1960)
& r_0008_0012__very(R_0008_0012__VERY)
& r_0008_0016__mechanical(R_0008_0016__MECHANICAL)
& r_0008_0020__the_r_0008_0021__world(R_0008_0020__THE_R_0008_0021__WORLD)
& r_0008_0026__the_r_0008_0027__1960_apos_s(R_0008_0026__THE_R_0008_0027__1960_APOS_S)
& z_000_8_a_seiko_9r65_16(Z_000_8_A_SEIKO_9R65_16)
& z_000_8_a_seiko_9r65_11(Z_000_8_A_SEIKO_9R65_11)
& has_conj2(Z_000_8_A_SEIKO_9R65_11,R_0008_0010__REACHED)
& r_0008_0010__reached(R_0008_0010__REACHED)
& has_r_0008_0022__at_nim64(R_0008_0010__REACHED,R_0008_0023__THE_R_0008_0024__END)
& r_0008_0023__the_r_0008_0024__end(R_0008_0023__THE_R_0008_0024__END)
& has_r_0008_0025__of(R_0008_0023__THE_R_0008_0024__END,R_0008_0026__THE_R_0008_0027__1960_APOS_S)
& has_arg1(R_0008_0010__REACHED,R_0008_0011__THE_R_0008_0013__TOP)
& r_0008_0011__the_r_0008_0013__top(R_0008_0011__THE_R_0008_0013__TOP)
& has_r_0008_0014__in(R_0008_0011__THE_R_0008_0013__TOP,R_0008_0015__THE_R_0008_0017__WATCH_R_0008_0018__FIELD)
& r_0008_0015__the_r_0008_0017__watch_r_0008_0018__field(R_0008_0015__THE_R_0008_0017__WATCH_R_0008_0018__FIELD)
& has_r_0008_0019__around(R_0008_0015__THE_R_0008_0017__WATCH_R_0008_0018__FIELD,R_0008_0020__THE_R_0008_0021__WORLD)
& has_attrib46(R_0008_0015__THE_R_0008_0017__WATCH_R_0008_0018__FIELD,R_0008_0016__MECHANICAL)
& has_attrib35(R_0008_0011__THE_R_0008_0013__TOP,R_0008_0012__VERY)
& has_arg0(R_0008_0010__REACHED,R_0008_0001__THE_R_0008_0002__GRAND_R_0008_0003__SEIKO_R_0008_0004__WATCH)
& has_conj1(Z_000_8_A_SEIKO_9R65_11,R_0008_0005__WAS_R_0008_0006__BORN)
& r_0008_0005__was_r_0008_0006__born(R_0008_0005__WAS_R_0008_0006__BORN)
& has_arg0(R_0008_0005__WAS_R_0008_0006__BORN,Z_000_8_A_SEIKO_9R65_16)
& has_r_0008_0007__in_nim23(R_0008_0005__WAS_R_0008_0006__BORN,R_0008_0008__1960)
& has_arg1(R_0008_0005__WAS_R_0008_0006__BORN,R_0008_0001__THE_R_0008_0002__GRAND_R_0008_0003__SEIKO_R_0008_0004__WATCH) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(NPR Grand;{Grand})
(NPR Seiko;{Seiko})
(N watch;{watch}))
(ILYR (ILYR (BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ born;{bear})
(PP-NIM (P-ROLE in;{in})
(NP (NPR 1960)))))
(PUNC ,)
(CONJP (ILYR (VBD;_Tn_ reached;{reach})
(NP-OB1 (D the;{the})
(ADJP (ADJ very;{very}))
(N top;{top})
(PP (P-ROLE in;{in})
(NP (D the;{the})
(ADJP (ADJ mechanical;{mechanical}))
(N watch;{watch})
(N field;{field})
(PP (P-ROLE around;{around})
(NP (D the;{the})
(N world;{world}))))))
(PP-NIM (P-ROLE at;{at})
(NP (D the;{the})
(N end;{end})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NPRS 1960<apos>s))))))))
(PUNC .))
(ID 8_a_seiko_9r65))