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.
( (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))
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__nim).
arc(r_0008_0006__born,z_0008_5004___star_,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__nim).
arc(r_0008_0011__the_r_0008_0013__top,r_0008_0012__very,attrib).
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,attrib).
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_0008_5002,r_0008_0005__was,conj1).
arc(z_0008_5002,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_0008_5004___STAR_,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_0008_5002] :
( 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_0008_5004___star_(Z_0008_5004___STAR_)
& z_0008_5002(Z_0008_5002)
& has_conj2(Z_0008_5002,R_0008_0010__REACHED)
& r_0008_0010__reached(R_0008_0010__REACHED)
& has_r_0008_0022__at__nim(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_attrib(R_0008_0015__THE_R_0008_0017__WATCH_R_0008_0018__FIELD,R_0008_0016__MECHANICAL)
& has_attrib(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_0008_5002,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_0008_5004___STAR_)
& has_r_0008_0007__in__nim(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) ) ).