TSPC 31_a_seiko

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_31_2_CONTROLS,R_31_3_THE_ACCURACY,R_31_6_A_WATCH,R_31_7_MECHANICAL,R_31_9_IS,Z_31_A_SEIKO_9R65_2,R_31_21_CALLED,Z_31_A_SEIKO_9R65_56,R_31_22_THE_BALANCE,Z_31_A_SEIKO_9R65_36,R_31_10_THE_BALANCE_SPRING,R_31_14_A_PART,R_31_17_THE_UNIT,R_31_18_SPEED_HYPHEN_REGULATING] :
      ( mechanical(R_31_7_MECHANICAL)
      & the_balance(R_31_22_THE_BALANCE)
      & the_balance_spring(R_31_10_THE_BALANCE_SPRING)
      & speed_hyphen_regulating(R_31_18_SPEED_HYPHEN_REGULATING)
      & controls(R_31_2_CONTROLS,Z_31_A_SEIKO_9R65_2,R_31_3_THE_ACCURACY)
      & the_accuracy(R_31_3_THE_ACCURACY)
      & of(R_31_3_THE_ACCURACY,R_31_6_A_WATCH)
      & a_watch(R_31_6_A_WATCH)
      & attrib20(R_31_6_A_WATCH,R_31_7_MECHANICAL)
      & is(R_31_9_IS,Z_31_A_SEIKO_9R65_2,R_31_10_THE_BALANCE_SPRING)
      & called(R_31_21_CALLED,Z_31_A_SEIKO_9R65_56,R_31_17_THE_UNIT,R_31_22_THE_BALANCE)
      & the_unit(R_31_17_THE_UNIT)
      & attrib48(R_31_17_THE_UNIT,R_31_18_SPEED_HYPHEN_REGULATING)
      & z_31_a_seiko_9r65_36(Z_31_A_SEIKO_9R65_36,R_31_10_THE_BALANCE_SPRING,R_31_14_A_PART)
      & a_part(R_31_14_A_PART)
      & of(R_31_14_A_PART,R_31_17_THE_UNIT) ) ).

( (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))