TSPC 56_a_seiko

56_a_seiko_9r65
Accuracy of mechanical watches depends on a balance spring attached to a part called the balance.

arc(r_0056_0001__Accuracy, r_0056_0004__watches, r_0056_0002__of).
arc(r_0056_0004__watches, r_0056_0003__mechanical, attrib9).
arc(r_0056_0005__depends, r_0056_0001__Accuracy, arg0).
arc(r_0056_0005__depends, r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring, r_0056_0006__on_clr19).
arc(r_0056_0010__attached, r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring, arg0).
arc(r_0056_0010__attached, r_0056_0012__a_r_0056_0013__part, r_0056_0011__to_clr32).
arc(r_0056_0014__called, r_0056_0012__a_r_0056_0013__part, arg1).
arc(r_0056_0014__called, r_0056_0015__the_r_0056_0016__balance, prd).
arc(r_0056_0014__called, z_000_56_a_seiko_9r65_38, arg0).

fof(formula,axiom,
    ? [R_0056_0003__MECHANICAL,R_0056_0004__WATCHES,R_0056_0001__ACCURACY,R_0056_0007__A_R_0056_0008__BALANCE_R_0056_0009__SPRING,R_0056_0005__DEPENDS,R_0056_0012__A_R_0056_0013__PART,R_0056_0010__ATTACHED,R_0056_0015__THE_R_0056_0016__BALANCE,Z_000_56_A_SEIKO_9R65_38,R_0056_0014__CALLED] :
      ( r_0056_0003__mechanical(R_0056_0003__MECHANICAL)
      & r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring(R_0056_0007__A_R_0056_0008__BALANCE_R_0056_0009__SPRING)
      & r_0056_0012__a_r_0056_0013__part(R_0056_0012__A_R_0056_0013__PART)
      & r_0056_0015__the_r_0056_0016__balance(R_0056_0015__THE_R_0056_0016__BALANCE)
      & z_000_56_a_seiko_9r65_38(Z_000_56_A_SEIKO_9R65_38)
      & r_0056_0014__called(R_0056_0014__CALLED)
      & has_arg0(R_0056_0014__CALLED,Z_000_56_A_SEIKO_9R65_38)
      & has_prd(R_0056_0014__CALLED,R_0056_0015__THE_R_0056_0016__BALANCE)
      & has_arg1(R_0056_0014__CALLED,R_0056_0012__A_R_0056_0013__PART)
      & r_0056_0010__attached(R_0056_0010__ATTACHED)
      & has_r_0056_0011__to_clr32(R_0056_0010__ATTACHED,R_0056_0012__A_R_0056_0013__PART)
      & has_arg0(R_0056_0010__ATTACHED,R_0056_0007__A_R_0056_0008__BALANCE_R_0056_0009__SPRING)
      & r_0056_0005__depends(R_0056_0005__DEPENDS)
      & has_r_0056_0006__on_clr19(R_0056_0005__DEPENDS,R_0056_0007__A_R_0056_0008__BALANCE_R_0056_0009__SPRING)
      & has_arg0(R_0056_0005__DEPENDS,R_0056_0001__ACCURACY)
      & r_0056_0001__Accuracy(R_0056_0001__ACCURACY)
      & has_r_0056_0002__of(R_0056_0001__ACCURACY,R_0056_0004__WATCHES)
      & r_0056_0004__watches(R_0056_0004__WATCHES)
      & has_attrib9(R_0056_0004__WATCHES,R_0056_0003__MECHANICAL) ) ).

( (IP-MAT (NP-SBJ (N Accuracy;{accuracy})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ mechanical;{mechanical}))
                          (NS watches;{watch}))))
          (VBP;_Ipr_ depends;{depend[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (D a;{a})
                      (N balance;{balance})
                      (N spring;{spring})
                      (IP-PPL (VVN;_Ipr_ attached;{attach[to]})
                              (PP-CLR (P-ROLE to;{to})
                                      (NP;{BALANCE} (D a;{a})
                                                    (N part;{part})
                                                    (IP-PPL (NP-LGS *)
                                                            (VBD;_Cn.n_ called;{call})
                                                            (NP-PRD (D the;{the})
                                                                    (N balance;{balance}))))))))
          (PUNC .))
  (ID 56_a_seiko_9r65))