TSPC 85_a_seiko

85_a_seiko_9r65
<white circle> Periodic inspection and adjustment by disassembly and cleaning (overhaul) is recommended approximately once every 3 to 4 years in order to maintain optimal performance of the watch for a long time.

arc(r_0085_0004__and, r_0085_0002__Periodic, attrib6).
arc(r_0085_0004__and, r_0085_0003__inspection, conj1).
arc(r_0085_0004__and, r_0085_0005__adjustment, conj2).
arc(r_0085_0004__and, r_0085_0008__and, r_0085_0006__by).
arc(r_0085_0008__and, r_0085_0007__disassembly, conj1).
arc(r_0085_0008__and, r_0085_0009__cleaning, conj2).
arc(r_0085_0013__is, r_0085_0014__recommended, scope).
arc(r_0085_0013__is, r_0085_0018__3_r_0085_0021__years, nim48).
arc(r_0085_0014__recommended, r_0085_0004__and, arg1).
arc(r_0085_0014__recommended, z_000_85_a_seiko_9r65_44, arg0).
arc(r_0085_0016__once, r_0085_0015__approximately, qual50).
arc(r_0085_0017__every_quant, r_0085_0013__is, scope).
arc(r_0085_0017__every_quant, r_0085_0018__3_r_0085_0021__years, restriction).
arc(r_0085_0018__3_r_0085_0021__years, r_0085_0016__once, qual49).
arc(r_0085_0018__3_r_0085_0021__years, r_0085_0020__4, r_0085_0019__to).
arc(r_0085_0022__in_order, r_0085_0017__every_quant, scope).
arc(r_0085_0022__in_order, r_0085_0023__to_r_0085_0024__maintain, restriction).
arc(r_0085_0023__to_r_0085_0024__maintain, r_0085_0026__performance, arg1).
arc(r_0085_0023__to_r_0085_0024__maintain, r_0085_0031__a_r_0085_0033__time, r_0085_0030__for_nim92).
arc(r_0085_0023__to_r_0085_0024__maintain, z_000_85_a_seiko_9r65_70, arg0).
arc(r_0085_0026__performance, r_0085_0025__optimal, attrib76).
arc(r_0085_0026__performance, r_0085_0028__the_r_0085_0029__watch, r_0085_0027__of).
arc(r_0085_0031__a_r_0085_0033__time, r_0085_0032__long, attrib95).
arc(z_000_85_a_seiko_9r65_35, r_0085_0004__and, arg0).
arc(z_000_85_a_seiko_9r65_35, r_0085_0011__overhaul, prd).

fof(formula,axiom,
    ? [R_0085_0025__OPTIMAL,R_0085_0028__THE_R_0085_0029__WATCH,R_0085_0026__PERFORMANCE,R_0085_0032__LONG,R_0085_0031__A_R_0085_0033__TIME,Z_000_85_A_SEIKO_9R65_70,R_0085_0023__TO_R_0085_0024__MAINTAIN,R_0085_0022__IN_ORDER,R_0085_0002__PERIODIC,R_0085_0003__INSPECTION,R_0085_0005__ADJUSTMENT,R_0085_0007__DISASSEMBLY,R_0085_0009__CLEANING,R_0085_0008__AND,R_0085_0004__AND,R_0085_0011__OVERHAUL,Z_000_85_A_SEIKO_9R65_35] :
      ( r_0085_0002__Periodic(R_0085_0002__PERIODIC)
      & r_0085_0003__inspection(R_0085_0003__INSPECTION)
      & r_0085_0005__adjustment(R_0085_0005__ADJUSTMENT)
      & r_0085_0007__disassembly(R_0085_0007__DISASSEMBLY)
      & r_0085_0009__cleaning(R_0085_0009__CLEANING)
      & r_0085_0011__overhaul(R_0085_0011__OVERHAUL)
      & r_0085_0025__optimal(R_0085_0025__OPTIMAL)
      & r_0085_0028__the_r_0085_0029__watch(R_0085_0028__THE_R_0085_0029__WATCH)
      & r_0085_0032__long(R_0085_0032__LONG)
      & z_000_85_a_seiko_9r65_70(Z_000_85_A_SEIKO_9R65_70)
      & z_000_85_a_seiko_9r65_35(Z_000_85_A_SEIKO_9R65_35)
      & has_prd(Z_000_85_A_SEIKO_9R65_35,R_0085_0011__OVERHAUL)
      & has_arg0(Z_000_85_A_SEIKO_9R65_35,R_0085_0004__AND)
      & r_0085_0004__and(R_0085_0004__AND)
      & has_r_0085_0006__by(R_0085_0004__AND,R_0085_0008__AND)
      & r_0085_0008__and(R_0085_0008__AND)
      & has_conj2(R_0085_0008__AND,R_0085_0009__CLEANING)
      & has_conj1(R_0085_0008__AND,R_0085_0007__DISASSEMBLY)
      & has_conj2(R_0085_0004__AND,R_0085_0005__ADJUSTMENT)
      & has_conj1(R_0085_0004__AND,R_0085_0003__INSPECTION)
      & has_attrib6(R_0085_0004__AND,R_0085_0002__PERIODIC)
      & r_0085_0022__in_order(R_0085_0022__IN_ORDER)
      & has_conj1(R_0085_0022__IN_ORDER,R_0085_0023__TO_R_0085_0024__MAINTAIN)
      & r_0085_0023__to_r_0085_0024__maintain(R_0085_0023__TO_R_0085_0024__MAINTAIN)
      & has_arg0(R_0085_0023__TO_R_0085_0024__MAINTAIN,Z_000_85_A_SEIKO_9R65_70)
      & has_r_0085_0030__for_nim92(R_0085_0023__TO_R_0085_0024__MAINTAIN,R_0085_0031__A_R_0085_0033__TIME)
      & r_0085_0031__a_r_0085_0033__time(R_0085_0031__A_R_0085_0033__TIME)
      & has_attrib95(R_0085_0031__A_R_0085_0033__TIME,R_0085_0032__LONG)
      & has_arg1(R_0085_0023__TO_R_0085_0024__MAINTAIN,R_0085_0026__PERFORMANCE)
      & r_0085_0026__performance(R_0085_0026__PERFORMANCE)
      & has_r_0085_0027__of(R_0085_0026__PERFORMANCE,R_0085_0028__THE_R_0085_0029__WATCH)
      & has_attrib76(R_0085_0026__PERFORMANCE,R_0085_0025__OPTIMAL)
      & ! [R_0085_0018__3_R_0085_0021__YEARS,R_0085_0015__APPROXIMATELY,R_0085_0016__ONCE,R_0085_0020__4] :
          ( ( r_0085_0015__approximately(R_0085_0015__APPROXIMATELY)
            & r_0085_0020__4(R_0085_0020__4)
            & r_0085_0018__3_r_0085_0021__years(R_0085_0018__3_R_0085_0021__YEARS)
            & has_r_0085_0019__to(R_0085_0018__3_R_0085_0021__YEARS,R_0085_0020__4)
            & has_qual49(R_0085_0018__3_R_0085_0021__YEARS,R_0085_0016__ONCE)
            & r_0085_0016__once(R_0085_0016__ONCE)
            & has_qual50(R_0085_0016__ONCE,R_0085_0015__APPROXIMATELY) )
         => ? [Z_000_85_A_SEIKO_9R65_44,R_0085_0013__IS_R_0085_0014__RECOMMENDED] :
              ( z_000_85_a_seiko_9r65_44(Z_000_85_A_SEIKO_9R65_44)
              & r_0085_0013__is_r_0085_0014__recommended(R_0085_0013__IS_R_0085_0014__RECOMMENDED)
              & has_arg0(R_0085_0013__IS_R_0085_0014__RECOMMENDED,Z_000_85_A_SEIKO_9R65_44)
              & has_arg1(R_0085_0013__IS_R_0085_0014__RECOMMENDED,R_0085_0004__AND)
              & has_nim48(R_0085_0013__IS_R_0085_0014__RECOMMENDED,R_0085_0018__3_R_0085_0021__YEARS) ) ) ) ).

( (IP-MAT (SYM <white_circle>)
          (ILYR (NP-SBJ (ADJP (ADJ Periodic;{periodic}))
                        (NLYR (NLYR (N inspection;{inspection}))
                              (CONJP (CONJ and;{and})
                                     (NLYR (N adjustment;{adjustment}))))
                        (PP (P-ROLE by;{by})
                            (NP (NLYR (NLYR (N disassembly;{disassembly}))
                                      (CONJP (CONJ and;{and})
                                             (NLYR (N cleaning;{cleaning}))))))
                        (PULB -LRB-)
                        (IP-PPL (NP-PRD (N overhaul;{overhaul})))
                        (PURB -RRB-))
                (BEP;_cat_VePASS_ is;{be})
                (IP-PPL-CAT (NP-LGS *)
                            (VVN;_Tn_ recommended;{recommend}))
                (NP-NIM (ADVP (ADVP (ADV approximately;{approximately}))
                              (ADV once;{once}))
                        (Q every;{every})
                        (NUM 3)
                        (PP (P-ROLE to;{to})
                            (NP (NUM 4)))
                        (NS years;{year})))
          (PP-SCON (P-CONN in_order;{in_order})
                   (IP-INF3 (TO to;{to})
                            (VB;_Tn_ maintain;{maintain})
                            (NP-OB1 (ADJP (ADJ optimal;{optimal}))
                                    (N performance;{performance})
                                    (PP (P-ROLE of;{of})
                                        (NP (D the;{the})
                                            (N watch;{watch}))))
                            (PP-NIM (P-ROLE for;{for})
                                    (NP (D a;{a})
                                        (ADJP (ADJ long;{long}))
                                        (N time;{time})))))
          (PUNC .))
  (ID 85_a_seiko_9r65))