Context                Previous, Next                Top


25_a_seiko_9r65
Accuracy of monthly rate of <plusmn> 15 seconds (daily rate of <plusmn> 1 second) <reference mark> equivalent to a quartz watch is achieved while using a mainspring.

n25_a_seiko_9r65 n25_a_seiko_9r65__1_1_1_1 Accuracy n25_a_seiko_9r65__1_1_2_1_1 of n25_a_seiko_9r65__1_1_2_2_1_1_1 monthly n25_a_seiko_9r65__1_1_2_2_2_1 rate n25_a_seiko_9r65__1_1_2_2_3_1_1 of n25_a_seiko_9r65__1_1_2_2_3_2_1_1 <plusmn> n25_a_seiko_9r65__1_1_2_2_3_2_2_1 15 n25_a_seiko_9r65__1_1_2_2_3_2_3_1 seconds n25_a_seiko_9r65__1_1_2_2_4_1 -LRB- n25_a_seiko_9r65__1_1_2_2_5_1_1_1_1 daily n25_a_seiko_9r65__1_1_2_2_5_1_2_1 rate n25_a_seiko_9r65__1_1_2_2_5_1_3_1_1 of n25_a_seiko_9r65__1_1_2_2_5_1_3_2_1_1 <plusmn> n25_a_seiko_9r65__1_1_2_2_5_1_3_2_2_1 1 n25_a_seiko_9r65__1_1_2_2_5_1_3_2_3_1 second n25_a_seiko_9r65__1_1_2_2_6_1 -RRB- n25_a_seiko_9r65__1_1_3_1 <reference_mark> n25_a_seiko_9r65__1_1_4_1_1 equivalent n25_a_seiko_9r65__1_1_4_2_1_1 to n25_a_seiko_9r65__1_1_4_2_2_1_1 a n25_a_seiko_9r65__1_1_4_2_2_2_1 quartz n25_a_seiko_9r65__1_1_4_2_2_3_1 watch n25_a_seiko_9r65__1_2_1 is n25_a_seiko_9r65__1_3_1_1 * n25_a_seiko_9r65__1_3_2_1 achieved n25_a_seiko_9r65__1_4_1_1 while n25_a_seiko_9r65__1_4_2_1_1 using n25_a_seiko_9r65__1_4_2_2_1_1 a n25_a_seiko_9r65__1_4_2_2_2_1 mainspring n25_a_seiko_9r65__1_5_1 . n25_a_seiko_9r65__1 IP-MAT n25_a_seiko_9r65__1_1 NP-SBJ n25_a_seiko_9r65__1->n25_a_seiko_9r65__1_1 n25_a_seiko_9r65__1_2 BEP;_cat_VePASS_ n25_a_seiko_9r65__1->n25_a_seiko_9r65__1_2 n25_a_seiko_9r65__1_3 IP-PPL-CAT n25_a_seiko_9r65__1->n25_a_seiko_9r65__1_3 n25_a_seiko_9r65__1_4 PP-SCON n25_a_seiko_9r65__1->n25_a_seiko_9r65__1_4 n25_a_seiko_9r65__1_5 PUNC n25_a_seiko_9r65__1->n25_a_seiko_9r65__1_5 n25_a_seiko_9r65__1_1_1 N n25_a_seiko_9r65__1_1->n25_a_seiko_9r65__1_1_1 n25_a_seiko_9r65__1_1_2 PP n25_a_seiko_9r65__1_1->n25_a_seiko_9r65__1_1_2 n25_a_seiko_9r65__1_1_3 SYM n25_a_seiko_9r65__1_1->n25_a_seiko_9r65__1_1_3 n25_a_seiko_9r65__1_1_4 ADJP n25_a_seiko_9r65__1_1->n25_a_seiko_9r65__1_1_4 n25_a_seiko_9r65__1_1_1->n25_a_seiko_9r65__1_1_1_1 n25_a_seiko_9r65__1_1_2_1 P-ROLE n25_a_seiko_9r65__1_1_2->n25_a_seiko_9r65__1_1_2_1 n25_a_seiko_9r65__1_1_2_2 NP n25_a_seiko_9r65__1_1_2->n25_a_seiko_9r65__1_1_2_2 n25_a_seiko_9r65__1_1_2_1->n25_a_seiko_9r65__1_1_2_1_1 n25_a_seiko_9r65__1_1_2_2_1 ADJP n25_a_seiko_9r65__1_1_2_2->n25_a_seiko_9r65__1_1_2_2_1 n25_a_seiko_9r65__1_1_2_2_2 N n25_a_seiko_9r65__1_1_2_2->n25_a_seiko_9r65__1_1_2_2_2 n25_a_seiko_9r65__1_1_2_2_3 PP n25_a_seiko_9r65__1_1_2_2->n25_a_seiko_9r65__1_1_2_2_3 n25_a_seiko_9r65__1_1_2_2_4 PULB n25_a_seiko_9r65__1_1_2_2->n25_a_seiko_9r65__1_1_2_2_4 n25_a_seiko_9r65__1_1_2_2_5 PRN n25_a_seiko_9r65__1_1_2_2->n25_a_seiko_9r65__1_1_2_2_5 n25_a_seiko_9r65__1_1_2_2_6 PURB n25_a_seiko_9r65__1_1_2_2->n25_a_seiko_9r65__1_1_2_2_6 n25_a_seiko_9r65__1_1_2_2_1_1 ADJ n25_a_seiko_9r65__1_1_2_2_1->n25_a_seiko_9r65__1_1_2_2_1_1 n25_a_seiko_9r65__1_1_2_2_1_1->n25_a_seiko_9r65__1_1_2_2_1_1_1 n25_a_seiko_9r65__1_1_2_2_2->n25_a_seiko_9r65__1_1_2_2_2_1 n25_a_seiko_9r65__1_1_2_2_3_1 P-ROLE n25_a_seiko_9r65__1_1_2_2_3->n25_a_seiko_9r65__1_1_2_2_3_1 n25_a_seiko_9r65__1_1_2_2_3_2 NP n25_a_seiko_9r65__1_1_2_2_3->n25_a_seiko_9r65__1_1_2_2_3_2 n25_a_seiko_9r65__1_1_2_2_3_1->n25_a_seiko_9r65__1_1_2_2_3_1_1 n25_a_seiko_9r65__1_1_2_2_3_2_1 SYM n25_a_seiko_9r65__1_1_2_2_3_2->n25_a_seiko_9r65__1_1_2_2_3_2_1 n25_a_seiko_9r65__1_1_2_2_3_2_2 NUM n25_a_seiko_9r65__1_1_2_2_3_2->n25_a_seiko_9r65__1_1_2_2_3_2_2 n25_a_seiko_9r65__1_1_2_2_3_2_3 NS n25_a_seiko_9r65__1_1_2_2_3_2->n25_a_seiko_9r65__1_1_2_2_3_2_3 n25_a_seiko_9r65__1_1_2_2_3_2_1->n25_a_seiko_9r65__1_1_2_2_3_2_1_1 n25_a_seiko_9r65__1_1_2_2_3_2_2->n25_a_seiko_9r65__1_1_2_2_3_2_2_1 n25_a_seiko_9r65__1_1_2_2_3_2_3->n25_a_seiko_9r65__1_1_2_2_3_2_3_1 n25_a_seiko_9r65__1_1_2_2_4->n25_a_seiko_9r65__1_1_2_2_4_1 n25_a_seiko_9r65__1_1_2_2_5_1 NP n25_a_seiko_9r65__1_1_2_2_5->n25_a_seiko_9r65__1_1_2_2_5_1 n25_a_seiko_9r65__1_1_2_2_5_1_1 ADJP n25_a_seiko_9r65__1_1_2_2_5_1->n25_a_seiko_9r65__1_1_2_2_5_1_1 n25_a_seiko_9r65__1_1_2_2_5_1_2 N n25_a_seiko_9r65__1_1_2_2_5_1->n25_a_seiko_9r65__1_1_2_2_5_1_2 n25_a_seiko_9r65__1_1_2_2_5_1_3 PP n25_a_seiko_9r65__1_1_2_2_5_1->n25_a_seiko_9r65__1_1_2_2_5_1_3 n25_a_seiko_9r65__1_1_2_2_5_1_1_1 ADJ n25_a_seiko_9r65__1_1_2_2_5_1_1->n25_a_seiko_9r65__1_1_2_2_5_1_1_1 n25_a_seiko_9r65__1_1_2_2_5_1_1_1->n25_a_seiko_9r65__1_1_2_2_5_1_1_1_1 n25_a_seiko_9r65__1_1_2_2_5_1_2->n25_a_seiko_9r65__1_1_2_2_5_1_2_1 n25_a_seiko_9r65__1_1_2_2_5_1_3_1 P-ROLE n25_a_seiko_9r65__1_1_2_2_5_1_3->n25_a_seiko_9r65__1_1_2_2_5_1_3_1 n25_a_seiko_9r65__1_1_2_2_5_1_3_2 NP n25_a_seiko_9r65__1_1_2_2_5_1_3->n25_a_seiko_9r65__1_1_2_2_5_1_3_2 n25_a_seiko_9r65__1_1_2_2_5_1_3_1->n25_a_seiko_9r65__1_1_2_2_5_1_3_1_1 n25_a_seiko_9r65__1_1_2_2_5_1_3_2_1 SYM n25_a_seiko_9r65__1_1_2_2_5_1_3_2->n25_a_seiko_9r65__1_1_2_2_5_1_3_2_1 n25_a_seiko_9r65__1_1_2_2_5_1_3_2_2 NUM n25_a_seiko_9r65__1_1_2_2_5_1_3_2->n25_a_seiko_9r65__1_1_2_2_5_1_3_2_2 n25_a_seiko_9r65__1_1_2_2_5_1_3_2_3 N n25_a_seiko_9r65__1_1_2_2_5_1_3_2->n25_a_seiko_9r65__1_1_2_2_5_1_3_2_3 n25_a_seiko_9r65__1_1_2_2_5_1_3_2_1->n25_a_seiko_9r65__1_1_2_2_5_1_3_2_1_1 n25_a_seiko_9r65__1_1_2_2_5_1_3_2_2->n25_a_seiko_9r65__1_1_2_2_5_1_3_2_2_1 n25_a_seiko_9r65__1_1_2_2_5_1_3_2_3->n25_a_seiko_9r65__1_1_2_2_5_1_3_2_3_1 n25_a_seiko_9r65__1_1_2_2_6->n25_a_seiko_9r65__1_1_2_2_6_1 n25_a_seiko_9r65__1_1_3->n25_a_seiko_9r65__1_1_3_1 n25_a_seiko_9r65__1_1_4_1 ADJ n25_a_seiko_9r65__1_1_4->n25_a_seiko_9r65__1_1_4_1 n25_a_seiko_9r65__1_1_4_2 PP n25_a_seiko_9r65__1_1_4->n25_a_seiko_9r65__1_1_4_2 n25_a_seiko_9r65__1_1_4_1->n25_a_seiko_9r65__1_1_4_1_1 n25_a_seiko_9r65__1_1_4_2_1 P-ROLE n25_a_seiko_9r65__1_1_4_2->n25_a_seiko_9r65__1_1_4_2_1 n25_a_seiko_9r65__1_1_4_2_2 NP n25_a_seiko_9r65__1_1_4_2->n25_a_seiko_9r65__1_1_4_2_2 n25_a_seiko_9r65__1_1_4_2_1->n25_a_seiko_9r65__1_1_4_2_1_1 n25_a_seiko_9r65__1_1_4_2_2_1 D n25_a_seiko_9r65__1_1_4_2_2->n25_a_seiko_9r65__1_1_4_2_2_1 n25_a_seiko_9r65__1_1_4_2_2_2 N n25_a_seiko_9r65__1_1_4_2_2->n25_a_seiko_9r65__1_1_4_2_2_2 n25_a_seiko_9r65__1_1_4_2_2_3 N n25_a_seiko_9r65__1_1_4_2_2->n25_a_seiko_9r65__1_1_4_2_2_3 n25_a_seiko_9r65__1_1_4_2_2_1->n25_a_seiko_9r65__1_1_4_2_2_1_1 n25_a_seiko_9r65__1_1_4_2_2_2->n25_a_seiko_9r65__1_1_4_2_2_2_1 n25_a_seiko_9r65__1_1_4_2_2_3->n25_a_seiko_9r65__1_1_4_2_2_3_1 n25_a_seiko_9r65__1_2->n25_a_seiko_9r65__1_2_1 n25_a_seiko_9r65__1_3_1 NP-LGS n25_a_seiko_9r65__1_3->n25_a_seiko_9r65__1_3_1 n25_a_seiko_9r65__1_3_2 VVN;_Tn_ n25_a_seiko_9r65__1_3->n25_a_seiko_9r65__1_3_2 n25_a_seiko_9r65__1_3_1->n25_a_seiko_9r65__1_3_1_1 n25_a_seiko_9r65__1_3_2->n25_a_seiko_9r65__1_3_2_1 n25_a_seiko_9r65__1_4_1 P-CONN n25_a_seiko_9r65__1_4->n25_a_seiko_9r65__1_4_1 n25_a_seiko_9r65__1_4_2 IP-PPL3 n25_a_seiko_9r65__1_4->n25_a_seiko_9r65__1_4_2 n25_a_seiko_9r65__1_4_1->n25_a_seiko_9r65__1_4_1_1 n25_a_seiko_9r65__1_4_2_1 VAG;_Tn_ n25_a_seiko_9r65__1_4_2->n25_a_seiko_9r65__1_4_2_1 n25_a_seiko_9r65__1_4_2_2 NP-OB1 n25_a_seiko_9r65__1_4_2->n25_a_seiko_9r65__1_4_2_2 n25_a_seiko_9r65__1_4_2_1->n25_a_seiko_9r65__1_4_2_1_1 n25_a_seiko_9r65__1_4_2_2_1 D n25_a_seiko_9r65__1_4_2_2->n25_a_seiko_9r65__1_4_2_2_1 n25_a_seiko_9r65__1_4_2_2_2 N n25_a_seiko_9r65__1_4_2_2->n25_a_seiko_9r65__1_4_2_2_2 n25_a_seiko_9r65__1_4_2_2_1->n25_a_seiko_9r65__1_4_2_2_1_1 n25_a_seiko_9r65__1_4_2_2_2->n25_a_seiko_9r65__1_4_2_2_2_1 n25_a_seiko_9r65__1_5->n25_a_seiko_9r65__1_5_1 
( (IP-MAT (NP-SBJ (N Accuracy;{accuracy})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ monthly;{monthly}))
                          (N rate;{rate})
                          (PP (P-ROLE of;{of})
                              (NP (SYM <plusmn>)
                                  (NUM 15)
                                  (NS seconds;{second})))
                          (PULB -LRB-)
                          (PRN (NP (ADJP (ADJ daily;{daily}))
                                   (N rate;{rate})
                                   (PP (P-ROLE of;{of})
                                       (NP (SYM <plusmn>)
                                           (NUM 1)
                                           (N second;{second})))))
                          (PURB -RRB-)))
                  (SYM <reference_mark>)
                  (ADJP (ADJ equivalent;{equivalent})
                        (PP (P-ROLE to;{to})
                            (NP (D a;{a})
                                (N quartz;{quartz})
                                (N watch;{watch})))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ achieved;{achieve}))
          (PP-SCON (P-CONN while;{while})
                   (IP-PPL3 (VAG;_Tn_ using;{use})
                            (NP-OB1 (D a;{a})
                                    (N mainspring;{mainspring}))))
          (PUNC .))
  (ID 25_a_seiko_9r65))


%3 z_0025_5008 r_0025_0011__rate rate z_0025_5008->r_0025_0011__rate [prd] r_0025_0004__rate rate z_0025_5008->r_0025_0004__rate [arg0] r_0025_0014__1_r_0025_0015__second 1 second r_0025_0011__rate->r_0025_0014__1_r_0025_0015__second of r_0025_0010__daily daily r_0025_0011__rate->r_0025_0010__daily [attrib] r_0025_0007__15_r_0025_0008__seconds 15 seconds r_0025_0004__rate->r_0025_0007__15_r_0025_0008__seconds of r_0025_0003__monthly monthly r_0025_0004__rate->r_0025_0003__monthly [attrib] r_0025_0026__using using z_0025_5014 r_0025_0026__using->z_0025_5014 [arg0] r_0025_0027__a_r_0025_0028__mainspring a mainspring r_0025_0026__using->r_0025_0027__a_r_0025_0028__mainspring [arg1] r_0025_0025__while while r_0025_0025__while->r_0025_0026__using [restriction] r_0025_0023__is is r_0025_0025__while->r_0025_0023__is [scope] r_0025_0024__achieved achieved r_0025_0023__is->r_0025_0024__achieved [scope] z_0025_5018___star_ * r_0025_0024__achieved->z_0025_5018___star_ [arg0] r_0025_0001__Accuracy Accuracy r_0025_0024__achieved->r_0025_0001__Accuracy [arg1] r_0025_0001__Accuracy->r_0025_0004__rate of r_0025_0018__equivalent equivalent r_0025_0001__Accuracy->r_0025_0018__equivalent [attrib] r_0025_0020__a_r_0025_0021__quartz_r_0025_0022__watch a quartz watch r_0025_0018__equivalent->r_0025_0020__a_r_0025_0021__quartz_r_0025_0022__watch to 
arc(r_0025_0001__Accuracy,r_0025_0004__rate,r_0025_0002__of).
arc(r_0025_0001__Accuracy,r_0025_0018__equivalent,attrib).
arc(r_0025_0004__rate,r_0025_0003__monthly,attrib).
arc(r_0025_0004__rate,r_0025_0007__15_r_0025_0008__seconds,r_0025_0005__of).
arc(r_0025_0011__rate,r_0025_0010__daily,attrib).
arc(r_0025_0011__rate,r_0025_0014__1_r_0025_0015__second,r_0025_0012__of).
arc(r_0025_0018__equivalent,r_0025_0020__a_r_0025_0021__quartz_r_0025_0022__watch,r_0025_0019__to).
arc(r_0025_0023__is,r_0025_0024__achieved,scope).
arc(r_0025_0024__achieved,r_0025_0001__Accuracy,arg1).
arc(r_0025_0024__achieved,z_0025_5018___star_,arg0).
arc(r_0025_0025__while,r_0025_0023__is,scope).
arc(r_0025_0025__while,r_0025_0026__using,restriction).
arc(r_0025_0026__using,r_0025_0027__a_r_0025_0028__mainspring,arg1).
arc(r_0025_0026__using,z_0025_5014,arg0).
arc(z_0025_5008,r_0025_0004__rate,arg0).
arc(z_0025_5008,r_0025_0011__rate,prd).


%3 r_0025_0001__Accuracy Accuracy r_0025_0004__rate rate r_0025_0001__Accuracy->r_0025_0004__rate of r_0025_0018__equivalent equivalent r_0025_0001__Accuracy->r_0025_0018__equivalent [attrib] r_0025_0003__monthly monthly r_0025_0004__rate->r_0025_0003__monthly [attrib] r_0025_0007__15_r_0025_0008__seconds 15 seconds r_0025_0004__rate->r_0025_0007__15_r_0025_0008__seconds of r_0025_0020__a_r_0025_0021__quartz_r_0025_0022__watch a quartz watch r_0025_0018__equivalent->r_0025_0020__a_r_0025_0021__quartz_r_0025_0022__watch to r_0025_0011__rate rate r_0025_0010__daily daily r_0025_0011__rate->r_0025_0010__daily [attrib] r_0025_0014__1_r_0025_0015__second 1 second r_0025_0011__rate->r_0025_0014__1_r_0025_0015__second of r_0025_0023__is_r_0025_0024__achieved is achieved r_0025_0023__is_r_0025_0024__achieved->r_0025_0001__Accuracy [arg1] z_0025_5018___star_ * r_0025_0023__is_r_0025_0024__achieved->z_0025_5018___star_ [arg0] r_0025_0025__while while r_0025_0025__while->r_0025_0023__is_r_0025_0024__achieved [conj2] r_0025_0026__using using r_0025_0025__while->r_0025_0026__using [conj1] r_0025_0027__a_r_0025_0028__mainspring a mainspring r_0025_0026__using->r_0025_0027__a_r_0025_0028__mainspring [arg1] z_0025_5014 r_0025_0026__using->z_0025_5014 [arg0] z_0025_5008 z_0025_5008->r_0025_0004__rate [arg0] z_0025_5008->r_0025_0011__rate [prd] 
fof(formula,axiom,
    ? [R_0025_0003__MONTHLY,R_0025_0007__15_R_0025_0008__SECONDS,R_0025_0004__RATE,R_0025_0020__A_R_0025_0021__QUARTZ_R_0025_0022__WATCH,R_0025_0018__EQUIVALENT,R_0025_0001__ACCURACY,Z_0025_5018___STAR_,R_0025_0023__IS_R_0025_0024__ACHIEVED,R_0025_0027__A_R_0025_0028__MAINSPRING,Z_0025_5014,R_0025_0026__USING,R_0025_0025__WHILE,R_0025_0010__DAILY,R_0025_0014__1_R_0025_0015__SECOND,R_0025_0011__RATE,Z_0025_5008] :
      ( r_0025_0003__monthly(R_0025_0003__MONTHLY)
      & r_0025_0007__15_r_0025_0008__seconds(R_0025_0007__15_R_0025_0008__SECONDS)
      & r_0025_0010__daily(R_0025_0010__DAILY)
      & r_0025_0014__1_r_0025_0015__second(R_0025_0014__1_R_0025_0015__SECOND)
      & r_0025_0020__a_r_0025_0021__quartz_r_0025_0022__watch(R_0025_0020__A_R_0025_0021__QUARTZ_R_0025_0022__WATCH)
      & r_0025_0027__a_r_0025_0028__mainspring(R_0025_0027__A_R_0025_0028__MAINSPRING)
      & z_0025_5014(Z_0025_5014)
      & z_0025_5018___star_(Z_0025_5018___STAR_)
      & z_0025_5008(Z_0025_5008)
      & has_prd(Z_0025_5008,R_0025_0011__RATE)
      & r_0025_0011__rate(R_0025_0011__RATE)
      & has_r_0025_0012__of(R_0025_0011__RATE,R_0025_0014__1_R_0025_0015__SECOND)
      & has_attrib(R_0025_0011__RATE,R_0025_0010__DAILY)
      & has_arg0(Z_0025_5008,R_0025_0004__RATE)
      & r_0025_0004__rate(R_0025_0004__RATE)
      & has_r_0025_0005__of(R_0025_0004__RATE,R_0025_0007__15_R_0025_0008__SECONDS)
      & has_attrib(R_0025_0004__RATE,R_0025_0003__MONTHLY)
      & r_0025_0025__while(R_0025_0025__WHILE)
      & has_conj1(R_0025_0025__WHILE,R_0025_0026__USING)
      & r_0025_0026__using(R_0025_0026__USING)
      & has_arg0(R_0025_0026__USING,Z_0025_5014)
      & has_arg1(R_0025_0026__USING,R_0025_0027__A_R_0025_0028__MAINSPRING)
      & has_conj2(R_0025_0025__WHILE,R_0025_0023__IS_R_0025_0024__ACHIEVED)
      & r_0025_0023__is_r_0025_0024__achieved(R_0025_0023__IS_R_0025_0024__ACHIEVED)
      & has_arg0(R_0025_0023__IS_R_0025_0024__ACHIEVED,Z_0025_5018___STAR_)
      & has_arg1(R_0025_0023__IS_R_0025_0024__ACHIEVED,R_0025_0001__ACCURACY)
      & r_0025_0001__Accuracy(R_0025_0001__ACCURACY)
      & has_attrib(R_0025_0001__ACCURACY,R_0025_0018__EQUIVALENT)
      & r_0025_0018__equivalent(R_0025_0018__EQUIVALENT)
      & has_r_0025_0019__to(R_0025_0018__EQUIVALENT,R_0025_0020__A_R_0025_0021__QUARTZ_R_0025_0022__WATCH)
      & has_r_0025_0002__of(R_0025_0001__ACCURACY,R_0025_0004__RATE) ) ).