Context                Previous, Next                Top


63_a_seiko_9r65
As the Spring Drive adopts a crystal oscillator not a balance, the accuracy is not influenced by a difference in position.

%3 r_0063_0001__As As r_0063_0005__adopts adopts r_0063_0001__As->r_0063_0005__adopts [restriction] r_0063_0016__not not r_0063_0001__As->r_0063_0016__not [scope] r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive the Spring Drive r_0063_0005__adopts->r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive [arg0] z_000_63_a_seiko_9r65_16 r_0063_0005__adopts->z_000_63_a_seiko_9r65_16 [arg1] r_0063_0015__is is r_0063_0016__not->r_0063_0015__is [keep_scope] r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator a crystal oscillator z_000_63_a_seiko_9r65_16->r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator [conj1] r_0063_0009__not_r_0063_0010__a_r_0063_0011__balance not a balance z_000_63_a_seiko_9r65_16->r_0063_0009__not_r_0063_0010__a_r_0063_0011__balance [conj2] r_0063_0017__influenced influenced r_0063_0015__is->r_0063_0017__influenced [scope] r_0063_0013__the_r_0063_0014__accuracy the accuracy r_0063_0017__influenced->r_0063_0013__the_r_0063_0014__accuracy [arg1] r_0063_0019__a_r_0063_0020__difference a difference r_0063_0017__influenced->r_0063_0019__a_r_0063_0020__difference [arg0] r_0063_0022__position position r_0063_0019__a_r_0063_0020__difference->r_0063_0022__position in 
arc(r_0063_0001__As, r_0063_0005__adopts, restriction).
arc(r_0063_0001__As, r_0063_0016__not, scope).
arc(r_0063_0005__adopts, r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive, arg0).
arc(r_0063_0005__adopts, z_000_63_a_seiko_9r65_16, arg1).
arc(r_0063_0015__is, r_0063_0017__influenced, scope).
arc(r_0063_0016__not, r_0063_0015__is, keep_scope).
arc(r_0063_0017__influenced, r_0063_0013__the_r_0063_0014__accuracy, arg1).
arc(r_0063_0017__influenced, r_0063_0019__a_r_0063_0020__difference, arg0).
arc(r_0063_0019__a_r_0063_0020__difference, r_0063_0022__position, r_0063_0021__in).
arc(z_000_63_a_seiko_9r65_16, r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator, conj1).
arc(z_000_63_a_seiko_9r65_16, r_0063_0009__not_r_0063_0010__a_r_0063_0011__balance, conj2).


%3 z_000_63_a_seiko_9r65_16 r_0063_0009__not_r_0063_0010__a_r_0063_0011__balance not a balance z_000_63_a_seiko_9r65_16->r_0063_0009__not_r_0063_0010__a_r_0063_0011__balance [conj2] r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator a crystal oscillator z_000_63_a_seiko_9r65_16->r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator [conj1] r_0063_0019__a_r_0063_0020__difference a difference r_0063_0022__position position r_0063_0019__a_r_0063_0020__difference->r_0063_0022__position in r_0063_0015__is_r_0063_0017__influenced is influenced r_0063_0015__is_r_0063_0017__influenced->r_0063_0019__a_r_0063_0020__difference [arg0] r_0063_0013__the_r_0063_0014__accuracy the accuracy r_0063_0015__is_r_0063_0017__influenced->r_0063_0013__the_r_0063_0014__accuracy [arg1] r_0063_0016__not not r_0063_0016__not->r_0063_0015__is_r_0063_0017__influenced [keep_scope] r_0063_0005__adopts adopts r_0063_0005__adopts->z_000_63_a_seiko_9r65_16 [arg1] r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive the Spring Drive r_0063_0005__adopts->r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive [arg0] r_0063_0001__As As r_0063_0001__As->r_0063_0016__not [conj2] r_0063_0001__As->r_0063_0005__adopts [conj1] 
fof(formula,axiom,
    ? [R_63_1_AS,R_63_5_ADOPTS,R_63_2_THE_SPRING_DRIVE,Z_63_A_SEIKO_9R65_16,R_63_6_A_CRYSTAL_OSCILLATOR,R_63_9_NOT_A_BALANCE] :
      ( the_Spring_Drive(R_63_2_THE_SPRING_DRIVE)
      & a_crystal_oscillator(R_63_6_A_CRYSTAL_OSCILLATOR)
      & not_a_balance(R_63_9_NOT_A_BALANCE)
      & as(R_63_1_AS)
      & conj1(R_63_1_AS,R_63_5_ADOPTS)
      & adopts(R_63_5_ADOPTS,R_63_2_THE_SPRING_DRIVE,Z_63_A_SEIKO_9R65_16)
      & z_63_a_seiko_9r65_16(Z_63_A_SEIKO_9R65_16)
      & conj1(Z_63_A_SEIKO_9R65_16,R_63_6_A_CRYSTAL_OSCILLATOR)
      & conj2(Z_63_A_SEIKO_9R65_16,R_63_9_NOT_A_BALANCE)
      & conj2(R_63_1_AS,R_63_16_NOT)
      & ~ ? [R_63_15_IS_INFLUENCED,R_63_19_A_DIFFERENCE,R_63_22_POSITION,R_63_13_THE_ACCURACY] :
            ( position(R_63_22_POSITION)
            & the_accuracy(R_63_13_THE_ACCURACY)
            & is_influenced(R_63_15_IS_INFLUENCED,R_63_19_A_DIFFERENCE,R_63_13_THE_ACCURACY)
            & a_difference(R_63_19_A_DIFFERENCE)
            & in(R_63_19_A_DIFFERENCE,R_63_22_POSITION) ) ) ).


n63_a_seiko_9r65 n63_a_seiko_9r65__1_1_1_1 As n63_a_seiko_9r65__1_1_2_1_1_1 the n63_a_seiko_9r65__1_1_2_1_2_1 Spring n63_a_seiko_9r65__1_1_2_1_3_1 Drive n63_a_seiko_9r65__1_1_2_2_1 adopts n63_a_seiko_9r65__1_1_2_3_1_1_1_1 a n63_a_seiko_9r65__1_1_2_3_1_1_2_1 crystal n63_a_seiko_9r65__1_1_2_3_1_1_3_1 oscillator n63_a_seiko_9r65__1_1_2_3_1_2_1_1_1 not n63_a_seiko_9r65__1_1_2_3_1_2_1_2_1 a n63_a_seiko_9r65__1_1_2_3_1_2_1_3_1 balance n63_a_seiko_9r65__1_2_1 , n63_a_seiko_9r65__1_3_1_1 the n63_a_seiko_9r65__1_3_2_1 accuracy n63_a_seiko_9r65__1_4_1 is n63_a_seiko_9r65__1_5_1 not n63_a_seiko_9r65__1_6_1_1 influenced n63_a_seiko_9r65__1_6_2_1_1 by n63_a_seiko_9r65__1_6_2_2_1_1 a n63_a_seiko_9r65__1_6_2_2_2_1 difference n63_a_seiko_9r65__1_6_2_2_3_1_1 in n63_a_seiko_9r65__1_6_2_2_3_2_1_1 position n63_a_seiko_9r65__1_7_1 . n63_a_seiko_9r65__1 IP-MAT n63_a_seiko_9r65__1_1 PP-SCON n63_a_seiko_9r65__1->n63_a_seiko_9r65__1_1 n63_a_seiko_9r65__1_2 PUNC n63_a_seiko_9r65__1->n63_a_seiko_9r65__1_2 n63_a_seiko_9r65__1_3 NP-SBJ n63_a_seiko_9r65__1->n63_a_seiko_9r65__1_3 n63_a_seiko_9r65__1_4 BEP;_cat_VePASS_ n63_a_seiko_9r65__1->n63_a_seiko_9r65__1_4 n63_a_seiko_9r65__1_5 NEG n63_a_seiko_9r65__1->n63_a_seiko_9r65__1_5 n63_a_seiko_9r65__1_6 IP-PPL-CAT n63_a_seiko_9r65__1->n63_a_seiko_9r65__1_6 n63_a_seiko_9r65__1_7 PUNC n63_a_seiko_9r65__1->n63_a_seiko_9r65__1_7 n63_a_seiko_9r65__1_1_1 P-CONN n63_a_seiko_9r65__1_1->n63_a_seiko_9r65__1_1_1 n63_a_seiko_9r65__1_1_2 IP-ADV n63_a_seiko_9r65__1_1->n63_a_seiko_9r65__1_1_2 n63_a_seiko_9r65__1_1_1->n63_a_seiko_9r65__1_1_1_1 n63_a_seiko_9r65__1_1_2_1 NP-SBJ n63_a_seiko_9r65__1_1_2->n63_a_seiko_9r65__1_1_2_1 n63_a_seiko_9r65__1_1_2_2 VBP;_Tn_ n63_a_seiko_9r65__1_1_2->n63_a_seiko_9r65__1_1_2_2 n63_a_seiko_9r65__1_1_2_3 NP-OB1 n63_a_seiko_9r65__1_1_2->n63_a_seiko_9r65__1_1_2_3 n63_a_seiko_9r65__1_1_2_1_1 D n63_a_seiko_9r65__1_1_2_1->n63_a_seiko_9r65__1_1_2_1_1 n63_a_seiko_9r65__1_1_2_1_2 NPR n63_a_seiko_9r65__1_1_2_1->n63_a_seiko_9r65__1_1_2_1_2 n63_a_seiko_9r65__1_1_2_1_3 NPR n63_a_seiko_9r65__1_1_2_1->n63_a_seiko_9r65__1_1_2_1_3 n63_a_seiko_9r65__1_1_2_1_1->n63_a_seiko_9r65__1_1_2_1_1_1 n63_a_seiko_9r65__1_1_2_1_2->n63_a_seiko_9r65__1_1_2_1_2_1 n63_a_seiko_9r65__1_1_2_1_3->n63_a_seiko_9r65__1_1_2_1_3_1 n63_a_seiko_9r65__1_1_2_2->n63_a_seiko_9r65__1_1_2_2_1 n63_a_seiko_9r65__1_1_2_3_1 NLYR n63_a_seiko_9r65__1_1_2_3->n63_a_seiko_9r65__1_1_2_3_1 n63_a_seiko_9r65__1_1_2_3_1_1 NLYR n63_a_seiko_9r65__1_1_2_3_1->n63_a_seiko_9r65__1_1_2_3_1_1 n63_a_seiko_9r65__1_1_2_3_1_2 CONJP n63_a_seiko_9r65__1_1_2_3_1->n63_a_seiko_9r65__1_1_2_3_1_2 n63_a_seiko_9r65__1_1_2_3_1_1_1 D n63_a_seiko_9r65__1_1_2_3_1_1->n63_a_seiko_9r65__1_1_2_3_1_1_1 n63_a_seiko_9r65__1_1_2_3_1_1_2 N n63_a_seiko_9r65__1_1_2_3_1_1->n63_a_seiko_9r65__1_1_2_3_1_1_2 n63_a_seiko_9r65__1_1_2_3_1_1_3 N n63_a_seiko_9r65__1_1_2_3_1_1->n63_a_seiko_9r65__1_1_2_3_1_1_3 n63_a_seiko_9r65__1_1_2_3_1_1_1->n63_a_seiko_9r65__1_1_2_3_1_1_1_1 n63_a_seiko_9r65__1_1_2_3_1_1_2->n63_a_seiko_9r65__1_1_2_3_1_1_2_1 n63_a_seiko_9r65__1_1_2_3_1_1_3->n63_a_seiko_9r65__1_1_2_3_1_1_3_1 n63_a_seiko_9r65__1_1_2_3_1_2_1 NLYR n63_a_seiko_9r65__1_1_2_3_1_2->n63_a_seiko_9r65__1_1_2_3_1_2_1 n63_a_seiko_9r65__1_1_2_3_1_2_1_1 NEG n63_a_seiko_9r65__1_1_2_3_1_2_1->n63_a_seiko_9r65__1_1_2_3_1_2_1_1 n63_a_seiko_9r65__1_1_2_3_1_2_1_2 D n63_a_seiko_9r65__1_1_2_3_1_2_1->n63_a_seiko_9r65__1_1_2_3_1_2_1_2 n63_a_seiko_9r65__1_1_2_3_1_2_1_3 N n63_a_seiko_9r65__1_1_2_3_1_2_1->n63_a_seiko_9r65__1_1_2_3_1_2_1_3 n63_a_seiko_9r65__1_1_2_3_1_2_1_1->n63_a_seiko_9r65__1_1_2_3_1_2_1_1_1 n63_a_seiko_9r65__1_1_2_3_1_2_1_2->n63_a_seiko_9r65__1_1_2_3_1_2_1_2_1 n63_a_seiko_9r65__1_1_2_3_1_2_1_3->n63_a_seiko_9r65__1_1_2_3_1_2_1_3_1 n63_a_seiko_9r65__1_2->n63_a_seiko_9r65__1_2_1 n63_a_seiko_9r65__1_3_1 D n63_a_seiko_9r65__1_3->n63_a_seiko_9r65__1_3_1 n63_a_seiko_9r65__1_3_2 N n63_a_seiko_9r65__1_3->n63_a_seiko_9r65__1_3_2 n63_a_seiko_9r65__1_3_1->n63_a_seiko_9r65__1_3_1_1 n63_a_seiko_9r65__1_3_2->n63_a_seiko_9r65__1_3_2_1 n63_a_seiko_9r65__1_4->n63_a_seiko_9r65__1_4_1 n63_a_seiko_9r65__1_5->n63_a_seiko_9r65__1_5_1 n63_a_seiko_9r65__1_6_1 VVN;_Tn_ n63_a_seiko_9r65__1_6->n63_a_seiko_9r65__1_6_1 n63_a_seiko_9r65__1_6_2 PP-LGS n63_a_seiko_9r65__1_6->n63_a_seiko_9r65__1_6_2 n63_a_seiko_9r65__1_6_1->n63_a_seiko_9r65__1_6_1_1 n63_a_seiko_9r65__1_6_2_1 P-ROLE;_lgs_ n63_a_seiko_9r65__1_6_2->n63_a_seiko_9r65__1_6_2_1 n63_a_seiko_9r65__1_6_2_2 NP n63_a_seiko_9r65__1_6_2->n63_a_seiko_9r65__1_6_2_2 n63_a_seiko_9r65__1_6_2_1->n63_a_seiko_9r65__1_6_2_1_1 n63_a_seiko_9r65__1_6_2_2_1 D n63_a_seiko_9r65__1_6_2_2->n63_a_seiko_9r65__1_6_2_2_1 n63_a_seiko_9r65__1_6_2_2_2 N n63_a_seiko_9r65__1_6_2_2->n63_a_seiko_9r65__1_6_2_2_2 n63_a_seiko_9r65__1_6_2_2_3 PP n63_a_seiko_9r65__1_6_2_2->n63_a_seiko_9r65__1_6_2_2_3 n63_a_seiko_9r65__1_6_2_2_1->n63_a_seiko_9r65__1_6_2_2_1_1 n63_a_seiko_9r65__1_6_2_2_2->n63_a_seiko_9r65__1_6_2_2_2_1 n63_a_seiko_9r65__1_6_2_2_3_1 P-ROLE n63_a_seiko_9r65__1_6_2_2_3->n63_a_seiko_9r65__1_6_2_2_3_1 n63_a_seiko_9r65__1_6_2_2_3_2 NP n63_a_seiko_9r65__1_6_2_2_3->n63_a_seiko_9r65__1_6_2_2_3_2 n63_a_seiko_9r65__1_6_2_2_3_1->n63_a_seiko_9r65__1_6_2_2_3_1_1 n63_a_seiko_9r65__1_6_2_2_3_2_1 N n63_a_seiko_9r65__1_6_2_2_3_2->n63_a_seiko_9r65__1_6_2_2_3_2_1 n63_a_seiko_9r65__1_6_2_2_3_2_1->n63_a_seiko_9r65__1_6_2_2_3_2_1_1 n63_a_seiko_9r65__1_7->n63_a_seiko_9r65__1_7_1 
( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ;{SPRING_DRIVE} (D the;{the})
                                                  (NPR Spring;{Spring})
                                                  (NPR Drive;{Drive}))
                           (VBP;_Tn_ adopts;{adopt})
                           (NP-OB1 (NLYR (NLYR (D a;{a})
                                               (N crystal;{crystal})
                                               (N oscillator;{oscillator}))
                                         (CONJP (NLYR (NEG not;{not})
                                                      (D a;{a})
                                                      (N balance;{balance})))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N accuracy;{accuracy}))
          (BEP;_cat_VePASS_ is;{be})
          (NEG not;{not})
          (IP-PPL-CAT (VVN;_Tn_ influenced;{influence})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D a;{a})
                                  (N difference;{difference})
                                  (PP (P-ROLE in;{in})
                                      (NP (N position;{position}))))))
          (PUNC .))
  (ID 63_a_seiko_9r65))