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, attrib9).
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_nim56).
arc(r_0066_0022__rotates, r_0066_0020__the_r_0066_0021__balance, arg0).
arc(r_0066_0022__rotates, r_0066_0024__and, nim66).
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_000_66_a_seiko_9r65_82, 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, nim92).
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_000_66_a_seiko_9r65_113, arg0).
arc(z_000_66_a_seiko_9r65_48, r_0066_0010__amplitude, arg0).
arc(z_000_66_a_seiko_9r65_48, r_0066_0017__angle, prd).

fof(formula,axiom,
    ? [R_66_22_ROTATES,R_66_20_THE_BALANCE,R_66_24_AND,R_66_23_RIGHT,R_66_25_LEFT,Z_66_A_SEIKO_9R65_48,R_66_10_AMPLITUDE,R_66_12_VIBRATION,R_66_14_THE_BALANCE,R_66_17_ANGLE] :
      ( the_balance(R_66_20_THE_BALANCE)
      & right(R_66_23_RIGHT)
      & left(R_66_25_LEFT)
      & the_balance(R_66_14_THE_BALANCE)
      & angle(R_66_17_ANGLE)
      & ! [R_66_5_WAS,R_66_2_A_WATCH,R_66_3_MECHANICAL,R_66_6_SUBJECT,R_66_8_IMPACT] :
          ( ( mechanical(R_66_3_MECHANICAL)
            & impact(R_66_8_IMPACT)
            & was(R_66_5_WAS,R_66_2_A_WATCH,R_66_6_SUBJECT)
            & a_watch(R_66_2_A_WATCH)
            & attrib9(R_66_2_A_WATCH,R_66_3_MECHANICAL)
            & subject(R_66_6_SUBJECT)
            & to(R_66_6_SUBJECT,R_66_8_IMPACT) )
         => ? [R_66_30_AND,R_66_27_IS_CHANGED,Z_66_A_SEIKO_9R65_82,R_66_38_IS_CHANGED,Z_66_A_SEIKO_9R65_113,R_66_32_THE_FORM,R_66_35_THE_BALANCE_SPRING,R_66_31_EVEN] :
              ( the_balance_spring(R_66_35_THE_BALANCE_SPRING)
              & even(R_66_31_EVEN)
              & and(R_66_30_AND)
              & conj1(R_66_30_AND,R_66_27_IS_CHANGED)
              & is_changed(R_66_27_IS_CHANGED,Z_66_A_SEIKO_9R65_82,R_66_10_AMPLITUDE)
              & conj2(R_66_30_AND,R_66_38_IS_CHANGED)
              & is_changed(R_66_38_IS_CHANGED,Z_66_A_SEIKO_9R65_113,R_66_32_THE_FORM)
              & the_form(R_66_32_THE_FORM)
              & of(R_66_32_THE_FORM,R_66_35_THE_BALANCE_SPRING)
              & nim92(R_66_38_IS_CHANGED,R_66_31_EVEN) ) )
      & rotates(R_66_22_ROTATES,R_66_20_THE_BALANCE)
      & nim66(R_66_22_ROTATES,R_66_24_AND)
      & and(R_66_24_AND)
      & conj1(R_66_24_AND,R_66_23_RIGHT)
      & conj2(R_66_24_AND,R_66_25_LEFT)
      & for_nim56(R_66_22_ROTATES,R_66_17_ANGLE)
      & z_66_a_seiko_9r65_48(Z_66_A_SEIKO_9R65_48,R_66_10_AMPLITUDE,R_66_17_ANGLE)
      & amplitude(R_66_10_AMPLITUDE)
      & of(R_66_10_AMPLITUDE,R_66_12_VIBRATION)
      & vibration(R_66_12_VIBRATION)
      & of(R_66_12_VIBRATION,R_66_14_THE_BALANCE) ) ).

( (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-)
                              (IP-PPL (NP-PRD (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))