TSPC 11_a_seiko

11_a_seiko_9r65
While using the unwinding power of the mainspring as its sole power source, the new mechanism Spring Drive realizes an average monthly rate of <plusmn> 15 seconds (For Cal. 9R96, 9R16 and 9R15, <plusmn> 10 seconds), substantially exceeding the accuracy of conventional mechanical watches.

arc(r_0011_0001__While, r_0011_0002__using, restriction).
arc(r_0011_0001__While, r_0011_0020__realizes, scope).
arc(r_0011_0002__using, r_0011_0003__the_r_0011_0005__power, arg1).
arc(r_0011_0002__using, r_0011_0012__power_r_0011_0013__source, r_0011_0009__as_nim27).
arc(r_0011_0002__using, r_0011_0015__the_r_0011_0017__mechanism, arg0).
arc(r_0011_0003__the_r_0011_0005__power, r_0011_0007__the_r_0011_0008__mainspring, r_0011_0006__of).
arc(r_0011_0004__unwinding, r_0011_0003__the_r_0011_0005__power, arg0).
arc(r_0011_0012__power_r_0011_0013__source, r_0011_0011__sole, attrib31).
arc(r_0011_0012__power_r_0011_0013__source, r_0011_0015__the_r_0011_0017__mechanism, gen).
arc(r_0011_0015__the_r_0011_0017__mechanism, r_0011_0016__new, attrib43).
arc(r_0011_0020__realizes, r_0011_0015__the_r_0011_0017__mechanism, arg0).
arc(r_0011_0020__realizes, r_0011_0021__an_r_0011_0024__rate, arg1).
arc(r_0011_0021__an_r_0011_0024__rate, r_0011_0022__average, attrib59).
arc(r_0011_0021__an_r_0011_0024__rate, r_0011_0023__monthly, attrib62).
arc(r_0011_0021__an_r_0011_0024__rate, r_0011_0026___plusmn__r_0011_0027__15_r_0011_0028__seconds, r_0011_0025__of).
arc(r_0011_0035__and, r_0011_0032__9R96, conj1).
arc(r_0011_0035__and, r_0011_0034__9R16, conj2).
arc(r_0011_0035__and, r_0011_0036__9R15, conj3).
arc(r_0011_0038___plusmn__r_0011_0039__10_r_0011_0040__seconds, r_0011_0035__and, r_0011_0030__For).
arc(r_0011_0044__exceeding, r_0011_0026___plusmn__r_0011_0027__15_r_0011_0028__seconds, arg0).
arc(r_0011_0044__exceeding, r_0011_0043__substantially, nim116).
arc(r_0011_0044__exceeding, r_0011_0045__the_r_0011_0046__accuracy, arg1).
arc(r_0011_0045__the_r_0011_0046__accuracy, r_0011_0050__watches, r_0011_0047__of).
arc(r_0011_0050__watches, r_0011_0048__conventional, attrib130).
arc(r_0011_0050__watches, r_0011_0049__mechanical, attrib133).
arc(z_000_11_a_seiko_9r65_48, r_0011_0015__the_r_0011_0017__mechanism, arg0).
arc(z_000_11_a_seiko_9r65_48, r_0011_0018__Spring_r_0011_0019__Drive, prd).
arc(z_000_11_a_seiko_9r65_79, r_0011_0026___plusmn__r_0011_0027__15_r_0011_0028__seconds, arg0).
arc(z_000_11_a_seiko_9r65_79, r_0011_0038___plusmn__r_0011_0039__10_r_0011_0040__seconds, prd).

fof(formula,axiom,
    ? [R_0011_0007__THE_R_0011_0008__MAINSPRING,R_0011_0003__THE_R_0011_0005__POWER,R_0011_0011__SOLE,R_0011_0016__NEW,R_0011_0015__THE_R_0011_0017__MECHANISM,R_0011_0012__POWER_R_0011_0013__SOURCE,R_0011_0002__USING,R_0011_0022__AVERAGE,R_0011_0023__MONTHLY,R_0011_0026___PLUSMN__R_0011_0027__15_R_0011_0028__SECONDS,R_0011_0021__AN_R_0011_0024__RATE,R_0011_0020__REALIZES,R_0011_0001__WHILE,R_0011_0004__UNWINDING,R_0011_0043__SUBSTANTIALLY,R_0011_0048__CONVENTIONAL,R_0011_0049__MECHANICAL,R_0011_0050__WATCHES,R_0011_0045__THE_R_0011_0046__ACCURACY,R_0011_0044__EXCEEDING,R_0011_0018__SPRING_R_0011_0019__DRIVE,Z_000_11_A_SEIKO_9R65_48,R_0011_0032__9R96,R_0011_0034__9R16,R_0011_0036__9R15,R_0011_0035__AND,R_0011_0038___PLUSMN__R_0011_0039__10_R_0011_0040__SECONDS,Z_000_11_A_SEIKO_9R65_79] :
      ( r_0011_0007__the_r_0011_0008__mainspring(R_0011_0007__THE_R_0011_0008__MAINSPRING)
      & r_0011_0011__sole(R_0011_0011__SOLE)
      & r_0011_0016__new(R_0011_0016__NEW)
      & r_0011_0018__Spring_r_0011_0019__Drive(R_0011_0018__SPRING_R_0011_0019__DRIVE)
      & r_0011_0022__average(R_0011_0022__AVERAGE)
      & r_0011_0023__monthly(R_0011_0023__MONTHLY)
      & r_0011_0026___plusmn__r_0011_0027__15_r_0011_0028__seconds(R_0011_0026___PLUSMN__R_0011_0027__15_R_0011_0028__SECONDS)
      & r_0011_0032__9R96(R_0011_0032__9R96)
      & r_0011_0034__9R16(R_0011_0034__9R16)
      & r_0011_0036__9R15(R_0011_0036__9R15)
      & r_0011_0043__substantially(R_0011_0043__SUBSTANTIALLY)
      & r_0011_0048__conventional(R_0011_0048__CONVENTIONAL)
      & r_0011_0049__mechanical(R_0011_0049__MECHANICAL)
      & z_000_11_a_seiko_9r65_79(Z_000_11_A_SEIKO_9R65_79)
      & has_prd(Z_000_11_A_SEIKO_9R65_79,R_0011_0038___PLUSMN__R_0011_0039__10_R_0011_0040__SECONDS)
      & r_0011_0038___plusmn__r_0011_0039__10_r_0011_0040__seconds(R_0011_0038___PLUSMN__R_0011_0039__10_R_0011_0040__SECONDS)
      & has_r_0011_0030__For(R_0011_0038___PLUSMN__R_0011_0039__10_R_0011_0040__SECONDS,R_0011_0035__AND)
      & r_0011_0035__and(R_0011_0035__AND)
      & has_conj3(R_0011_0035__AND,R_0011_0036__9R15)
      & has_conj2(R_0011_0035__AND,R_0011_0034__9R16)
      & has_conj1(R_0011_0035__AND,R_0011_0032__9R96)
      & has_arg0(Z_000_11_A_SEIKO_9R65_79,R_0011_0026___PLUSMN__R_0011_0027__15_R_0011_0028__SECONDS)
      & z_000_11_a_seiko_9r65_48(Z_000_11_A_SEIKO_9R65_48)
      & has_prd(Z_000_11_A_SEIKO_9R65_48,R_0011_0018__SPRING_R_0011_0019__DRIVE)
      & has_arg0(Z_000_11_A_SEIKO_9R65_48,R_0011_0015__THE_R_0011_0017__MECHANISM)
      & r_0011_0015__the_r_0011_0017__mechanism(R_0011_0015__THE_R_0011_0017__MECHANISM)
      & has_attrib43(R_0011_0015__THE_R_0011_0017__MECHANISM,R_0011_0016__NEW)
      & r_0011_0044__exceeding(R_0011_0044__EXCEEDING)
      & has_arg1(R_0011_0044__EXCEEDING,R_0011_0045__THE_R_0011_0046__ACCURACY)
      & r_0011_0045__the_r_0011_0046__accuracy(R_0011_0045__THE_R_0011_0046__ACCURACY)
      & has_r_0011_0047__of(R_0011_0045__THE_R_0011_0046__ACCURACY,R_0011_0050__WATCHES)
      & r_0011_0050__watches(R_0011_0050__WATCHES)
      & has_attrib133(R_0011_0050__WATCHES,R_0011_0049__MECHANICAL)
      & has_attrib130(R_0011_0050__WATCHES,R_0011_0048__CONVENTIONAL)
      & has_nim116(R_0011_0044__EXCEEDING,R_0011_0043__SUBSTANTIALLY)
      & has_arg0(R_0011_0044__EXCEEDING,R_0011_0026___PLUSMN__R_0011_0027__15_R_0011_0028__SECONDS)
      & r_0011_0004__unwinding(R_0011_0004__UNWINDING)
      & has_arg0(R_0011_0004__UNWINDING,R_0011_0003__THE_R_0011_0005__POWER)
      & r_0011_0003__the_r_0011_0005__power(R_0011_0003__THE_R_0011_0005__POWER)
      & has_r_0011_0006__of(R_0011_0003__THE_R_0011_0005__POWER,R_0011_0007__THE_R_0011_0008__MAINSPRING)
      & r_0011_0001__While(R_0011_0001__WHILE)
      & has_conj2(R_0011_0001__WHILE,R_0011_0020__REALIZES)
      & r_0011_0020__realizes(R_0011_0020__REALIZES)
      & has_arg1(R_0011_0020__REALIZES,R_0011_0021__AN_R_0011_0024__RATE)
      & r_0011_0021__an_r_0011_0024__rate(R_0011_0021__AN_R_0011_0024__RATE)
      & has_r_0011_0025__of(R_0011_0021__AN_R_0011_0024__RATE,R_0011_0026___PLUSMN__R_0011_0027__15_R_0011_0028__SECONDS)
      & has_attrib62(R_0011_0021__AN_R_0011_0024__RATE,R_0011_0023__MONTHLY)
      & has_attrib59(R_0011_0021__AN_R_0011_0024__RATE,R_0011_0022__AVERAGE)
      & has_arg0(R_0011_0020__REALIZES,R_0011_0015__THE_R_0011_0017__MECHANISM)
      & has_conj1(R_0011_0001__WHILE,R_0011_0002__USING)
      & r_0011_0002__using(R_0011_0002__USING)
      & has_arg0(R_0011_0002__USING,R_0011_0015__THE_R_0011_0017__MECHANISM)
      & has_r_0011_0009__as_nim27(R_0011_0002__USING,R_0011_0012__POWER_R_0011_0013__SOURCE)
      & r_0011_0012__power_r_0011_0013__source(R_0011_0012__POWER_R_0011_0013__SOURCE)
      & has_gen(R_0011_0012__POWER_R_0011_0013__SOURCE,R_0011_0015__THE_R_0011_0017__MECHANISM)
      & has_attrib31(R_0011_0012__POWER_R_0011_0013__SOURCE,R_0011_0011__SOLE)
      & has_arg1(R_0011_0002__USING,R_0011_0003__THE_R_0011_0005__POWER) ) ).

( (IP-MAT (PP-SCON (P-CONN While;{while})
                   (IP-PPL2 (VAG;_Tn_ using;{use})
                            (NP-OB1 (D the;{the})
                                    (IP-PPL (VAG;_I_ unwinding;{unwind}))
                                    (N power;{power})
                                    (PP (P-ROLE of;{of})
                                        (NP (D the;{the})
                                            (N mainspring;{mainspring}))))
                            (PP-NIM (P-ROLE as;{as})
                                    (NP (NP-GEN;{SPRING_DRIVE} (PRO;_genm_ its;{its}))
                                        (ADJP (ADJ sole;{sole}))
                                        (N power;{power})
                                        (N source;{source})))))
          (PUNC ,)
          (NP-SBJ;{SPRING_DRIVE} (D the;{the})
                                 (ADJP (ADJ new;{new}))
                                 (N mechanism;{mechanism})
                                 (IP-PPL (NP-PRD (NPR Spring;{Spring})
                                                 (NPR Drive;{Drive}))))
          (VBP;_Tn_ realizes;{realize})
          (NP-OB1 (D an;{an})
                  (ADJP (ADJ average;{average}))
                  (ADJP (ADJ monthly;{monthly}))
                  (N rate;{rate})
                  (PP (P-ROLE of;{of})
                      (NP (SYM <plusmn>)
                          (NUM 15)
                          (NS seconds;{second})
                          (PULB -LRB-)
                          (IP-PPL (NP-PRD (PP (P-ROLE For;{for})
                                              (NP (N Cal<dot>)
                                                  (NLYR (NLYR (N 9R96))
                                                        (PUNC ,)
                                                        (CONJP (NLYR (N 9R16)))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (N 9R15))))))
                                          (PUNC ,)
                                          (SYM <plusmn>)
                                          (NUM 10)
                                          (NS seconds;{second})))
                          (PURB -RRB-)
                          (PUNC ,)
                          (IP-PPL (ADVP-NIM (ADV substantially;{substantially}))
                                  (VAG;_Tn_ exceeding;{exceed})
                                  (NP-OB1 (D the;{the})
                                          (N accuracy;{accuracy})
                                          (PP (P-ROLE of;{of})
                                              (NP (ADJP (ADJ conventional;{conventional}))
                                                  (ADJP (ADJ mechanical;{mechanical}))
                                                  (NS watches;{watch}))))))))
          (PUNC .))
  (ID 11_a_seiko_9r65))