arc(r_0010_0004__the_r_0010_0005__9S_r_0010_0006__series_r_0010_0008__movement, r_0010_0007__mechanical, attrib17).
arc(r_0010_0009__that_r_0010_0010__combined, r_0010_0004__the_r_0010_0005__9S_r_0010_0006__series_r_0010_0008__movement, arg0).
arc(r_0010_0009__that_r_0010_0010__combined, r_0010_0013__and, arg1).
arc(r_0010_0012__craftsmanship, r_0010_0011__traditional, attrib32).
arc(r_0010_0013__and, r_0010_0012__craftsmanship, conj1).
arc(r_0010_0013__and, r_0010_0015__technology, conj2).
arc(r_0010_0015__technology, r_0010_0014__advanced, attrib41).
arc(r_0010_0016__was, r_0010_0002__1998, r_0010_0001__In_nim5).
arc(r_0010_0016__was, r_0010_0017__developed, scope).
arc(r_0010_0017__developed, r_0010_0004__the_r_0010_0005__9S_r_0010_0006__series_r_0010_0008__movement, arg1).
arc(r_0010_0017__developed, z_000_10_a_seiko_9r65_49, arg0).
arc(r_0010_0018__to_r_0010_0019__reintroduce, r_0010_0004__the_r_0010_0005__9S_r_0010_0006__series_r_0010_0008__movement, arg0).
arc(r_0010_0018__to_r_0010_0019__reintroduce, r_0010_0020__the_r_0010_0021__Grand_r_0010_0022__Seiko_r_0010_0024__caliber, arg1).
arc(r_0010_0020__the_r_0010_0021__Grand_r_0010_0022__Seiko_r_0010_0024__caliber, r_0010_0023__mechanical, attrib66).
arc(z_000_10_a_seiko_9r65_53, r_0010_0016__was, scope).
arc(z_000_10_a_seiko_9r65_53, r_0010_0018__to_r_0010_0019__reintroduce, restriction).

fof(formula,axiom,
    ? [R_0010_0007__MECHANICAL,R_0010_0004__THE_R_0010_0005__9S_R_0010_0006__SERIES_R_0010_0008__MOVEMENT,R_0010_0011__TRADITIONAL,R_0010_0012__CRAFTSMANSHIP,R_0010_0014__ADVANCED,R_0010_0015__TECHNOLOGY,R_0010_0013__AND,R_0010_0009__THAT_R_0010_0010__COMBINED,R_0010_0002__1998,Z_000_10_A_SEIKO_9R65_49,R_0010_0016__WAS_R_0010_0017__DEVELOPED,R_0010_0023__MECHANICAL,R_0010_0020__THE_R_0010_0021__GRAND_R_0010_0022__SEIKO_R_0010_0024__CALIBER,R_0010_0018__TO_R_0010_0019__REINTRODUCE,Z_000_10_A_SEIKO_9R65_53] :
      ( r_0010_0002__1998(R_0010_0002__1998)
      & r_0010_0007__mechanical(R_0010_0007__MECHANICAL)
      & r_0010_0011__traditional(R_0010_0011__TRADITIONAL)
      & r_0010_0014__advanced(R_0010_0014__ADVANCED)
      & r_0010_0023__mechanical(R_0010_0023__MECHANICAL)
      & z_000_10_a_seiko_9r65_49(Z_000_10_A_SEIKO_9R65_49)
      & z_000_10_a_seiko_9r65_53(Z_000_10_A_SEIKO_9R65_53)
      & has_conj1(Z_000_10_A_SEIKO_9R65_53,R_0010_0018__TO_R_0010_0019__REINTRODUCE)
      & r_0010_0018__to_r_0010_0019__reintroduce(R_0010_0018__TO_R_0010_0019__REINTRODUCE)
      & has_arg1(R_0010_0018__TO_R_0010_0019__REINTRODUCE,R_0010_0020__THE_R_0010_0021__GRAND_R_0010_0022__SEIKO_R_0010_0024__CALIBER)
      & r_0010_0020__the_r_0010_0021__Grand_r_0010_0022__Seiko_r_0010_0024__caliber(R_0010_0020__THE_R_0010_0021__GRAND_R_0010_0022__SEIKO_R_0010_0024__CALIBER)
      & has_attrib66(R_0010_0020__THE_R_0010_0021__GRAND_R_0010_0022__SEIKO_R_0010_0024__CALIBER,R_0010_0023__MECHANICAL)
      & has_arg0(R_0010_0018__TO_R_0010_0019__REINTRODUCE,R_0010_0004__THE_R_0010_0005__9S_R_0010_0006__SERIES_R_0010_0008__MOVEMENT)
      & r_0010_0004__the_r_0010_0005__9S_r_0010_0006__series_r_0010_0008__movement(R_0010_0004__THE_R_0010_0005__9S_R_0010_0006__SERIES_R_0010_0008__MOVEMENT)
      & has_attrib17(R_0010_0004__THE_R_0010_0005__9S_R_0010_0006__SERIES_R_0010_0008__MOVEMENT,R_0010_0007__MECHANICAL)
      & has_conj2(Z_000_10_A_SEIKO_9R65_53,R_0010_0016__WAS_R_0010_0017__DEVELOPED)
      & r_0010_0016__was_r_0010_0017__developed(R_0010_0016__WAS_R_0010_0017__DEVELOPED)
      & has_arg0(R_0010_0016__WAS_R_0010_0017__DEVELOPED,Z_000_10_A_SEIKO_9R65_49)
      & has_arg1(R_0010_0016__WAS_R_0010_0017__DEVELOPED,R_0010_0004__THE_R_0010_0005__9S_R_0010_0006__SERIES_R_0010_0008__MOVEMENT)
      & has_r_0010_0001__In_nim5(R_0010_0016__WAS_R_0010_0017__DEVELOPED,R_0010_0002__1998)
      & r_0010_0009__that_r_0010_0010__combined(R_0010_0009__THAT_R_0010_0010__COMBINED)
      & has_arg1(R_0010_0009__THAT_R_0010_0010__COMBINED,R_0010_0013__AND)
      & r_0010_0013__and(R_0010_0013__AND)
      & has_conj2(R_0010_0013__AND,R_0010_0015__TECHNOLOGY)
      & r_0010_0015__technology(R_0010_0015__TECHNOLOGY)
      & has_attrib41(R_0010_0015__TECHNOLOGY,R_0010_0014__ADVANCED)
      & has_conj1(R_0010_0013__AND,R_0010_0012__CRAFTSMANSHIP)
      & r_0010_0012__craftsmanship(R_0010_0012__CRAFTSMANSHIP)
      & has_attrib32(R_0010_0012__CRAFTSMANSHIP,R_0010_0011__TRADITIONAL)
      & has_arg0(R_0010_0009__THAT_R_0010_0010__COMBINED,R_0010_0004__THE_R_0010_0005__9S_R_0010_0006__SERIES_R_0010_0008__MOVEMENT) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR 1998)))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N 9S)
                  (N series;{series})
                  (ADJP (ADJ mechanical;{mechanical}))
                  (N movement;{movement})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (VBD;_Tn_ combined;{combine})
                          (NP-OB1 (NLYR (NLYR (ADJP (ADJ traditional;{traditional}))
                                              (N craftsmanship;{craftsmanship}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (ADJP (ADJ advanced;{advanced}))
                                                     (N technology;{technology})))))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ developed;{develop}))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ reintroduce;{reintroduce})
                           (NP-OB1 (D the;{the})
                                   (NPR Grand;{Grand})
                                   (NPR Seiko;{Seiko})
                                   (ADJP (ADJ mechanical;{mechanical}))
                                   (N caliber;{caliber}))))
          (PUNC .))
  (ID 10_a_seiko_9r65))