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.

%3 r_0025_0001__Accuracy_r_0025_0017___reference_mark_ Accuracy  reference mark r_0025_0004__rate rate r_0025_0001__Accuracy_r_0025_0017___reference_mark_->r_0025_0004__rate of r_0025_0018__equivalent equivalent r_0025_0001__Accuracy_r_0025_0017___reference_mark_->r_0025_0018__equivalent [attrib] r_0025_0003__monthly monthly r_0025_0004__rate->r_0025_0003__monthly [attrib] r_0025_0006___plusmn__r_0025_0007__15_r_0025_0008__seconds plusmn  15 seconds r_0025_0004__rate->r_0025_0006___plusmn__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_0013___plusmn__r_0025_0014__1_r_0025_0015__second plusmn  1 second r_0025_0011__rate->r_0025_0013___plusmn__r_0025_0014__1_r_0025_0015__second of r_0025_0023__is is r_0025_0024__achieved achieved r_0025_0023__is->r_0025_0024__achieved [scope] r_0025_0024__achieved->r_0025_0001__Accuracy_r_0025_0017___reference_mark_ [arg1] z_000_25_a_seiko_9r65_63 r_0025_0024__achieved->z_000_25_a_seiko_9r65_63 [arg0] r_0025_0025__while while r_0025_0025__while->r_0025_0023__is [scope] r_0025_0026__using using r_0025_0025__while->r_0025_0026__using [restriction] r_0025_0027__a_r_0025_0028__mainspring a mainspring r_0025_0026__using->r_0025_0027__a_r_0025_0028__mainspring [arg1] z_000_25_a_seiko_9r65_70 r_0025_0026__using->z_000_25_a_seiko_9r65_70 [arg0] z_000_25_a_seiko_9r65_26 z_000_25_a_seiko_9r65_26->r_0025_0004__rate [arg0] z_000_25_a_seiko_9r65_26->r_0025_0011__rate [prd] 
arc(r_0025_0001__Accuracy_r_0025_0017___reference_mark_, r_0025_0004__rate, r_0025_0002__of).
arc(r_0025_0001__Accuracy_r_0025_0017___reference_mark_, r_0025_0018__equivalent, attrib47).
arc(r_0025_0004__rate, r_0025_0003__monthly, attrib9).
arc(r_0025_0004__rate, r_0025_0006___plusmn__r_0025_0007__15_r_0025_0008__seconds, r_0025_0005__of).
arc(r_0025_0011__rate, r_0025_0010__daily, attrib28).
arc(r_0025_0011__rate, r_0025_0013___plusmn__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_r_0025_0017___reference_mark_, arg1).
arc(r_0025_0024__achieved, z_000_25_a_seiko_9r65_63, 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_000_25_a_seiko_9r65_70, arg0).
arc(z_000_25_a_seiko_9r65_26, r_0025_0004__rate, arg0).
arc(z_000_25_a_seiko_9r65_26, r_0025_0011__rate, prd).


%3 r_0025_0001__Accuracy_r_0025_0017___reference_mark_ Accuracy  reference mark r_0025_0004__rate rate r_0025_0001__Accuracy_r_0025_0017___reference_mark_->r_0025_0004__rate of r_0025_0018__equivalent equivalent r_0025_0001__Accuracy_r_0025_0017___reference_mark_->r_0025_0018__equivalent [attrib] r_0025_0003__monthly monthly r_0025_0004__rate->r_0025_0003__monthly [attrib] r_0025_0006___plusmn__r_0025_0007__15_r_0025_0008__seconds plusmn  15 seconds r_0025_0004__rate->r_0025_0006___plusmn__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_0013___plusmn__r_0025_0014__1_r_0025_0015__second plusmn  1 second r_0025_0011__rate->r_0025_0013___plusmn__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_r_0025_0017___reference_mark_ [arg1] z_000_25_a_seiko_9r65_63 r_0025_0023__is_r_0025_0024__achieved->z_000_25_a_seiko_9r65_63 [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_000_25_a_seiko_9r65_70 r_0025_0026__using->z_000_25_a_seiko_9r65_70 [arg0] z_000_25_a_seiko_9r65_26 z_000_25_a_seiko_9r65_26->r_0025_0004__rate [arg0] z_000_25_a_seiko_9r65_26->r_0025_0011__rate [prd] 
fof(formula,axiom,
    ? [R_25_25_WHILE,R_25_26_USING,Z_25_A_SEIKO_9R65_70,R_25_27_A_MAINSPRING,R_25_23_IS_ACHIEVED,Z_25_A_SEIKO_9R65_63,R_25_1_ACCURACY_REFERENCE_MARK_,R_25_18_EQUIVALENT,R_25_20_A_QUARTZ_WATCH,Z_25_A_SEIKO_9R65_26,R_25_4_RATE,R_25_3_MONTHLY,R_25_6__PLUSMN_15_SECONDS,R_25_11_RATE,R_25_10_DAILY,R_25_13__PLUSMN_1_SECOND] :
      ( a_mainspring(R_25_27_A_MAINSPRING)
      & a_quartz_watch(R_25_20_A_QUARTZ_WATCH)
      & monthly(R_25_3_MONTHLY)
      & _plusmn_15_seconds(R_25_6__PLUSMN_15_SECONDS)
      & daily(R_25_10_DAILY)
      & _plusmn_1_second(R_25_13__PLUSMN_1_SECOND)
      & while(R_25_25_WHILE)
      & conj1(R_25_25_WHILE,R_25_26_USING)
      & using(R_25_26_USING,Z_25_A_SEIKO_9R65_70,R_25_27_A_MAINSPRING)
      & conj2(R_25_25_WHILE,R_25_23_IS_ACHIEVED)
      & is_achieved(R_25_23_IS_ACHIEVED,Z_25_A_SEIKO_9R65_63,R_25_1_ACCURACY_REFERENCE_MARK_)
      & accuracy_reference_mark_(R_25_1_ACCURACY_REFERENCE_MARK_)
      & attrib47(R_25_1_ACCURACY_REFERENCE_MARK_,R_25_18_EQUIVALENT)
      & equivalent(R_25_18_EQUIVALENT)
      & to(R_25_18_EQUIVALENT,R_25_20_A_QUARTZ_WATCH)
      & of(R_25_1_ACCURACY_REFERENCE_MARK_,R_25_4_RATE)
      & rate(R_25_4_RATE)
      & attrib9(R_25_4_RATE,R_25_3_MONTHLY)
      & of(R_25_4_RATE,R_25_6__PLUSMN_15_SECONDS)
      & z_25_a_seiko_9r65_26(Z_25_A_SEIKO_9R65_26,R_25_4_RATE,R_25_11_RATE)
      & rate(R_25_11_RATE)
      & attrib28(R_25_11_RATE,R_25_10_DAILY)
      & of(R_25_11_RATE,R_25_13__PLUSMN_1_SECOND) ) ).


n25_a_seiko_9r65 n25_a_seiko_9r65_4 Accuracy n25_a_seiko_9r65_7 of n25_a_seiko_9r65_11 monthly n25_a_seiko_9r65_13 rate n25_a_seiko_9r65_16 of n25_a_seiko_9r65_19 <plusmn> n25_a_seiko_9r65_21 15 n25_a_seiko_9r65_23 seconds n25_a_seiko_9r65_25 -LRB- n25_a_seiko_9r65_30 daily n25_a_seiko_9r65_32 rate n25_a_seiko_9r65_35 of n25_a_seiko_9r65_38 <plusmn> n25_a_seiko_9r65_40 1 n25_a_seiko_9r65_42 second n25_a_seiko_9r65_44 -RRB- n25_a_seiko_9r65_46 <reference_mark> n25_a_seiko_9r65_49 equivalent n25_a_seiko_9r65_52 to n25_a_seiko_9r65_55 a n25_a_seiko_9r65_57 quartz n25_a_seiko_9r65_59 watch n25_a_seiko_9r65_61 is n25_a_seiko_9r65_64 * n25_a_seiko_9r65_66 achieved n25_a_seiko_9r65_69 while n25_a_seiko_9r65_72 using n25_a_seiko_9r65_75 a n25_a_seiko_9r65_77 mainspring n25_a_seiko_9r65_79 . n25_a_seiko_9r65_1 IP-MAT n25_a_seiko_9r65_2 NP-SBJ n25_a_seiko_9r65_1->n25_a_seiko_9r65_2 n25_a_seiko_9r65_60 BEP;_cat_VePASS_ n25_a_seiko_9r65_1->n25_a_seiko_9r65_60 n25_a_seiko_9r65_62 IP-PPL-CAT n25_a_seiko_9r65_1->n25_a_seiko_9r65_62 n25_a_seiko_9r65_67 PP-SCON n25_a_seiko_9r65_1->n25_a_seiko_9r65_67 n25_a_seiko_9r65_78 PUNC n25_a_seiko_9r65_1->n25_a_seiko_9r65_78 n25_a_seiko_9r65_3 N n25_a_seiko_9r65_2->n25_a_seiko_9r65_3 n25_a_seiko_9r65_5 PP n25_a_seiko_9r65_2->n25_a_seiko_9r65_5 n25_a_seiko_9r65_45 SYM n25_a_seiko_9r65_2->n25_a_seiko_9r65_45 n25_a_seiko_9r65_47 ADJP n25_a_seiko_9r65_2->n25_a_seiko_9r65_47 n25_a_seiko_9r65_3->n25_a_seiko_9r65_4 n25_a_seiko_9r65_6 P-ROLE n25_a_seiko_9r65_5->n25_a_seiko_9r65_6 n25_a_seiko_9r65_8 NP n25_a_seiko_9r65_5->n25_a_seiko_9r65_8 n25_a_seiko_9r65_6->n25_a_seiko_9r65_7 n25_a_seiko_9r65_9 ADJP n25_a_seiko_9r65_8->n25_a_seiko_9r65_9 n25_a_seiko_9r65_12 N n25_a_seiko_9r65_8->n25_a_seiko_9r65_12 n25_a_seiko_9r65_14 PP n25_a_seiko_9r65_8->n25_a_seiko_9r65_14 n25_a_seiko_9r65_24 PULB n25_a_seiko_9r65_8->n25_a_seiko_9r65_24 n25_a_seiko_9r65_26 IP-PPL n25_a_seiko_9r65_8->n25_a_seiko_9r65_26 n25_a_seiko_9r65_43 PURB n25_a_seiko_9r65_8->n25_a_seiko_9r65_43 n25_a_seiko_9r65_10 ADJ n25_a_seiko_9r65_9->n25_a_seiko_9r65_10 n25_a_seiko_9r65_10->n25_a_seiko_9r65_11 n25_a_seiko_9r65_12->n25_a_seiko_9r65_13 n25_a_seiko_9r65_15 P-ROLE n25_a_seiko_9r65_14->n25_a_seiko_9r65_15 n25_a_seiko_9r65_17 NP n25_a_seiko_9r65_14->n25_a_seiko_9r65_17 n25_a_seiko_9r65_15->n25_a_seiko_9r65_16 n25_a_seiko_9r65_18 SYM n25_a_seiko_9r65_17->n25_a_seiko_9r65_18 n25_a_seiko_9r65_20 NUM n25_a_seiko_9r65_17->n25_a_seiko_9r65_20 n25_a_seiko_9r65_22 NS n25_a_seiko_9r65_17->n25_a_seiko_9r65_22 n25_a_seiko_9r65_18->n25_a_seiko_9r65_19 n25_a_seiko_9r65_20->n25_a_seiko_9r65_21 n25_a_seiko_9r65_22->n25_a_seiko_9r65_23 n25_a_seiko_9r65_24->n25_a_seiko_9r65_25 n25_a_seiko_9r65_27 NP-PRD n25_a_seiko_9r65_26->n25_a_seiko_9r65_27 n25_a_seiko_9r65_28 ADJP n25_a_seiko_9r65_27->n25_a_seiko_9r65_28 n25_a_seiko_9r65_31 N n25_a_seiko_9r65_27->n25_a_seiko_9r65_31 n25_a_seiko_9r65_33 PP n25_a_seiko_9r65_27->n25_a_seiko_9r65_33 n25_a_seiko_9r65_29 ADJ n25_a_seiko_9r65_28->n25_a_seiko_9r65_29 n25_a_seiko_9r65_29->n25_a_seiko_9r65_30 n25_a_seiko_9r65_31->n25_a_seiko_9r65_32 n25_a_seiko_9r65_34 P-ROLE n25_a_seiko_9r65_33->n25_a_seiko_9r65_34 n25_a_seiko_9r65_36 NP n25_a_seiko_9r65_33->n25_a_seiko_9r65_36 n25_a_seiko_9r65_34->n25_a_seiko_9r65_35 n25_a_seiko_9r65_37 SYM n25_a_seiko_9r65_36->n25_a_seiko_9r65_37 n25_a_seiko_9r65_39 NUM n25_a_seiko_9r65_36->n25_a_seiko_9r65_39 n25_a_seiko_9r65_41 N n25_a_seiko_9r65_36->n25_a_seiko_9r65_41 n25_a_seiko_9r65_37->n25_a_seiko_9r65_38 n25_a_seiko_9r65_39->n25_a_seiko_9r65_40 n25_a_seiko_9r65_41->n25_a_seiko_9r65_42 n25_a_seiko_9r65_43->n25_a_seiko_9r65_44 n25_a_seiko_9r65_45->n25_a_seiko_9r65_46 n25_a_seiko_9r65_48 ADJ n25_a_seiko_9r65_47->n25_a_seiko_9r65_48 n25_a_seiko_9r65_50 PP n25_a_seiko_9r65_47->n25_a_seiko_9r65_50 n25_a_seiko_9r65_48->n25_a_seiko_9r65_49 n25_a_seiko_9r65_51 P-ROLE n25_a_seiko_9r65_50->n25_a_seiko_9r65_51 n25_a_seiko_9r65_53 NP n25_a_seiko_9r65_50->n25_a_seiko_9r65_53 n25_a_seiko_9r65_51->n25_a_seiko_9r65_52 n25_a_seiko_9r65_54 D n25_a_seiko_9r65_53->n25_a_seiko_9r65_54 n25_a_seiko_9r65_56 N n25_a_seiko_9r65_53->n25_a_seiko_9r65_56 n25_a_seiko_9r65_58 N n25_a_seiko_9r65_53->n25_a_seiko_9r65_58 n25_a_seiko_9r65_54->n25_a_seiko_9r65_55 n25_a_seiko_9r65_56->n25_a_seiko_9r65_57 n25_a_seiko_9r65_58->n25_a_seiko_9r65_59 n25_a_seiko_9r65_60->n25_a_seiko_9r65_61 n25_a_seiko_9r65_63 NP-LGS n25_a_seiko_9r65_62->n25_a_seiko_9r65_63 n25_a_seiko_9r65_65 VVN;_Tn_ n25_a_seiko_9r65_62->n25_a_seiko_9r65_65 n25_a_seiko_9r65_63->n25_a_seiko_9r65_64 n25_a_seiko_9r65_65->n25_a_seiko_9r65_66 n25_a_seiko_9r65_68 P-CONN n25_a_seiko_9r65_67->n25_a_seiko_9r65_68 n25_a_seiko_9r65_70 IP-PPL3 n25_a_seiko_9r65_67->n25_a_seiko_9r65_70 n25_a_seiko_9r65_68->n25_a_seiko_9r65_69 n25_a_seiko_9r65_71 VAG;_Tn_ n25_a_seiko_9r65_70->n25_a_seiko_9r65_71 n25_a_seiko_9r65_73 NP-OB1 n25_a_seiko_9r65_70->n25_a_seiko_9r65_73 n25_a_seiko_9r65_71->n25_a_seiko_9r65_72 n25_a_seiko_9r65_74 D n25_a_seiko_9r65_73->n25_a_seiko_9r65_74 n25_a_seiko_9r65_76 N n25_a_seiko_9r65_73->n25_a_seiko_9r65_76 n25_a_seiko_9r65_74->n25_a_seiko_9r65_75 n25_a_seiko_9r65_76->n25_a_seiko_9r65_77 n25_a_seiko_9r65_78->n25_a_seiko_9r65_79 
( (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-)
                          (IP-PPL (NP-PRD (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))