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.
( (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 ,)
(PRN (NP (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))
arc(r_0031_0002__controls,r_0031_0001__What,arg0).
arc(r_0031_0002__controls,r_0031_0003__the_r_0031_0004__accuracy,arg1).
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,attrib).
arc(r_0031_0009__is,r_0031_0001__What,arg0).
arc(r_0031_0009__is,r_0031_0010__the_r_0031_0011__balance_r_0031_0012__spring,prd).
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,attrib).
arc(r_0031_0021__called,r_0031_0017__the_r_0031_0019__unit,inv_arg1).
arc(r_0031_0021__called,r_0031_0022__the_r_0031_0023__balance,prd).
arc(r_0031_0021__called,z_0031_5011___star_,arg0).
arc(z_0031_5013,r_0031_0010__the_r_0031_0011__balance_r_0031_0012__spring,arg0).
arc(z_0031_5013,r_0031_0014__a_r_0031_0015__part,prd).
fof(formula,axiom,
? [R_0031_0001__WHAT,R_0031_0007__MECHANICAL,R_0031_0006__A_R_0031_0008__WATCH,R_0031_0003__THE_R_0031_0004__ACCURACY,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_0022__THE_R_0031_0023__BALANCE,Z_0031_5011___STAR_,R_0031_0021__CALLED,R_0031_0017__THE_R_0031_0019__UNIT,R_0031_0014__A_R_0031_0015__PART,Z_0031_5013] :
( r_0031_0001__What(R_0031_0001__WHAT)
& 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_0031_5011___star_(Z_0031_5011___STAR_)
& z_0031_5013(Z_0031_5013)
& has_prd(Z_0031_5013,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_inv_arg1(R_0031_0017__THE_R_0031_0019__UNIT,R_0031_0021__CALLED)
& r_0031_0021__called(R_0031_0021__CALLED)
& has_arg0(R_0031_0021__CALLED,Z_0031_5011___STAR_)
& has_prd(R_0031_0021__CALLED,R_0031_0022__THE_R_0031_0023__BALANCE)
& has_attrib(R_0031_0017__THE_R_0031_0019__UNIT,R_0031_0018__SPEED__HYPHEN__REGULATING)
& has_arg0(Z_0031_5013,R_0031_0010__THE_R_0031_0011__BALANCE_R_0031_0012__SPRING)
& r_0031_0009__is(R_0031_0009__IS)
& has_prd(R_0031_0009__IS,R_0031_0010__THE_R_0031_0011__BALANCE_R_0031_0012__SPRING)
& has_arg0(R_0031_0009__IS,R_0031_0001__WHAT)
& r_0031_0002__controls(R_0031_0002__CONTROLS)
& 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_attrib(R_0031_0006__A_R_0031_0008__WATCH,R_0031_0007__MECHANICAL)
& has_arg0(R_0031_0002__CONTROLS,R_0031_0001__WHAT) ) ).