TSPC 63_a_seiko

63_a_seiko_9r65
As the Spring Drive adopts a crystal oscillator not a balance, the accuracy is not influenced by a difference in position.

( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ;{SPRING_DRIVE} (D the;{the})
                                                  (NPR Spring;{Spring})
                                                  (NPR Drive;{Drive}))
                           (VBP;_Tn_ adopts;{adopt})
                           (NP-OB1 (NLYR (NLYR (D a;{a})
                                               (N crystal;{crystal})
                                               (N oscillator;{oscillator}))
                                         (CONJP (NLYR (NEG not;{not})
                                                      (D a;{a})
                                                      (N balance;{balance})))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N accuracy;{accuracy}))
          (BEP;_cat_VePASS_ is;{be})
          (NEG not;{not})
          (IP-PPL-CAT (VVN;_Tn_ influenced;{influence})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D a;{a})
                                  (N difference;{difference})
                                  (PP (P-ROLE in;{in})
                                      (NP (N position;{position}))))))
          (PUNC .))
  (ID 63_a_seiko_9r65))

arc(r_0063_0001__As,r_0063_0005__adopts,restriction).
arc(r_0063_0001__As,r_0063_0016__not,scope).
arc(r_0063_0005__adopts,r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive,arg0).
arc(r_0063_0005__adopts,z_0063_5006,arg1).
arc(r_0063_0010__a_r_0063_0011__balance,r_0063_0009__not,qual).
arc(r_0063_0015__is,r_0063_0017__influenced,scope).
arc(r_0063_0016__not,r_0063_0015__is,keep_scope).
arc(r_0063_0017__influenced,r_0063_0013__the_r_0063_0014__accuracy,arg1).
arc(r_0063_0017__influenced,r_0063_0019__a_r_0063_0020__difference,r_0063_0018__by_arg0).
arc(r_0063_0019__a_r_0063_0020__difference,r_0063_0022__position,r_0063_0021__in).
arc(z_0063_5006,r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator,conj1).
arc(z_0063_5006,r_0063_0010__a_r_0063_0011__balance,conj2).

fof(formula,axiom,
    ? [R_0063_0002__THE_R_0063_0003__SPRING_R_0063_0004__DRIVE,R_0063_0006__A_R_0063_0007__CRYSTAL_R_0063_0008__OSCILLATOR,R_0063_0009__NOT,R_0063_0010__A_R_0063_0011__BALANCE,Z_0063_5006,R_0063_0005__ADOPTS,R_0063_0001__AS] :
      ( r_0063_0002__the_r_0063_0003__Spring_r_0063_0004__Drive(R_0063_0002__THE_R_0063_0003__SPRING_R_0063_0004__DRIVE)
      & r_0063_0006__a_r_0063_0007__crystal_r_0063_0008__oscillator(R_0063_0006__A_R_0063_0007__CRYSTAL_R_0063_0008__OSCILLATOR)
      & r_0063_0009__not(R_0063_0009__NOT)
      & r_0063_0001__As(R_0063_0001__AS)
      & has_conj2(R_0063_0001__AS,R_0063_0016__NOT)
      & ~ ? [R_0063_0013__THE_R_0063_0014__ACCURACY,R_0063_0022__POSITION,R_0063_0019__A_R_0063_0020__DIFFERENCE,R_0063_0015__IS_R_0063_0017__INFLUENCED] :
            ( r_0063_0013__the_r_0063_0014__accuracy(R_0063_0013__THE_R_0063_0014__ACCURACY)
            & r_0063_0022__position(R_0063_0022__POSITION)
            & r_0063_0015__is_r_0063_0017__influenced(R_0063_0015__IS_R_0063_0017__INFLUENCED)
            & has_r_0063_0018__by_arg0(R_0063_0015__IS_R_0063_0017__INFLUENCED,R_0063_0019__A_R_0063_0020__DIFFERENCE)
            & r_0063_0019__a_r_0063_0020__difference(R_0063_0019__A_R_0063_0020__DIFFERENCE)
            & has_r_0063_0021__in(R_0063_0019__A_R_0063_0020__DIFFERENCE,R_0063_0022__POSITION)
            & has_arg1(R_0063_0015__IS_R_0063_0017__INFLUENCED,R_0063_0013__THE_R_0063_0014__ACCURACY) )
      & has_conj1(R_0063_0001__AS,R_0063_0005__ADOPTS)
      & r_0063_0005__adopts(R_0063_0005__ADOPTS)
      & has_arg1(R_0063_0005__ADOPTS,Z_0063_5006)
      & z_0063_5006(Z_0063_5006)
      & has_conj2(Z_0063_5006,R_0063_0010__A_R_0063_0011__BALANCE)
      & r_0063_0010__a_r_0063_0011__balance(R_0063_0010__A_R_0063_0011__BALANCE)
      & has_qual(R_0063_0010__A_R_0063_0011__BALANCE,R_0063_0009__NOT)
      & has_conj1(Z_0063_5006,R_0063_0006__A_R_0063_0007__CRYSTAL_R_0063_0008__OSCILLATOR)
      & has_arg0(R_0063_0005__ADOPTS,R_0063_0002__THE_R_0063_0003__SPRING_R_0063_0004__DRIVE) ) ).