TSPC 56_a_seiko

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

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

arc(r_0056_0001__Accuracy,r_0056_0004__watches,r_0056_0002__of).
arc(r_0056_0004__watches,r_0056_0003__mechanical,attrib).
arc(r_0056_0005__depends_r_0056_0006__on,r_0056_0001__Accuracy,arg0).
arc(r_0056_0005__depends_r_0056_0006__on,r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring,arg1).
arc(r_0056_0010__attached_r_0056_0011__to,r_0056_0007__a_r_0056_0008__balance_r_0056_0009__spring,inv_arg0).
arc(r_0056_0010__attached_r_0056_0011__to,r_0056_0012__a_r_0056_0013__part,arg1).
arc(r_0056_0014__called,r_0056_0012__a_r_0056_0013__part,inv_arg1).
arc(r_0056_0014__called,r_0056_0015__the_r_0056_0016__balance,prd).
arc(r_0056_0014__called,z_0056_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0056_0003__MECHANICAL,R_0056_0004__WATCHES,R_0056_0001__ACCURACY,R_0056_0015__THE_R_0056_0016__BALANCE,Z_0056_5007___STAR_,R_0056_0014__CALLED,R_0056_0012__A_R_0056_0013__PART,R_0056_0010__ATTACHED_R_0056_0011__TO,R_0056_0007__A_R_0056_0008__BALANCE_R_0056_0009__SPRING,R_0056_0005__DEPENDS_R_0056_0006__ON] :
      ( r_0056_0003__mechanical(R_0056_0003__MECHANICAL)
      & r_0056_0015__the_r_0056_0016__balance(R_0056_0015__THE_R_0056_0016__BALANCE)
      & z_0056_5007___star_(Z_0056_5007___STAR_)
      & r_0056_0005__depends_r_0056_0006__on(R_0056_0005__DEPENDS_R_0056_0006__ON)
      & has_arg1(R_0056_0005__DEPENDS_R_0056_0006__ON,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_0007__A_R_0056_0008__BALANCE_R_0056_0009__SPRING)
      & has_inv_arg0(R_0056_0007__A_R_0056_0008__BALANCE_R_0056_0009__SPRING,R_0056_0010__ATTACHED_R_0056_0011__TO)
      & r_0056_0010__attached_r_0056_0011__to(R_0056_0010__ATTACHED_R_0056_0011__TO)
      & has_arg1(R_0056_0010__ATTACHED_R_0056_0011__TO,R_0056_0012__A_R_0056_0013__PART)
      & r_0056_0012__a_r_0056_0013__part(R_0056_0012__A_R_0056_0013__PART)
      & has_inv_arg1(R_0056_0012__A_R_0056_0013__PART,R_0056_0014__CALLED)
      & r_0056_0014__called(R_0056_0014__CALLED)
      & has_arg0(R_0056_0014__CALLED,Z_0056_5007___STAR_)
      & has_prd(R_0056_0014__CALLED,R_0056_0015__THE_R_0056_0016__BALANCE)
      & has_arg0(R_0056_0005__DEPENDS_R_0056_0006__ON,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_attrib(R_0056_0004__WATCHES,R_0056_0003__MECHANICAL) ) ).