TSPC 89_a_seiko

89_a_seiko_9r65
According to use conditions, the oil retaining condition of your watch mechanical parts may deteriorate, abrasion of the parts may occur due to contamination of oil, which may ultimately lead the watch to stop.

arc(r_0089_0005__the_r_0089_0008__condition, r_0089_0011__watch_r_0089_0013__parts, r_0089_0009__of).
arc(r_0089_0007__retaining, r_0089_0005__the_r_0089_0008__condition, arg0).
arc(r_0089_0007__retaining, r_0089_0006__oil, arg1).
arc(r_0089_0011__watch_r_0089_0013__parts, r_0089_0010__your, gen).
arc(r_0089_0011__watch_r_0089_0013__parts, r_0089_0012__mechanical, attrib34).
arc(r_0089_0014__may, r_0089_0002__use_r_0089_0003__conditions, r_0089_0001__According_to_nim5).
arc(r_0089_0014__may, r_0089_0015__deteriorate, scope).
arc(r_0089_0015__deteriorate, r_0089_0005__the_r_0089_0008__condition, arg0).
arc(r_0089_0017__abrasion, r_0089_0019__the_r_0089_0020__parts, r_0089_0018__of).
arc(r_0089_0021__may, r_0089_0002__use_r_0089_0003__conditions, r_0089_0001__According_to_nim5).
arc(r_0089_0021__may, r_0089_0022__occur, scope).
arc(r_0089_0022__occur, r_0089_0017__abrasion, arg0).
arc(r_0089_0022__occur, r_0089_0024__contamination, r_0089_0023__due_to_nim69).
arc(r_0089_0024__contamination, r_0089_0026__oil, r_0089_0025__of).
arc(r_0089_0029__may, r_0089_0031__lead, scope).
arc(r_0089_0031__lead, r_0089_0017__abrasion, arg0).
arc(r_0089_0031__lead, r_0089_0030__ultimately, nim87).
arc(r_0089_0031__lead, r_0089_0032__the_r_0089_0033__watch, arg1).
arc(r_0089_0031__lead, r_0089_0034__to_r_0089_0035__stop, prd).
arc(r_0089_0034__to_r_0089_0035__stop, x_000_89_a_seiko_9r65_97, arg0).
arc(z_000_89_a_seiko_9r65_12, r_0089_0014__may, conj1).
arc(z_000_89_a_seiko_9r65_12, r_0089_0021__may, conj2).

fof(formula,axiom,
    ? [R_89_7_RETAINING,R_89_6_OIL,R_89_29_MAY_LEAD,R_89_32_THE_WATCH,R_89_30_ULTIMATELY,R_89_34_TO_STOP,X_89_A_SEIKO_9R65_97,Z_89_A_SEIKO_9R65_12,R_89_14_MAY_DETERIORATE,R_89_5_THE_CONDITION,R_89_11_WATCH_PARTS,R_89_12_MECHANICAL,R_89_10_YOUR,R_89_21_MAY_OCCUR,R_89_17_ABRASION,R_89_19_THE_PARTS,R_89_2_USE_CONDITIONS,R_89_24_CONTAMINATION,R_89_26_OIL] :
      ( oil(R_89_6_OIL)
      & the_watch(R_89_32_THE_WATCH)
      & ultimately(R_89_30_ULTIMATELY)
      & mechanical(R_89_12_MECHANICAL)
      & your(R_89_10_YOUR)
      & the_parts(R_89_19_THE_PARTS)
      & use_conditions(R_89_2_USE_CONDITIONS)
      & oil(R_89_26_OIL)
      & retaining(R_89_7_RETAINING,R_89_5_THE_CONDITION,R_89_6_OIL)
      & the_condition(R_89_5_THE_CONDITION)
      & of(R_89_5_THE_CONDITION,R_89_11_WATCH_PARTS)
      & watch_parts(R_89_11_WATCH_PARTS)
      & attrib34(R_89_11_WATCH_PARTS,R_89_12_MECHANICAL)
      & gen(R_89_11_WATCH_PARTS,R_89_10_YOUR)
      & may_lead(R_89_29_MAY_LEAD,R_89_17_ABRASION,R_89_32_THE_WATCH,R_89_34_TO_STOP)
      & abrasion(R_89_17_ABRASION)
      & of(R_89_17_ABRASION,R_89_19_THE_PARTS)
      & to_stop(R_89_34_TO_STOP,X_89_A_SEIKO_9R65_97)
      & nim87(R_89_29_MAY_LEAD,R_89_30_ULTIMATELY)
      & z_89_a_seiko_9r65_12(Z_89_A_SEIKO_9R65_12)
      & conj1(Z_89_A_SEIKO_9R65_12,R_89_14_MAY_DETERIORATE)
      & may_deteriorate(R_89_14_MAY_DETERIORATE,R_89_5_THE_CONDITION)
      & according_to_nim5(R_89_14_MAY_DETERIORATE,R_89_2_USE_CONDITIONS)
      & conj2(Z_89_A_SEIKO_9R65_12,R_89_21_MAY_OCCUR)
      & may_occur(R_89_21_MAY_OCCUR,R_89_17_ABRASION)
      & according_to_nim5(R_89_21_MAY_OCCUR,R_89_2_USE_CONDITIONS)
      & due_to_nim69(R_89_21_MAY_OCCUR,R_89_24_CONTAMINATION)
      & contamination(R_89_24_CONTAMINATION)
      & of(R_89_24_CONTAMINATION,R_89_26_OIL) ) ).

( (IP-MAT (PP-NIM (P-ROLE According_to;{according_to})
                  (NP (N use;{use})
                      (NS conditions;{condition})))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ (D the;{the})
                              (IP-PPL (NP-OB1 (N oil;{oil}))
                                      (VAG;_Tn_ retaining;{retain}))
                              (N condition;{condition})
                              (PP (P-ROLE of;{of})
                                  (NP;{PARTS} (NP-GEN (PRO;_genm_ your;{your}))
                                              (N watch;{watch})
                                              (ADJP (ADJ mechanical;{mechanical}))
                                              (NS parts;{part}))))
                      (MD;_cat_Vi_ may;{may})
                      (IP-INF-CAT (VB;_I_ deteriorate;{deteriorate})))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (N abrasion;{abrasion})
                                     (PP (P-ROLE of;{of})
                                         (NP;{PARTS} (D the;{the})
                                                     (NS parts;{part})))
                                     (IP-REL *ICH*-123))
                             (MD;_cat_Vi_ may;{may})
                             (IP-INF-CAT (VB;_I_ occur;{occur})
                                         (PP-NIM (P-ROLE due_to;{due_to})
                                                 (NP (N contamination;{contamination})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (N oil;{oil}))))))
                             (PUNC ,)
                             (IP-REL-EPD-123 (NP-SBJ (RPRO which;{which}))
                                             (MD;_cat_Vi_ may;{may})
                                             (IP-INF-CAT (ADVP-NIM (ADV ultimately;{ultimately}))
                                                         (VB;_Cn.t_ lead;{lead})
                                                         (NP-OB1 (D the;{the})
                                                                 (N watch;{watch}))
                                                         (IP-INF-PRD (TO to;{to})
                                                                     (VB;_I_ stop;{stop})))))))
          (PUNC .))
  (ID 89_a_seiko_9r65))