TSPC 2_a_seiko

2_a_seiko_9r65
The Spring Drive is Seiko's unique mechanism in which the mainspring is wound by the natural motions of the user and accuracy is controlled by a microelectronics quartz mechanism while using the unwinding power of the mainspring to move the hands.

arc(r_0002_0004__is, r_0002_0001__The_r_0002_0002__Spring_r_0002_0003__Drive, arg0).
arc(r_0002_0004__is, r_0002_0008__mechanism, prd).
arc(r_0002_0008__mechanism, r_0002_0005__Seiko_r_0002_0006___apos_s, gen).
arc(r_0002_0008__mechanism, r_0002_0007__unique, attrib17).
arc(r_0002_0013__is, r_0002_0008__mechanism, r_0002_0009__in_nim26).
arc(r_0002_0013__is, r_0002_0014__wound, scope).
arc(r_0002_0014__wound, r_0002_0011__the_r_0002_0012__mainspring, arg1).
arc(r_0002_0014__wound, r_0002_0016__the_r_0002_0018__motions, arg0).
arc(r_0002_0016__the_r_0002_0018__motions, r_0002_0017__natural, attrib47).
arc(r_0002_0016__the_r_0002_0018__motions, r_0002_0020__the_r_0002_0021__user, r_0002_0019__of).
arc(r_0002_0022__and, r_0002_0013__is, conj1).
arc(r_0002_0022__and, r_0002_0031__while, conj2).
arc(r_0002_0024__is, r_0002_0008__mechanism, r_0002_0009__in_nim26).
arc(r_0002_0024__is, r_0002_0025__controlled, scope).
arc(r_0002_0025__controlled, r_0002_0023__accuracy, arg1).
arc(r_0002_0025__controlled, r_0002_0027__a_r_0002_0028__microelectronics_r_0002_0029__quartz_r_0002_0030__mechanism, arg0).
arc(r_0002_0031__while, r_0002_0024__is, scope).
arc(r_0002_0031__while, r_0002_0032__using, restriction).
arc(r_0002_0032__using, r_0002_0039__to_r_0002_0040__move, arg1).
arc(r_0002_0032__using, z_000_2_a_seiko_9r65_87, arg0).
arc(r_0002_0033__the_r_0002_0035__power, r_0002_0034__unwinding, attrib93).
arc(r_0002_0033__the_r_0002_0035__power, r_0002_0037__the_r_0002_0038__mainspring, r_0002_0036__of).
arc(r_0002_0039__to_r_0002_0040__move, r_0002_0033__the_r_0002_0035__power, arg0).
arc(r_0002_0039__to_r_0002_0040__move, r_0002_0041__the_r_0002_0042__hands, arg1).

fof(formula,axiom,
    ? [R_0002_0001__THE_R_0002_0002__SPRING_R_0002_0003__DRIVE,R_0002_0005__SEIKO_R_0002_0006___APOS_S,R_0002_0007__UNIQUE,R_0002_0008__MECHANISM,R_0002_0004__IS,R_0002_0011__THE_R_0002_0012__MAINSPRING,R_0002_0017__NATURAL,R_0002_0020__THE_R_0002_0021__USER,R_0002_0016__THE_R_0002_0018__MOTIONS,R_0002_0013__IS_R_0002_0014__WOUND,R_0002_0023__ACCURACY,R_0002_0027__A_R_0002_0028__MICROELECTRONICS_R_0002_0029__QUARTZ_R_0002_0030__MECHANISM,R_0002_0024__IS_R_0002_0025__CONTROLLED,R_0002_0034__UNWINDING,R_0002_0037__THE_R_0002_0038__MAINSPRING,R_0002_0033__THE_R_0002_0035__POWER,R_0002_0041__THE_R_0002_0042__HANDS,R_0002_0039__TO_R_0002_0040__MOVE,Z_000_2_A_SEIKO_9R65_87,R_0002_0032__USING,R_0002_0031__WHILE,R_0002_0022__AND] :
      ( r_0002_0001__The_r_0002_0002__Spring_r_0002_0003__Drive(R_0002_0001__THE_R_0002_0002__SPRING_R_0002_0003__DRIVE)
      & r_0002_0005__Seiko_r_0002_0006___apos_s(R_0002_0005__SEIKO_R_0002_0006___APOS_S)
      & r_0002_0007__unique(R_0002_0007__UNIQUE)
      & r_0002_0011__the_r_0002_0012__mainspring(R_0002_0011__THE_R_0002_0012__MAINSPRING)
      & r_0002_0017__natural(R_0002_0017__NATURAL)
      & r_0002_0020__the_r_0002_0021__user(R_0002_0020__THE_R_0002_0021__USER)
      & r_0002_0023__accuracy(R_0002_0023__ACCURACY)
      & r_0002_0027__a_r_0002_0028__microelectronics_r_0002_0029__quartz_r_0002_0030__mechanism(R_0002_0027__A_R_0002_0028__MICROELECTRONICS_R_0002_0029__QUARTZ_R_0002_0030__MECHANISM)
      & r_0002_0034__unwinding(R_0002_0034__UNWINDING)
      & r_0002_0037__the_r_0002_0038__mainspring(R_0002_0037__THE_R_0002_0038__MAINSPRING)
      & r_0002_0041__the_r_0002_0042__hands(R_0002_0041__THE_R_0002_0042__HANDS)
      & z_000_2_a_seiko_9r65_87(Z_000_2_A_SEIKO_9R65_87)
      & r_0002_0022__and(R_0002_0022__AND)
      & has_conj2(R_0002_0022__AND,R_0002_0031__WHILE)
      & r_0002_0031__while(R_0002_0031__WHILE)
      & has_conj1(R_0002_0031__WHILE,R_0002_0032__USING)
      & r_0002_0032__using(R_0002_0032__USING)
      & has_arg0(R_0002_0032__USING,Z_000_2_A_SEIKO_9R65_87)
      & has_arg1(R_0002_0032__USING,R_0002_0039__TO_R_0002_0040__MOVE)
      & r_0002_0039__to_r_0002_0040__move(R_0002_0039__TO_R_0002_0040__MOVE)
      & has_arg1(R_0002_0039__TO_R_0002_0040__MOVE,R_0002_0041__THE_R_0002_0042__HANDS)
      & has_arg0(R_0002_0039__TO_R_0002_0040__MOVE,R_0002_0033__THE_R_0002_0035__POWER)
      & r_0002_0033__the_r_0002_0035__power(R_0002_0033__THE_R_0002_0035__POWER)
      & has_r_0002_0036__of(R_0002_0033__THE_R_0002_0035__POWER,R_0002_0037__THE_R_0002_0038__MAINSPRING)
      & has_attrib93(R_0002_0033__THE_R_0002_0035__POWER,R_0002_0034__UNWINDING)
      & has_conj2(R_0002_0031__WHILE,R_0002_0024__IS_R_0002_0025__CONTROLLED)
      & r_0002_0024__is_r_0002_0025__controlled(R_0002_0024__IS_R_0002_0025__CONTROLLED)
      & has_arg0(R_0002_0024__IS_R_0002_0025__CONTROLLED,R_0002_0027__A_R_0002_0028__MICROELECTRONICS_R_0002_0029__QUARTZ_R_0002_0030__MECHANISM)
      & has_arg1(R_0002_0024__IS_R_0002_0025__CONTROLLED,R_0002_0023__ACCURACY)
      & has_r_0002_0009__in_nim26(R_0002_0024__IS_R_0002_0025__CONTROLLED,R_0002_0008__MECHANISM)
      & r_0002_0008__mechanism(R_0002_0008__MECHANISM)
      & has_attrib17(R_0002_0008__MECHANISM,R_0002_0007__UNIQUE)
      & has_gen(R_0002_0008__MECHANISM,R_0002_0005__SEIKO_R_0002_0006___APOS_S)
      & has_conj1(R_0002_0022__AND,R_0002_0013__IS_R_0002_0014__WOUND)
      & r_0002_0013__is_r_0002_0014__wound(R_0002_0013__IS_R_0002_0014__WOUND)
      & has_arg0(R_0002_0013__IS_R_0002_0014__WOUND,R_0002_0016__THE_R_0002_0018__MOTIONS)
      & r_0002_0016__the_r_0002_0018__motions(R_0002_0016__THE_R_0002_0018__MOTIONS)
      & has_r_0002_0019__of(R_0002_0016__THE_R_0002_0018__MOTIONS,R_0002_0020__THE_R_0002_0021__USER)
      & has_attrib47(R_0002_0016__THE_R_0002_0018__MOTIONS,R_0002_0017__NATURAL)
      & has_arg1(R_0002_0013__IS_R_0002_0014__WOUND,R_0002_0011__THE_R_0002_0012__MAINSPRING)
      & has_r_0002_0009__in_nim26(R_0002_0013__IS_R_0002_0014__WOUND,R_0002_0008__MECHANISM)
      & r_0002_0004__is(R_0002_0004__IS)
      & has_prd(R_0002_0004__IS,R_0002_0008__MECHANISM)
      & has_arg0(R_0002_0004__IS,R_0002_0001__THE_R_0002_0002__SPRING_R_0002_0003__DRIVE) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR Spring;{Spring})
                  (NPR Drive;{Drive}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NP-GEN (NPR Seiko;{Seiko})
                          (GENM <apos>s))
                  (ADJP (ADJ unique;{unique}))
                  (N mechanism;{mechanism})
                  (IP-REL (PP-NIM (P-ROLE in;{in})
                                  (NP (RPRO which;{which})))
                          (ILYR (ILYR (NP-SBJ (D the;{the})
                                              (N mainspring;{mainspring}))
                                      (BEP;_cat_VePASS_ is;{be})
                                      (IP-PPL-CAT (VVN;_Tn_ wound;{wind})
                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                          (NP (D the;{the})
                                                              (ADJP (ADJ natural;{natural}))
                                                              (NS motions;{motion})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (D the;{the})
                                                                      (N user;{user})))))))
                                (CONJP (CONJ and;{and})
                                       (ILYR (NP-SBJ (N accuracy;{accuracy}))
                                             (BEP;_cat_VePASS_ is;{be})
                                             (IP-PPL-CAT (VVN;_Tn_ controlled;{control})
                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                 (NP (D a;{a})
                                                                     (NS microelectronics;{microelectronics})
                                                                     (N quartz;{quartz})
                                                                     (N mechanism;{mechanism}))))
                                             (PP-SCON (P-CONN while;{while})
                                                      (IP-PPL3 (VAG;_Tnt_ using;{use})
                                                               (NP-DOB1 (D the;{the})
                                                                        (ADJP (ADJ unwinding;{unwinding}))
                                                                        (N power;{power})
                                                                        (PP (P-ROLE of;{of})
                                                                            (NP (D the;{the})
                                                                                (N mainspring;{mainspring}))))
                                                               (IP-INF-OB1 (TO to;{to})
                                                                           (VB;_Tn_ move;{move})
                                                                           (NP-OB1 (D the;{the})
                                                                                   (NS hands;{hand}))))))))))
          (PUNC .))
  (ID 2_a_seiko_9r65))