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 z_000_25_a_seiko_9r65_26 r_0025_0011__rate rate z_000_25_a_seiko_9r65_26->r_0025_0011__rate [prd] r_0025_0004__rate rate z_000_25_a_seiko_9r65_26->r_0025_0004__rate [arg0] 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_0010__daily daily r_0025_0011__rate->r_0025_0010__daily [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_0003__monthly monthly r_0025_0004__rate->r_0025_0003__monthly [attrib] r_0025_0026__using using z_000_25_a_seiko_9r65_70 r_0025_0026__using->z_000_25_a_seiko_9r65_70 [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 [conj1] r_0025_0023__is_r_0025_0024__achieved is achieved r_0025_0025__while->r_0025_0023__is_r_0025_0024__achieved [conj2] 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_0001__Accuracy_r_0025_0017___reference_mark_ Accuracy  reference mark r_0025_0023__is_r_0025_0024__achieved->r_0025_0001__Accuracy_r_0025_0017___reference_mark_ [arg1] 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_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 
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__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 IP-PPL 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-PRD 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-)
                          (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))