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 r_0063_0001__As As r_0063_0005__adopts adopts r_0063_0001__As->r_0063_0005__adopts [conj1] r_0063_0016__not not r_0063_0001__As->r_0063_0016__not [conj2] 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_r_0063_0017__influenced is influenced r_0063_0016__not->r_0063_0015__is_r_0063_0017__influenced [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_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_0019__a_r_0063_0020__difference a difference r_0063_0015__is_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 
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_4 As n63_a_seiko_9r65_8 the n63_a_seiko_9r65_10 Spring n63_a_seiko_9r65_12 Drive n63_a_seiko_9r65_14 adopts n63_a_seiko_9r65_19 a n63_a_seiko_9r65_21 crystal n63_a_seiko_9r65_23 oscillator n63_a_seiko_9r65_27 not n63_a_seiko_9r65_29 a n63_a_seiko_9r65_31 balance n63_a_seiko_9r65_33 , n63_a_seiko_9r65_36 the n63_a_seiko_9r65_38 accuracy n63_a_seiko_9r65_40 is n63_a_seiko_9r65_42 not n63_a_seiko_9r65_45 influenced n63_a_seiko_9r65_48 by n63_a_seiko_9r65_51 a n63_a_seiko_9r65_53 difference n63_a_seiko_9r65_56 in n63_a_seiko_9r65_59 position n63_a_seiko_9r65_61 . n63_a_seiko_9r65_1 IP-MAT n63_a_seiko_9r65_2 PP-SCON n63_a_seiko_9r65_1->n63_a_seiko_9r65_2 n63_a_seiko_9r65_32 PUNC n63_a_seiko_9r65_1->n63_a_seiko_9r65_32 n63_a_seiko_9r65_34 NP-SBJ n63_a_seiko_9r65_1->n63_a_seiko_9r65_34 n63_a_seiko_9r65_39 BEP;_cat_VePASS_ n63_a_seiko_9r65_1->n63_a_seiko_9r65_39 n63_a_seiko_9r65_41 NEG n63_a_seiko_9r65_1->n63_a_seiko_9r65_41 n63_a_seiko_9r65_43 IP-PPL-CAT n63_a_seiko_9r65_1->n63_a_seiko_9r65_43 n63_a_seiko_9r65_60 PUNC n63_a_seiko_9r65_1->n63_a_seiko_9r65_60 n63_a_seiko_9r65_3 P-CONN n63_a_seiko_9r65_2->n63_a_seiko_9r65_3 n63_a_seiko_9r65_5 IP-ADV n63_a_seiko_9r65_2->n63_a_seiko_9r65_5 n63_a_seiko_9r65_3->n63_a_seiko_9r65_4 n63_a_seiko_9r65_6 NP-SBJ n63_a_seiko_9r65_5->n63_a_seiko_9r65_6 n63_a_seiko_9r65_13 VBP;_Tn_ n63_a_seiko_9r65_5->n63_a_seiko_9r65_13 n63_a_seiko_9r65_15 NP-OB1 n63_a_seiko_9r65_5->n63_a_seiko_9r65_15 n63_a_seiko_9r65_7 D n63_a_seiko_9r65_6->n63_a_seiko_9r65_7 n63_a_seiko_9r65_9 NPR n63_a_seiko_9r65_6->n63_a_seiko_9r65_9 n63_a_seiko_9r65_11 NPR n63_a_seiko_9r65_6->n63_a_seiko_9r65_11 n63_a_seiko_9r65_7->n63_a_seiko_9r65_8 n63_a_seiko_9r65_9->n63_a_seiko_9r65_10 n63_a_seiko_9r65_11->n63_a_seiko_9r65_12 n63_a_seiko_9r65_13->n63_a_seiko_9r65_14 n63_a_seiko_9r65_16 NLYR n63_a_seiko_9r65_15->n63_a_seiko_9r65_16 n63_a_seiko_9r65_17 NLYR n63_a_seiko_9r65_16->n63_a_seiko_9r65_17 n63_a_seiko_9r65_24 CONJP n63_a_seiko_9r65_16->n63_a_seiko_9r65_24 n63_a_seiko_9r65_18 D n63_a_seiko_9r65_17->n63_a_seiko_9r65_18 n63_a_seiko_9r65_20 N n63_a_seiko_9r65_17->n63_a_seiko_9r65_20 n63_a_seiko_9r65_22 N n63_a_seiko_9r65_17->n63_a_seiko_9r65_22 n63_a_seiko_9r65_18->n63_a_seiko_9r65_19 n63_a_seiko_9r65_20->n63_a_seiko_9r65_21 n63_a_seiko_9r65_22->n63_a_seiko_9r65_23 n63_a_seiko_9r65_25 NLYR n63_a_seiko_9r65_24->n63_a_seiko_9r65_25 n63_a_seiko_9r65_26 NEG n63_a_seiko_9r65_25->n63_a_seiko_9r65_26 n63_a_seiko_9r65_28 D n63_a_seiko_9r65_25->n63_a_seiko_9r65_28 n63_a_seiko_9r65_30 N n63_a_seiko_9r65_25->n63_a_seiko_9r65_30 n63_a_seiko_9r65_26->n63_a_seiko_9r65_27 n63_a_seiko_9r65_28->n63_a_seiko_9r65_29 n63_a_seiko_9r65_30->n63_a_seiko_9r65_31 n63_a_seiko_9r65_32->n63_a_seiko_9r65_33 n63_a_seiko_9r65_35 D n63_a_seiko_9r65_34->n63_a_seiko_9r65_35 n63_a_seiko_9r65_37 N n63_a_seiko_9r65_34->n63_a_seiko_9r65_37 n63_a_seiko_9r65_35->n63_a_seiko_9r65_36 n63_a_seiko_9r65_37->n63_a_seiko_9r65_38 n63_a_seiko_9r65_39->n63_a_seiko_9r65_40 n63_a_seiko_9r65_41->n63_a_seiko_9r65_42 n63_a_seiko_9r65_44 VVN;_Tn_ n63_a_seiko_9r65_43->n63_a_seiko_9r65_44 n63_a_seiko_9r65_46 PP-LGS n63_a_seiko_9r65_43->n63_a_seiko_9r65_46 n63_a_seiko_9r65_44->n63_a_seiko_9r65_45 n63_a_seiko_9r65_47 P-ROLE;_lgs_ n63_a_seiko_9r65_46->n63_a_seiko_9r65_47 n63_a_seiko_9r65_49 NP n63_a_seiko_9r65_46->n63_a_seiko_9r65_49 n63_a_seiko_9r65_47->n63_a_seiko_9r65_48 n63_a_seiko_9r65_50 D n63_a_seiko_9r65_49->n63_a_seiko_9r65_50 n63_a_seiko_9r65_52 N n63_a_seiko_9r65_49->n63_a_seiko_9r65_52 n63_a_seiko_9r65_54 PP n63_a_seiko_9r65_49->n63_a_seiko_9r65_54 n63_a_seiko_9r65_50->n63_a_seiko_9r65_51 n63_a_seiko_9r65_52->n63_a_seiko_9r65_53 n63_a_seiko_9r65_55 P-ROLE n63_a_seiko_9r65_54->n63_a_seiko_9r65_55 n63_a_seiko_9r65_57 NP n63_a_seiko_9r65_54->n63_a_seiko_9r65_57 n63_a_seiko_9r65_55->n63_a_seiko_9r65_56 n63_a_seiko_9r65_58 N n63_a_seiko_9r65_57->n63_a_seiko_9r65_58 n63_a_seiko_9r65_58->n63_a_seiko_9r65_59 n63_a_seiko_9r65_60->n63_a_seiko_9r65_61 
( (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))