TSPC 66_a_seiko

66_a_seiko_9r65
If a mechanical watch was subject to impact, amplitude of vibration of the balance (angle for which the balance rotates right and left) is changed, and even the form of the balance spring is changed.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (D a;{a})
                                   (ADJP (ADJ mechanical;{mechanical}))
                                   (N watch;{watch}))
                           (BED;_La_ was;{be})
                           (ADJP-PRD (ADJ subject;{subject})
                                     (PP (P-ROLE to;{to})
                                         (NP (N impact;{impact}))))))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ (N amplitude;{amplitude})
                              (PP (P-ROLE of;{of})
                                  (NP (N vibration;{vibration})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (N balance;{balance})))))
                              (PULB -LRB-)
                              (PRN (NP (N angle;{angle})
                                       (IP-REL (PP-NIM (P-ROLE for;{for})
                                                       (NP (RPRO which;{which})))
                                               (NP-SBJ;{BALANCE} (D the;{the})
                                                                 (N balance;{balance}))
                                               (VBP;_I_ rotates;{rotate})
                                               (ADVP-NIM (AVLYR (AVLYR (ADV right;{right}))
                                                                (CONJP (CONJ and;{and})
                                                                       (AVLYR (ADV left;{left}))))))))
                              (PURB -RRB-))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ changed;{change})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV even;{even}))
                             (NP-SBJ (D the;{the})
                                     (N form;{form})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (N balance;{balance})
                                             (N spring;{spring}))))
                             (BEP;_cat_VePASS_ is;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn_ changed;{change})))))
          (PUNC .))
  (ID 66_a_seiko_9r65))

arc(r_0066_0001__If,r_0066_0005__was,restriction).
arc(r_0066_0001__If,r_0066_0030__and,scope).
arc(r_0066_0002__a_r_0066_0004__watch,r_0066_0003__mechanical,attrib).
arc(r_0066_0005__was,r_0066_0002__a_r_0066_0004__watch,arg0).
arc(r_0066_0005__was,r_0066_0006__subject,prd).
arc(r_0066_0006__subject,r_0066_0008__impact,r_0066_0007__to).
arc(r_0066_0010__amplitude,r_0066_0012__vibration,r_0066_0011__of).
arc(r_0066_0012__vibration,r_0066_0014__the_r_0066_0015__balance,r_0066_0013__of).
arc(r_0066_0022__rotates,r_0066_0017__angle,r_0066_0018__for__nim).
arc(r_0066_0022__rotates,r_0066_0020__the_r_0066_0021__balance,arg0).
arc(r_0066_0022__rotates,r_0066_0024__and,nim).
arc(r_0066_0024__and,r_0066_0023__right,conj1).
arc(r_0066_0024__and,r_0066_0025__left,conj2).
arc(r_0066_0027__is,r_0066_0028__changed,scope).
arc(r_0066_0028__changed,r_0066_0010__amplitude,arg1).
arc(r_0066_0028__changed,z_0066_5019___star_,arg0).
arc(r_0066_0030__and,r_0066_0027__is,conj1).
arc(r_0066_0030__and,r_0066_0038__is,conj2).
arc(r_0066_0032__the_r_0066_0033__form,r_0066_0035__the_r_0066_0036__balance_r_0066_0037__spring,r_0066_0034__of).
arc(r_0066_0038__is,r_0066_0031__even,nim).
arc(r_0066_0038__is,r_0066_0039__changed,scope).
arc(r_0066_0039__changed,r_0066_0032__the_r_0066_0033__form,arg1).
arc(r_0066_0039__changed,z_0066_5026___star_,arg0).
arc(z_0066_5016,r_0066_0010__amplitude,arg0).
arc(z_0066_5016,r_0066_0017__angle,prd).

fof(formula,axiom,
    ? [R_0066_0017__ANGLE,R_0066_0020__THE_R_0066_0021__BALANCE,R_0066_0023__RIGHT,R_0066_0025__LEFT,R_0066_0024__AND,R_0066_0022__ROTATES,R_0066_0014__THE_R_0066_0015__BALANCE,R_0066_0012__VIBRATION,R_0066_0010__AMPLITUDE,Z_0066_5016] :
      ( r_0066_0014__the_r_0066_0015__balance(R_0066_0014__THE_R_0066_0015__BALANCE)
      & r_0066_0017__angle(R_0066_0017__ANGLE)
      & r_0066_0020__the_r_0066_0021__balance(R_0066_0020__THE_R_0066_0021__BALANCE)
      & r_0066_0023__right(R_0066_0023__RIGHT)
      & r_0066_0025__left(R_0066_0025__LEFT)
      & z_0066_5016(Z_0066_5016)
      & has_prd(Z_0066_5016,R_0066_0017__ANGLE)
      & has_arg0(Z_0066_5016,R_0066_0010__AMPLITUDE)
      & r_0066_0010__amplitude(R_0066_0010__AMPLITUDE)
      & has_r_0066_0011__of(R_0066_0010__AMPLITUDE,R_0066_0012__VIBRATION)
      & r_0066_0012__vibration(R_0066_0012__VIBRATION)
      & has_r_0066_0013__of(R_0066_0012__VIBRATION,R_0066_0014__THE_R_0066_0015__BALANCE)
      & r_0066_0022__rotates(R_0066_0022__ROTATES)
      & has_nim(R_0066_0022__ROTATES,R_0066_0024__AND)
      & r_0066_0024__and(R_0066_0024__AND)
      & has_conj2(R_0066_0024__AND,R_0066_0025__LEFT)
      & has_conj1(R_0066_0024__AND,R_0066_0023__RIGHT)
      & has_arg0(R_0066_0022__ROTATES,R_0066_0020__THE_R_0066_0021__BALANCE)
      & has_r_0066_0018__for__nim(R_0066_0022__ROTATES,R_0066_0017__ANGLE)
      & ! [R_0066_0005__WAS,R_0066_0003__MECHANICAL,R_0066_0002__A_R_0066_0004__WATCH,R_0066_0008__IMPACT,R_0066_0006__SUBJECT] :
          ( ( r_0066_0003__mechanical(R_0066_0003__MECHANICAL)
            & r_0066_0008__impact(R_0066_0008__IMPACT)
            & r_0066_0005__was(R_0066_0005__WAS)
            & has_prd(R_0066_0005__WAS,R_0066_0006__SUBJECT)
            & r_0066_0006__subject(R_0066_0006__SUBJECT)
            & has_r_0066_0007__to(R_0066_0006__SUBJECT,R_0066_0008__IMPACT)
            & has_arg0(R_0066_0005__WAS,R_0066_0002__A_R_0066_0004__WATCH)
            & r_0066_0002__a_r_0066_0004__watch(R_0066_0002__A_R_0066_0004__WATCH)
            & has_attrib(R_0066_0002__A_R_0066_0004__WATCH,R_0066_0003__MECHANICAL) )
         => ? [Z_0066_5019___STAR_,R_0066_0027__IS_R_0066_0028__CHANGED,R_0066_0031__EVEN,R_0066_0035__THE_R_0066_0036__BALANCE_R_0066_0037__SPRING,R_0066_0032__THE_R_0066_0033__FORM,Z_0066_5026___STAR_,R_0066_0038__IS_R_0066_0039__CHANGED,R_0066_0030__AND] :
              ( r_0066_0031__even(R_0066_0031__EVEN)
              & r_0066_0035__the_r_0066_0036__balance_r_0066_0037__spring(R_0066_0035__THE_R_0066_0036__BALANCE_R_0066_0037__SPRING)
              & z_0066_5019___star_(Z_0066_5019___STAR_)
              & z_0066_5026___star_(Z_0066_5026___STAR_)
              & r_0066_0030__and(R_0066_0030__AND)
              & has_conj2(R_0066_0030__AND,R_0066_0038__IS_R_0066_0039__CHANGED)
              & r_0066_0038__is_r_0066_0039__changed(R_0066_0038__IS_R_0066_0039__CHANGED)
              & has_arg0(R_0066_0038__IS_R_0066_0039__CHANGED,Z_0066_5026___STAR_)
              & has_arg1(R_0066_0038__IS_R_0066_0039__CHANGED,R_0066_0032__THE_R_0066_0033__FORM)
              & r_0066_0032__the_r_0066_0033__form(R_0066_0032__THE_R_0066_0033__FORM)
              & has_r_0066_0034__of(R_0066_0032__THE_R_0066_0033__FORM,R_0066_0035__THE_R_0066_0036__BALANCE_R_0066_0037__SPRING)
              & has_nim(R_0066_0038__IS_R_0066_0039__CHANGED,R_0066_0031__EVEN)
              & has_conj1(R_0066_0030__AND,R_0066_0027__IS_R_0066_0028__CHANGED)
              & r_0066_0027__is_r_0066_0028__changed(R_0066_0027__IS_R_0066_0028__CHANGED)
              & has_arg0(R_0066_0027__IS_R_0066_0028__CHANGED,Z_0066_5019___STAR_)
              & has_arg1(R_0066_0027__IS_R_0066_0028__CHANGED,R_0066_0010__AMPLITUDE) ) ) ) ).