TSPC 9_a_seiko

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_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) ) ).

( (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))