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.

( (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})
                                 (PRN (NP (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-)
                          (PRN (NP (PP (P-ROLE For;{for})
                                       (NP (N Cal<dot>)
                                           (NLYR (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))

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__nim).
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,inv_arg0).
arc(r_0011_0012__power_r_0011_0013__source,r_0011_0011__sole,attrib).
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,attrib).
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,attrib).
arc(r_0011_0021__an_r_0011_0024__rate,r_0011_0023__monthly,attrib).
arc(r_0011_0021__an_r_0011_0024__rate,r_0011_0027__15_r_0011_0028__seconds,r_0011_0025__of).
arc(r_0011_0039__10_r_0011_0040__seconds,r_0011_0031__Cal_dot__r_0011_0032__9R96_r_0011_0034__9R16_r_0011_0035__and_r_0011_0036__9R15,r_0011_0030__For).
arc(r_0011_0044__exceeding,r_0011_0027__15_r_0011_0028__seconds,inv_arg0).
arc(r_0011_0044__exceeding,r_0011_0043__substantially,nim).
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,attrib).
arc(r_0011_0050__watches,r_0011_0049__mechanical,attrib).
arc(z_0011_5003,r_0011_0015__the_r_0011_0017__mechanism,arg0).
arc(z_0011_5003,r_0011_0018__Spring_r_0011_0019__Drive,prd).
arc(z_0011_5011,r_0011_0027__15_r_0011_0028__seconds,arg0).
arc(z_0011_5011,r_0011_0039__10_r_0011_0040__seconds,prd).

fof(formula,axiom,
    ? [R_0011_0007__THE_R_0011_0008__MAINSPRING,R_0011_0004__UNWINDING,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_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_0027__15_R_0011_0028__SECONDS,R_0011_0021__AN_R_0011_0024__RATE,R_0011_0020__REALIZES,R_0011_0001__WHILE,R_0011_0018__SPRING_R_0011_0019__DRIVE,Z_0011_5003,R_0011_0031__CAL_DOT__R_0011_0032__9R96_R_0011_0034__9R16_R_0011_0035__AND_R_0011_0036__9R15,R_0011_0039__10_R_0011_0040__SECONDS,Z_0011_5011] :
      ( r_0011_0004__unwinding(R_0011_0004__UNWINDING)
      & 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_0031__Cal_dot__r_0011_0032__9R96_r_0011_0034__9R16_r_0011_0035__and_r_0011_0036__9R15(R_0011_0031__CAL_DOT__R_0011_0032__9R96_R_0011_0034__9R16_R_0011_0035__AND_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_0011_5011(Z_0011_5011)
      & has_prd(Z_0011_5011,R_0011_0039__10_R_0011_0040__SECONDS)
      & r_0011_0039__10_r_0011_0040__seconds(R_0011_0039__10_R_0011_0040__SECONDS)
      & has_r_0011_0030__For(R_0011_0039__10_R_0011_0040__SECONDS,R_0011_0031__CAL_DOT__R_0011_0032__9R96_R_0011_0034__9R16_R_0011_0035__AND_R_0011_0036__9R15)
      & has_arg0(Z_0011_5011,R_0011_0027__15_R_0011_0028__SECONDS)
      & r_0011_0027__15_r_0011_0028__seconds(R_0011_0027__15_R_0011_0028__SECONDS)
      & has_inv_arg0(R_0011_0027__15_R_0011_0028__SECONDS,R_0011_0044__EXCEEDING)
      & 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_attrib(R_0011_0050__WATCHES,R_0011_0049__MECHANICAL)
      & has_attrib(R_0011_0050__WATCHES,R_0011_0048__CONVENTIONAL)
      & has_nim(R_0011_0044__EXCEEDING,R_0011_0043__SUBSTANTIALLY)
      & z_0011_5003(Z_0011_5003)
      & has_prd(Z_0011_5003,R_0011_0018__SPRING_R_0011_0019__DRIVE)
      & has_arg0(Z_0011_5003,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_attrib(R_0011_0015__THE_R_0011_0017__MECHANISM,R_0011_0016__NEW)
      & 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_0027__15_R_0011_0028__SECONDS)
      & has_attrib(R_0011_0021__AN_R_0011_0024__RATE,R_0011_0023__MONTHLY)
      & has_attrib(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__nim(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_attrib(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)
      & r_0011_0003__the_r_0011_0005__power(R_0011_0003__THE_R_0011_0005__POWER)
      & has_inv_arg0(R_0011_0003__THE_R_0011_0005__POWER,R_0011_0004__UNWINDING)
      & has_r_0011_0006__of(R_0011_0003__THE_R_0011_0005__POWER,R_0011_0007__THE_R_0011_0008__MAINSPRING) ) ).