9_a_seiko_9r65
After a hiatus of dozen years or so, in 1993, the Grand Seiko 9F series equipped with world-class quartz movement was released.
arc(r_0009_0002__a_r_0009_0003__hiatus, r_0009_0005__dozen_r_0009_0006__years, r_0009_0004__of).
arc(r_0009_0005__dozen_r_0009_0006__years, r_0009_0007__or_so, qual18).
arc(r_0009_0017__equipped, r_0009_0012__the_r_0009_0013__Grand_r_0009_0014__Seiko_r_0009_0015__9F_r_0009_0016__series, arg1).
arc(r_0009_0017__equipped, r_0009_0020__quartz_r_0009_0021__movement, r_0009_0018__with_clr50).
arc(r_0009_0017__equipped, z_000_9_a_seiko_9r65_43, arg0).
arc(r_0009_0020__quartz_r_0009_0021__movement, r_0009_0019__world__hyphen__class, attrib51).
arc(r_0009_0022__was, r_0009_0002__a_r_0009_0003__hiatus, r_0009_0001__After_nim5).
arc(r_0009_0022__was, r_0009_0010__1993, r_0009_0009__in_nim26).
arc(r_0009_0022__was, r_0009_0023__released, scope).
arc(r_0009_0023__released, r_0009_0012__the_r_0009_0013__Grand_r_0009_0014__Seiko_r_0009_0015__9F_r_0009_0016__series, arg1).
arc(r_0009_0023__released, z_000_9_a_seiko_9r65_61, arg0).
fof(formula,axiom,
? [R_0009_0012__THE_R_0009_0013__GRAND_R_0009_0014__SEIKO_R_0009_0015__9F_R_0009_0016__SERIES,R_0009_0019__WORLD__HYPHEN__CLASS,R_0009_0020__QUARTZ_R_0009_0021__MOVEMENT,Z_000_9_A_SEIKO_9R65_43,R_0009_0017__EQUIPPED,R_0009_0007__OR_SO,R_0009_0005__DOZEN_R_0009_0006__YEARS,R_0009_0002__A_R_0009_0003__HIATUS,R_0009_0010__1993,Z_000_9_A_SEIKO_9R65_61,R_0009_0022__WAS_R_0009_0023__RELEASED] :
( r_0009_0007__or_so(R_0009_0007__OR_SO)
& r_0009_0010__1993(R_0009_0010__1993)
& r_0009_0012__the_r_0009_0013__Grand_r_0009_0014__Seiko_r_0009_0015__9F_r_0009_0016__series(R_0009_0012__THE_R_0009_0013__GRAND_R_0009_0014__SEIKO_R_0009_0015__9F_R_0009_0016__SERIES)
& r_0009_0019__world__hyphen__class(R_0009_0019__WORLD__HYPHEN__CLASS)
& z_000_9_a_seiko_9r65_43(Z_000_9_A_SEIKO_9R65_43)
& z_000_9_a_seiko_9r65_61(Z_000_9_A_SEIKO_9R65_61)
& r_0009_0022__was_r_0009_0023__released(R_0009_0022__WAS_R_0009_0023__RELEASED)
& has_arg0(R_0009_0022__WAS_R_0009_0023__RELEASED,Z_000_9_A_SEIKO_9R65_61)
& has_arg1(R_0009_0022__WAS_R_0009_0023__RELEASED,R_0009_0012__THE_R_0009_0013__GRAND_R_0009_0014__SEIKO_R_0009_0015__9F_R_0009_0016__SERIES)
& has_r_0009_0009__in_nim26(R_0009_0022__WAS_R_0009_0023__RELEASED,R_0009_0010__1993)
& has_r_0009_0001__After_nim5(R_0009_0022__WAS_R_0009_0023__RELEASED,R_0009_0002__A_R_0009_0003__HIATUS)
& r_0009_0002__a_r_0009_0003__hiatus(R_0009_0002__A_R_0009_0003__HIATUS)
& has_r_0009_0004__of(R_0009_0002__A_R_0009_0003__HIATUS,R_0009_0005__DOZEN_R_0009_0006__YEARS)
& r_0009_0005__dozen_r_0009_0006__years(R_0009_0005__DOZEN_R_0009_0006__YEARS)
& has_qual18(R_0009_0005__DOZEN_R_0009_0006__YEARS,R_0009_0007__OR_SO)
& r_0009_0017__equipped(R_0009_0017__EQUIPPED)
& has_arg0(R_0009_0017__EQUIPPED,Z_000_9_A_SEIKO_9R65_43)
& has_r_0009_0018__with_clr50(R_0009_0017__EQUIPPED,R_0009_0020__QUARTZ_R_0009_0021__MOVEMENT)
& r_0009_0020__quartz_r_0009_0021__movement(R_0009_0020__QUARTZ_R_0009_0021__MOVEMENT)
& has_attrib51(R_0009_0020__QUARTZ_R_0009_0021__MOVEMENT,R_0009_0019__WORLD__HYPHEN__CLASS)
& has_arg1(R_0009_0017__EQUIPPED,R_0009_0012__THE_R_0009_0013__GRAND_R_0009_0014__SEIKO_R_0009_0015__9F_R_0009_0016__SERIES) ) ).
( (IP-MAT (PP-NIM (P-ROLE After;{after})
(NP (D a;{a})
(N hiatus;{hiatus})
(PP (P-ROLE of;{of})
(NP (N dozen;{dozen})
(NS years;{year})
(ADVP (ADV or_so;{or_so}))))))
(PUNC ,)
(PP-NIM (P-ROLE in;{in})
(NP (NPR 1993)))
(PUNC ,)
(NP-SBJ (D the;{the})
(NPR Grand;{Grand})
(NPR Seiko;{Seiko})
(N 9F)
(N series;{series})
(IP-PPL (NP-LGS *)
(VVN;_Tn.pr_ equipped;{equip})
(PP-CLR (P-ROLE with;{with})
(NP (ADJP (ADJ world_<hyphen>_class;{world_class}))
(N quartz;{quartz})
(N movement;{movement})))))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ released;{release}))
(PUNC .))
(ID 9_a_seiko_9r65))