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,
? [Z_8_A_SEIKO_9R65_11,R_8_5_WAS_BORN,Z_8_A_SEIKO_9R65_16,R_8_8_1960,R_8_10_REACHED,R_8_1_THE_GRAND_SEIKO_WATCH,R_8_11_THE_TOP,R_8_12_VERY,R_8_15_THE_WATCH_FIELD,R_8_16_MECHANICAL,R_8_20_THE_WORLD,R_8_23_THE_END,R_8_26_THE_1960_APOS_S] :
( 1960(R_8_8_1960)
& the_Grand_Seiko_watch(R_8_1_THE_GRAND_SEIKO_WATCH)
& very(R_8_12_VERY)
& mechanical(R_8_16_MECHANICAL)
& the_world(R_8_20_THE_WORLD)
& the_1960_apos_s(R_8_26_THE_1960_APOS_S)
& z_8_a_seiko_9r65_11(Z_8_A_SEIKO_9R65_11)
& conj1(Z_8_A_SEIKO_9R65_11,R_8_5_WAS_BORN)
& was_born(R_8_5_WAS_BORN,Z_8_A_SEIKO_9R65_16,R_8_1_THE_GRAND_SEIKO_WATCH)
& in_nim23(R_8_5_WAS_BORN,R_8_8_1960)
& conj2(Z_8_A_SEIKO_9R65_11,R_8_10_REACHED)
& reached(R_8_10_REACHED,R_8_1_THE_GRAND_SEIKO_WATCH,R_8_11_THE_TOP)
& the_top(R_8_11_THE_TOP)
& attrib35(R_8_11_THE_TOP,R_8_12_VERY)
& in(R_8_11_THE_TOP,R_8_15_THE_WATCH_FIELD)
& the_watch_field(R_8_15_THE_WATCH_FIELD)
& attrib46(R_8_15_THE_WATCH_FIELD,R_8_16_MECHANICAL)
& around(R_8_15_THE_WATCH_FIELD,R_8_20_THE_WORLD)
& at_nim64(R_8_10_REACHED,R_8_23_THE_END)
& the_end(R_8_23_THE_END)
& of(R_8_23_THE_END,R_8_26_THE_1960_APOS_S) ) ).
( (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))