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.
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).
fof(formula,axiom,
? [R_0063_0002__THE_R_0063_0003__SPRING_R_0063_0004__DRIVE,R_0063_0006__A_R_0063_0007__CRYSTAL_R_0063_0008__OSCILLATOR,R_0063_0009__NOT_R_0063_0010__A_R_0063_0011__BALANCE,Z_000_63_A_SEIKO_9R65_16,R_0063_0005__ADOPTS,R_0063_0001__AS] :
( r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive(R_0063_0002__THE_R_0063_0003__SPRING_R_0063_0004__DRIVE)
& r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator(R_0063_0006__A_R_0063_0007__CRYSTAL_R_0063_0008__OSCILLATOR)
& r_0063_0009__not_r_0063_0010__a_r_0063_0011__balance(R_0063_0009__NOT_R_0063_0010__A_R_0063_0011__BALANCE)
& r_0063_0001__As(R_0063_0001__AS)
& has_conj2(R_0063_0001__AS,R_0063_0016__NOT)
& ~ ? [R_0063_0013__THE_R_0063_0014__ACCURACY,R_0063_0022__POSITION,R_0063_0019__A_R_0063_0020__DIFFERENCE,R_0063_0015__IS_R_0063_0017__INFLUENCED] :
( r_0063_0013__the_r_0063_0014__accuracy(R_0063_0013__THE_R_0063_0014__ACCURACY)
& r_0063_0022__position(R_0063_0022__POSITION)
& r_0063_0015__is_r_0063_0017__influenced(R_0063_0015__IS_R_0063_0017__INFLUENCED)
& has_arg0(R_0063_0015__IS_R_0063_0017__INFLUENCED,R_0063_0019__A_R_0063_0020__DIFFERENCE)
& r_0063_0019__a_r_0063_0020__difference(R_0063_0019__A_R_0063_0020__DIFFERENCE)
& has_r_0063_0021__in(R_0063_0019__A_R_0063_0020__DIFFERENCE,R_0063_0022__POSITION)
& has_arg1(R_0063_0015__IS_R_0063_0017__INFLUENCED,R_0063_0013__THE_R_0063_0014__ACCURACY) )
& has_conj1(R_0063_0001__AS,R_0063_0005__ADOPTS)
& r_0063_0005__adopts(R_0063_0005__ADOPTS)
& has_arg1(R_0063_0005__ADOPTS,Z_000_63_A_SEIKO_9R65_16)
& z_000_63_a_seiko_9r65_16(Z_000_63_A_SEIKO_9R65_16)
& has_conj2(Z_000_63_A_SEIKO_9R65_16,R_0063_0009__NOT_R_0063_0010__A_R_0063_0011__BALANCE)
& has_conj1(Z_000_63_A_SEIKO_9R65_16,R_0063_0006__A_R_0063_0007__CRYSTAL_R_0063_0008__OSCILLATOR)
& has_arg0(R_0063_0005__ADOPTS,R_0063_0002__THE_R_0063_0003__SPRING_R_0063_0004__DRIVE) ) ).
( (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))