31_a_seiko_9r65
What controls the accuracy of a mechanical watch is the balance spring, a part of the speed-regulating unit, called the balance.
arc(r_0031_0002__controls, r_0031_0003__the_r_0031_0004__accuracy, arg1).
arc(r_0031_0002__controls, z_000_31_a_seiko_9r65_2, arg0).
arc(r_0031_0003__the_r_0031_0004__accuracy, r_0031_0006__a_r_0031_0008__watch, r_0031_0005__of).
arc(r_0031_0006__a_r_0031_0008__watch, r_0031_0007__mechanical, attrib20).
arc(r_0031_0009__is, r_0031_0010__the_r_0031_0011__balance_r_0031_0012__spring, prd).
arc(r_0031_0009__is, z_000_31_a_seiko_9r65_2, arg0).
arc(r_0031_0014__a_r_0031_0015__part, r_0031_0017__the_r_0031_0019__unit, r_0031_0016__of).
arc(r_0031_0017__the_r_0031_0019__unit, r_0031_0018__speed__hyphen__regulating, attrib48).
arc(r_0031_0021__called, r_0031_0017__the_r_0031_0019__unit, arg1).
arc(r_0031_0021__called, r_0031_0022__the_r_0031_0023__balance, prd).
arc(r_0031_0021__called, z_000_31_a_seiko_9r65_56, arg0).
arc(z_000_31_a_seiko_9r65_36, r_0031_0010__the_r_0031_0011__balance_r_0031_0012__spring, arg0).
arc(z_000_31_a_seiko_9r65_36, r_0031_0014__a_r_0031_0015__part, prd).
fof(formula,axiom,
? [R_0031_0007__MECHANICAL,R_0031_0006__A_R_0031_0008__WATCH,R_0031_0003__THE_R_0031_0004__ACCURACY,Z_000_31_A_SEIKO_9R65_2,R_0031_0002__CONTROLS,R_0031_0010__THE_R_0031_0011__BALANCE_R_0031_0012__SPRING,R_0031_0009__IS,R_0031_0018__SPEED__HYPHEN__REGULATING,R_0031_0017__THE_R_0031_0019__UNIT,R_0031_0022__THE_R_0031_0023__BALANCE,Z_000_31_A_SEIKO_9R65_56,R_0031_0021__CALLED,R_0031_0014__A_R_0031_0015__PART,Z_000_31_A_SEIKO_9R65_36] :
( r_0031_0007__mechanical(R_0031_0007__MECHANICAL)
& r_0031_0010__the_r_0031_0011__balance_r_0031_0012__spring(R_0031_0010__THE_R_0031_0011__BALANCE_R_0031_0012__SPRING)
& r_0031_0018__speed__hyphen__regulating(R_0031_0018__SPEED__HYPHEN__REGULATING)
& r_0031_0022__the_r_0031_0023__balance(R_0031_0022__THE_R_0031_0023__BALANCE)
& z_000_31_a_seiko_9r65_2(Z_000_31_A_SEIKO_9R65_2)
& z_000_31_a_seiko_9r65_56(Z_000_31_A_SEIKO_9R65_56)
& z_000_31_a_seiko_9r65_36(Z_000_31_A_SEIKO_9R65_36)
& has_prd(Z_000_31_A_SEIKO_9R65_36,R_0031_0014__A_R_0031_0015__PART)
& r_0031_0014__a_r_0031_0015__part(R_0031_0014__A_R_0031_0015__PART)
& has_r_0031_0016__of(R_0031_0014__A_R_0031_0015__PART,R_0031_0017__THE_R_0031_0019__UNIT)
& r_0031_0017__the_r_0031_0019__unit(R_0031_0017__THE_R_0031_0019__UNIT)
& has_attrib48(R_0031_0017__THE_R_0031_0019__UNIT,R_0031_0018__SPEED__HYPHEN__REGULATING)
& has_arg0(Z_000_31_A_SEIKO_9R65_36,R_0031_0010__THE_R_0031_0011__BALANCE_R_0031_0012__SPRING)
& r_0031_0021__called(R_0031_0021__CALLED)
& has_arg0(R_0031_0021__CALLED,Z_000_31_A_SEIKO_9R65_56)
& has_prd(R_0031_0021__CALLED,R_0031_0022__THE_R_0031_0023__BALANCE)
& has_arg1(R_0031_0021__CALLED,R_0031_0017__THE_R_0031_0019__UNIT)
& r_0031_0009__is(R_0031_0009__IS)
& has_arg0(R_0031_0009__IS,Z_000_31_A_SEIKO_9R65_2)
& has_prd(R_0031_0009__IS,R_0031_0010__THE_R_0031_0011__BALANCE_R_0031_0012__SPRING)
& r_0031_0002__controls(R_0031_0002__CONTROLS)
& has_arg0(R_0031_0002__CONTROLS,Z_000_31_A_SEIKO_9R65_2)
& has_arg1(R_0031_0002__CONTROLS,R_0031_0003__THE_R_0031_0004__ACCURACY)
& r_0031_0003__the_r_0031_0004__accuracy(R_0031_0003__THE_R_0031_0004__ACCURACY)
& has_r_0031_0005__of(R_0031_0003__THE_R_0031_0004__ACCURACY,R_0031_0006__A_R_0031_0008__WATCH)
& r_0031_0006__a_r_0031_0008__watch(R_0031_0006__A_R_0031_0008__WATCH)
& has_attrib20(R_0031_0006__A_R_0031_0008__WATCH,R_0031_0007__MECHANICAL) ) ).
( (IP-MAT (NP-SBJ (IP-REL (NP-SBJ (RPRO What;{what}))
(VBP;_Tn_ controls;{control})
(NP-OB1 (D the;{the})
(N accuracy;{accuracy})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(ADJP (ADJ mechanical;{mechanical}))
(N watch;{watch}))))))
(BEP;_Ln_ is;{be})
(NP-PRD;{BALANCE_SPRING} (D the;{the})
(N balance;{balance})
(N spring;{spring})
(PUNC ,)
(IP-PPL (NP-PRD (D a;{a})
(N part;{part})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ speed_<hyphen>_regulating;{speed_regulating}))
(N unit;{unit})
(PUNC ,)
(IP-PPL (NP-LGS *)
(VBD;_Cn.n_ called;{call})
(NP-PRD (D the;{the})
(N balance;{balance}))))))))
(PUNC .))
(ID 31_a_seiko_9r65))