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.

%3 r_0009_0002__a_r_0009_0003__hiatus a hiatus r_0009_0005__dozen_r_0009_0006__years dozen years r_0009_0002__a_r_0009_0003__hiatus->r_0009_0005__dozen_r_0009_0006__years of r_0009_0007__or_so or so r_0009_0005__dozen_r_0009_0006__years->r_0009_0007__or_so [qual] r_0009_0017__equipped equipped r_0009_0012__the_r_0009_0013__Grand_r_0009_0014__Seiko_r_0009_0015__9F_r_0009_0016__series the Grand Seiko 9F series 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] r_0009_0020__quartz_r_0009_0021__movement quartz movement r_0009_0017__equipped->r_0009_0020__quartz_r_0009_0021__movement with [clr] z_000_9_a_seiko_9r65_43 r_0009_0017__equipped->z_000_9_a_seiko_9r65_43 [arg0] r_0009_0019__world__hyphen__class world-class r_0009_0020__quartz_r_0009_0021__movement->r_0009_0019__world__hyphen__class [attrib] r_0009_0022__was was r_0009_0022__was->r_0009_0002__a_r_0009_0003__hiatus After [nim] r_0009_0010__1993 1993 r_0009_0022__was->r_0009_0010__1993 in [nim] r_0009_0023__released released r_0009_0022__was->r_0009_0023__released [scope] 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] z_000_9_a_seiko_9r65_61 r_0009_0023__released->z_000_9_a_seiko_9r65_61 [arg0]
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).



%3 r_0009_0002__a_r_0009_0003__hiatus a hiatus r_0009_0005__dozen_r_0009_0006__years dozen years r_0009_0002__a_r_0009_0003__hiatus->r_0009_0005__dozen_r_0009_0006__years of r_0009_0007__or_so or so r_0009_0005__dozen_r_0009_0006__years->r_0009_0007__or_so [qual] r_0009_0017__equipped equipped r_0009_0012__the_r_0009_0013__Grand_r_0009_0014__Seiko_r_0009_0015__9F_r_0009_0016__series the Grand Seiko 9F series 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] r_0009_0020__quartz_r_0009_0021__movement quartz movement r_0009_0017__equipped->r_0009_0020__quartz_r_0009_0021__movement with [clr] z_000_9_a_seiko_9r65_43 r_0009_0017__equipped->z_000_9_a_seiko_9r65_43 [arg0] r_0009_0019__world__hyphen__class world-class r_0009_0020__quartz_r_0009_0021__movement->r_0009_0019__world__hyphen__class [attrib] r_0009_0022__was_r_0009_0023__released was released r_0009_0022__was_r_0009_0023__released->r_0009_0002__a_r_0009_0003__hiatus After [nim] 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 [arg1] r_0009_0010__1993 1993 r_0009_0022__was_r_0009_0023__released->r_0009_0010__1993 in [nim] z_000_9_a_seiko_9r65_61 r_0009_0022__was_r_0009_0023__released->z_000_9_a_seiko_9r65_61 [arg0]
fof(formula,axiom,
    ? [R_9_17_EQUIPPED,Z_9_A_SEIKO_9R65_43,R_9_20_QUARTZ_MOVEMENT,R_9_19_WORLD_HYPHEN_CLASS,R_9_22_WAS_RELEASED,Z_9_A_SEIKO_9R65_61,R_9_12_THE_GRAND_SEIKO_9F_SERIES,R_9_2_A_HIATUS,R_9_5_DOZEN_YEARS,R_9_7_OR_SO,R_9_10_1993] :
      ( world_hyphen_class(R_9_19_WORLD_HYPHEN_CLASS)
      & the_Grand_Seiko_9F_series(R_9_12_THE_GRAND_SEIKO_9F_SERIES)
      & or_so(R_9_7_OR_SO)
      & 1993(R_9_10_1993)
      & equipped(R_9_17_EQUIPPED,Z_9_A_SEIKO_9R65_43,R_9_12_THE_GRAND_SEIKO_9F_SERIES)
      & with_clr50(R_9_17_EQUIPPED,R_9_20_QUARTZ_MOVEMENT)
      & quartz_movement(R_9_20_QUARTZ_MOVEMENT)
      & attrib51(R_9_20_QUARTZ_MOVEMENT,R_9_19_WORLD_HYPHEN_CLASS)
      & was_released(R_9_22_WAS_RELEASED,Z_9_A_SEIKO_9R65_61,R_9_12_THE_GRAND_SEIKO_9F_SERIES)
      & after_nim5(R_9_22_WAS_RELEASED,R_9_2_A_HIATUS)
      & a_hiatus(R_9_2_A_HIATUS)
      & of(R_9_2_A_HIATUS,R_9_5_DOZEN_YEARS)
      & dozen_years(R_9_5_DOZEN_YEARS)
      & qual18(R_9_5_DOZEN_YEARS,R_9_7_OR_SO)
      & in_nim26(R_9_22_WAS_RELEASED,R_9_10_1993) ) ).



n9_a_seiko_9r65 n9_a_seiko_9r65_4 After n9_a_seiko_9r65_7 a n9_a_seiko_9r65_9 hiatus n9_a_seiko_9r65_12 of n9_a_seiko_9r65_15 dozen n9_a_seiko_9r65_17 years n9_a_seiko_9r65_20 or_so n9_a_seiko_9r65_22 , n9_a_seiko_9r65_25 in n9_a_seiko_9r65_28 1993 n9_a_seiko_9r65_30 , n9_a_seiko_9r65_33 the n9_a_seiko_9r65_35 Grand n9_a_seiko_9r65_37 Seiko n9_a_seiko_9r65_39 9F n9_a_seiko_9r65_41 series n9_a_seiko_9r65_44 * n9_a_seiko_9r65_46 equipped n9_a_seiko_9r65_49 with n9_a_seiko_9r65_53 world-class n9_a_seiko_9r65_55 quartz n9_a_seiko_9r65_57 movement n9_a_seiko_9r65_59 was n9_a_seiko_9r65_62 * n9_a_seiko_9r65_64 released n9_a_seiko_9r65_66 . n9_a_seiko_9r65_1 IP-MAT n9_a_seiko_9r65_2 PP-NIM n9_a_seiko_9r65_1->n9_a_seiko_9r65_2 n9_a_seiko_9r65_21 PUNC n9_a_seiko_9r65_1->n9_a_seiko_9r65_21 n9_a_seiko_9r65_23 PP-NIM n9_a_seiko_9r65_1->n9_a_seiko_9r65_23 n9_a_seiko_9r65_29 PUNC n9_a_seiko_9r65_1->n9_a_seiko_9r65_29 n9_a_seiko_9r65_31 NP-SBJ n9_a_seiko_9r65_1->n9_a_seiko_9r65_31 n9_a_seiko_9r65_58 BED;_cat_VePASS_ n9_a_seiko_9r65_1->n9_a_seiko_9r65_58 n9_a_seiko_9r65_60 IP-PPL-CAT n9_a_seiko_9r65_1->n9_a_seiko_9r65_60 n9_a_seiko_9r65_65 PUNC n9_a_seiko_9r65_1->n9_a_seiko_9r65_65 n9_a_seiko_9r65_3 P-ROLE n9_a_seiko_9r65_2->n9_a_seiko_9r65_3 n9_a_seiko_9r65_5 NP n9_a_seiko_9r65_2->n9_a_seiko_9r65_5 n9_a_seiko_9r65_3->n9_a_seiko_9r65_4 n9_a_seiko_9r65_6 D n9_a_seiko_9r65_5->n9_a_seiko_9r65_6 n9_a_seiko_9r65_8 N n9_a_seiko_9r65_5->n9_a_seiko_9r65_8 n9_a_seiko_9r65_10 PP n9_a_seiko_9r65_5->n9_a_seiko_9r65_10 n9_a_seiko_9r65_6->n9_a_seiko_9r65_7 n9_a_seiko_9r65_8->n9_a_seiko_9r65_9 n9_a_seiko_9r65_11 P-ROLE n9_a_seiko_9r65_10->n9_a_seiko_9r65_11 n9_a_seiko_9r65_13 NP n9_a_seiko_9r65_10->n9_a_seiko_9r65_13 n9_a_seiko_9r65_11->n9_a_seiko_9r65_12 n9_a_seiko_9r65_14 N n9_a_seiko_9r65_13->n9_a_seiko_9r65_14 n9_a_seiko_9r65_16 NS n9_a_seiko_9r65_13->n9_a_seiko_9r65_16 n9_a_seiko_9r65_18 ADVP n9_a_seiko_9r65_13->n9_a_seiko_9r65_18 n9_a_seiko_9r65_14->n9_a_seiko_9r65_15 n9_a_seiko_9r65_16->n9_a_seiko_9r65_17 n9_a_seiko_9r65_19 ADV n9_a_seiko_9r65_18->n9_a_seiko_9r65_19 n9_a_seiko_9r65_19->n9_a_seiko_9r65_20 n9_a_seiko_9r65_21->n9_a_seiko_9r65_22 n9_a_seiko_9r65_24 P-ROLE n9_a_seiko_9r65_23->n9_a_seiko_9r65_24 n9_a_seiko_9r65_26 NP n9_a_seiko_9r65_23->n9_a_seiko_9r65_26 n9_a_seiko_9r65_24->n9_a_seiko_9r65_25 n9_a_seiko_9r65_27 NPR n9_a_seiko_9r65_26->n9_a_seiko_9r65_27 n9_a_seiko_9r65_27->n9_a_seiko_9r65_28 n9_a_seiko_9r65_29->n9_a_seiko_9r65_30 n9_a_seiko_9r65_32 D n9_a_seiko_9r65_31->n9_a_seiko_9r65_32 n9_a_seiko_9r65_34 NPR n9_a_seiko_9r65_31->n9_a_seiko_9r65_34 n9_a_seiko_9r65_36 NPR n9_a_seiko_9r65_31->n9_a_seiko_9r65_36 n9_a_seiko_9r65_38 N n9_a_seiko_9r65_31->n9_a_seiko_9r65_38 n9_a_seiko_9r65_40 N n9_a_seiko_9r65_31->n9_a_seiko_9r65_40 n9_a_seiko_9r65_42 IP-PPL n9_a_seiko_9r65_31->n9_a_seiko_9r65_42 n9_a_seiko_9r65_32->n9_a_seiko_9r65_33 n9_a_seiko_9r65_34->n9_a_seiko_9r65_35 n9_a_seiko_9r65_36->n9_a_seiko_9r65_37 n9_a_seiko_9r65_38->n9_a_seiko_9r65_39 n9_a_seiko_9r65_40->n9_a_seiko_9r65_41 n9_a_seiko_9r65_43 NP-LGS n9_a_seiko_9r65_42->n9_a_seiko_9r65_43 n9_a_seiko_9r65_45 VVN;_Tn.pr_ n9_a_seiko_9r65_42->n9_a_seiko_9r65_45 n9_a_seiko_9r65_47 PP-CLR n9_a_seiko_9r65_42->n9_a_seiko_9r65_47 n9_a_seiko_9r65_43->n9_a_seiko_9r65_44 n9_a_seiko_9r65_45->n9_a_seiko_9r65_46 n9_a_seiko_9r65_48 P-ROLE n9_a_seiko_9r65_47->n9_a_seiko_9r65_48 n9_a_seiko_9r65_50 NP n9_a_seiko_9r65_47->n9_a_seiko_9r65_50 n9_a_seiko_9r65_48->n9_a_seiko_9r65_49 n9_a_seiko_9r65_51 ADJP n9_a_seiko_9r65_50->n9_a_seiko_9r65_51 n9_a_seiko_9r65_54 N n9_a_seiko_9r65_50->n9_a_seiko_9r65_54 n9_a_seiko_9r65_56 N n9_a_seiko_9r65_50->n9_a_seiko_9r65_56 n9_a_seiko_9r65_52 ADJ n9_a_seiko_9r65_51->n9_a_seiko_9r65_52 n9_a_seiko_9r65_52->n9_a_seiko_9r65_53 n9_a_seiko_9r65_54->n9_a_seiko_9r65_55 n9_a_seiko_9r65_56->n9_a_seiko_9r65_57 n9_a_seiko_9r65_58->n9_a_seiko_9r65_59 n9_a_seiko_9r65_61 NP-LGS n9_a_seiko_9r65_60->n9_a_seiko_9r65_61 n9_a_seiko_9r65_63 VVN;_Tn_ n9_a_seiko_9r65_60->n9_a_seiko_9r65_63 n9_a_seiko_9r65_61->n9_a_seiko_9r65_62 n9_a_seiko_9r65_63->n9_a_seiko_9r65_64 n9_a_seiko_9r65_65->n9_a_seiko_9r65_66
( (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))