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.

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

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,qual).
arc(r_0009_0017__equipped_r_0009_0018__with,r_0009_0012__the_r_0009_0013__Grand_r_0009_0014__Seiko_r_0009_0015__9F_r_0009_0016__series,inv_arg1).
arc(r_0009_0017__equipped_r_0009_0018__with,r_0009_0020__quartz_r_0009_0021__movement,arg2).
arc(r_0009_0017__equipped_r_0009_0018__with,z_0009_5007___star_,arg0).
arc(r_0009_0020__quartz_r_0009_0021__movement,r_0009_0019__world__hyphen__class,attrib).
arc(r_0009_0022__was,r_0009_0002__a_r_0009_0003__hiatus,r_0009_0001__After__nim).
arc(r_0009_0022__was,r_0009_0010__1993,r_0009_0009__in__nim).
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_0009_5010___star_,arg0).

fof(formula,axiom,
    ? [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,R_0009_0019__WORLD__HYPHEN__CLASS,R_0009_0020__QUARTZ_R_0009_0021__MOVEMENT,Z_0009_5007___STAR_,R_0009_0017__EQUIPPED_R_0009_0018__WITH,R_0009_0012__THE_R_0009_0013__GRAND_R_0009_0014__SEIKO_R_0009_0015__9F_R_0009_0016__SERIES,Z_0009_5010___STAR_,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_0019__world__hyphen__class(R_0009_0019__WORLD__HYPHEN__CLASS)
      & z_0009_5007___star_(Z_0009_5007___STAR_)
      & z_0009_5010___star_(Z_0009_5010___STAR_)
      & 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_0009_5010___STAR_)
      & 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)
      & 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)
      & has_inv_arg1(R_0009_0012__THE_R_0009_0013__GRAND_R_0009_0014__SEIKO_R_0009_0015__9F_R_0009_0016__SERIES,R_0009_0017__EQUIPPED_R_0009_0018__WITH)
      & r_0009_0017__equipped_r_0009_0018__with(R_0009_0017__EQUIPPED_R_0009_0018__WITH)
      & has_arg0(R_0009_0017__EQUIPPED_R_0009_0018__WITH,Z_0009_5007___STAR_)
      & has_arg2(R_0009_0017__EQUIPPED_R_0009_0018__WITH,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_attrib(R_0009_0020__QUARTZ_R_0009_0021__MOVEMENT,R_0009_0019__WORLD__HYPHEN__CLASS)
      & has_r_0009_0009__in__nim(R_0009_0022__WAS_R_0009_0023__RELEASED,R_0009_0010__1993)
      & has_r_0009_0001__After__nim(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_qual(R_0009_0005__DOZEN_R_0009_0006__YEARS,R_0009_0007__OR_SO) ) ).