TSPC 60_a_seiko

60_a_seiko_9r65
For mechanical watches, the accuracy is influenced even by a difference in position or direction of a watch.

( (IP-MAT (PP-NIM (P-ROLE For;{for})
                  (NP (ADJP (ADJ mechanical;{mechanical}))
                      (NS watches;{watch})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N accuracy;{accuracy}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT;{ACCURACY_INFLUENCE} (VVN;_Tn_ influenced;{influence})
                                           (PP-LGS (ADVP-NIM (ADV even;{even}))
                                                   (P-ROLE;_lgs_ by;{by})
                                                   (NP (D a;{a})
                                                       (N difference;{difference})
                                                       (PP (P-ROLE in;{in})
                                                           (NP (NLYR (NLYR (N position;{position}))
                                                                     (CONJP (CONJ or;{or})
                                                                            (NLYR (N direction;{direction}))))
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (D a;{a})
                                                                       (N watch;{watch}))))))))
          (PUNC .))
  (ID 60_a_seiko_9r65))

arc(r_0060_0003__watches,r_0060_0002__mechanical,attrib).
arc(r_0060_0007__is,r_0060_0003__watches,r_0060_0001__For__nim).
arc(r_0060_0007__is,r_0060_0008__influenced,scope).
arc(r_0060_0008__influenced,r_0060_0005__the_r_0060_0006__accuracy,arg1).
arc(r_0060_0008__influenced,r_0060_0011__a_r_0060_0012__difference,r_0060_0009__even_r_0060_0010__by_arg0).
arc(r_0060_0011__a_r_0060_0012__difference,r_0060_0015__or,r_0060_0013__in).
arc(r_0060_0015__or,r_0060_0014__position,conj1).
arc(r_0060_0015__or,r_0060_0016__direction,conj2).
arc(r_0060_0015__or,r_0060_0018__a_r_0060_0019__watch,r_0060_0017__of).

fof(formula,axiom,
    ? [R_0060_0002__MECHANICAL,R_0060_0003__WATCHES,R_0060_0005__THE_R_0060_0006__ACCURACY,R_0060_0014__POSITION,R_0060_0016__DIRECTION,R_0060_0018__A_R_0060_0019__WATCH,R_0060_0015__OR,R_0060_0011__A_R_0060_0012__DIFFERENCE,R_0060_0007__IS_R_0060_0008__INFLUENCED] :
      ( r_0060_0002__mechanical(R_0060_0002__MECHANICAL)
      & r_0060_0005__the_r_0060_0006__accuracy(R_0060_0005__THE_R_0060_0006__ACCURACY)
      & r_0060_0014__position(R_0060_0014__POSITION)
      & r_0060_0016__direction(R_0060_0016__DIRECTION)
      & r_0060_0018__a_r_0060_0019__watch(R_0060_0018__A_R_0060_0019__WATCH)
      & r_0060_0007__is_r_0060_0008__influenced(R_0060_0007__IS_R_0060_0008__INFLUENCED)
      & has_r_0060_0009__even_r_0060_0010__by_arg0(R_0060_0007__IS_R_0060_0008__INFLUENCED,R_0060_0011__A_R_0060_0012__DIFFERENCE)
      & r_0060_0011__a_r_0060_0012__difference(R_0060_0011__A_R_0060_0012__DIFFERENCE)
      & has_r_0060_0013__in(R_0060_0011__A_R_0060_0012__DIFFERENCE,R_0060_0015__OR)
      & r_0060_0015__or(R_0060_0015__OR)
      & has_r_0060_0017__of(R_0060_0015__OR,R_0060_0018__A_R_0060_0019__WATCH)
      & has_conj2(R_0060_0015__OR,R_0060_0016__DIRECTION)
      & has_conj1(R_0060_0015__OR,R_0060_0014__POSITION)
      & has_arg1(R_0060_0007__IS_R_0060_0008__INFLUENCED,R_0060_0005__THE_R_0060_0006__ACCURACY)
      & has_r_0060_0001__For__nim(R_0060_0007__IS_R_0060_0008__INFLUENCED,R_0060_0003__WATCHES)
      & r_0060_0003__watches(R_0060_0003__WATCHES)
      & has_attrib(R_0060_0003__WATCHES,R_0060_0002__MECHANICAL) ) ).