TSPC 57_a_seiko

57_a_seiko_9r65
This part has properties for expanding and contracting with temperature changes, and influences the accuracy of a watch.

( (IP-MAT (NP-SBJ;{BALANCE} (D This;{this})
                            (N part;{part}))
          (ILYR (ILYR (HVP;_Tn_ has;{have})
                      (NP-OB1 (NS properties;{property})
                              (PP (P-ROLE for;{for})
                                  (IP-PPL (ILYR (ILYR (VAG;_I_ expanding;{expand}))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (VAG;_I_ contracting;{contract}))))
                                          (PP-NIM (P-ROLE with;{with})
                                                  (NP (N temperature;{temperature})
                                                      (NS changes;{change})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_Tn_ influences;{influence})
                             (NP-OB1 (D the;{the})
                                     (N accuracy;{accuracy})
                                     (PP (P-ROLE of;{of})
                                         (NP (D a;{a})
                                             (N watch;{watch})))))))
          (PUNC .))
  (ID 57_a_seiko_9r65))

arc(r_0057_0003__has,r_0057_0001__This_r_0057_0002__part,arg0).
arc(r_0057_0003__has,r_0057_0004__properties,arg1).
arc(r_0057_0004__properties,r_0057_0007__and,r_0057_0005__for).
arc(r_0057_0006__expanding,r_0057_0010__temperature_r_0057_0011__changes,r_0057_0009__with__nim).
arc(r_0057_0006__expanding,z_0057_5005,arg0).
arc(r_0057_0007__and,r_0057_0006__expanding,conj1).
arc(r_0057_0007__and,r_0057_0008__contracting,conj2).
arc(r_0057_0008__contracting,r_0057_0010__temperature_r_0057_0011__changes,r_0057_0009__with__nim).
arc(r_0057_0008__contracting,z_0057_5005,arg0).
arc(r_0057_0013__and,r_0057_0003__has,conj1).
arc(r_0057_0013__and,r_0057_0014__influences,conj2).
arc(r_0057_0014__influences,r_0057_0001__This_r_0057_0002__part,arg0).
arc(r_0057_0014__influences,r_0057_0015__the_r_0057_0016__accuracy,arg1).
arc(r_0057_0015__the_r_0057_0016__accuracy,r_0057_0018__a_r_0057_0019__watch,r_0057_0017__of).

fof(formula,axiom,
    ? [R_0057_0001__THIS_R_0057_0002__PART,R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES,Z_0057_5005,R_0057_0006__EXPANDING,R_0057_0008__CONTRACTING,R_0057_0007__AND,R_0057_0004__PROPERTIES,R_0057_0003__HAS,R_0057_0018__A_R_0057_0019__WATCH,R_0057_0015__THE_R_0057_0016__ACCURACY,R_0057_0014__INFLUENCES,R_0057_0013__AND] :
      ( r_0057_0001__This_r_0057_0002__part(R_0057_0001__THIS_R_0057_0002__PART)
      & r_0057_0010__temperature_r_0057_0011__changes(R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES)
      & r_0057_0018__a_r_0057_0019__watch(R_0057_0018__A_R_0057_0019__WATCH)
      & z_0057_5005(Z_0057_5005)
      & r_0057_0013__and(R_0057_0013__AND)
      & has_conj2(R_0057_0013__AND,R_0057_0014__INFLUENCES)
      & r_0057_0014__influences(R_0057_0014__INFLUENCES)
      & has_arg1(R_0057_0014__INFLUENCES,R_0057_0015__THE_R_0057_0016__ACCURACY)
      & r_0057_0015__the_r_0057_0016__accuracy(R_0057_0015__THE_R_0057_0016__ACCURACY)
      & has_r_0057_0017__of(R_0057_0015__THE_R_0057_0016__ACCURACY,R_0057_0018__A_R_0057_0019__WATCH)
      & has_arg0(R_0057_0014__INFLUENCES,R_0057_0001__THIS_R_0057_0002__PART)
      & has_conj1(R_0057_0013__AND,R_0057_0003__HAS)
      & r_0057_0003__has(R_0057_0003__HAS)
      & has_arg1(R_0057_0003__HAS,R_0057_0004__PROPERTIES)
      & r_0057_0004__properties(R_0057_0004__PROPERTIES)
      & has_r_0057_0005__for(R_0057_0004__PROPERTIES,R_0057_0007__AND)
      & r_0057_0007__and(R_0057_0007__AND)
      & has_conj2(R_0057_0007__AND,R_0057_0008__CONTRACTING)
      & r_0057_0008__contracting(R_0057_0008__CONTRACTING)
      & has_arg0(R_0057_0008__CONTRACTING,Z_0057_5005)
      & has_r_0057_0009__with__nim(R_0057_0008__CONTRACTING,R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES)
      & has_conj1(R_0057_0007__AND,R_0057_0006__EXPANDING)
      & r_0057_0006__expanding(R_0057_0006__EXPANDING)
      & has_arg0(R_0057_0006__EXPANDING,Z_0057_5005)
      & has_r_0057_0009__with__nim(R_0057_0006__EXPANDING,R_0057_0010__TEMPERATURE_R_0057_0011__CHANGES)
      & has_arg0(R_0057_0003__HAS,R_0057_0001__THIS_R_0057_0002__PART) ) ).