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_85_22_IN_ORDER,R_85_23_TO_MAINTAIN,Z_85_A_SEIKO_9R65_70,R_85_26_PERFORMANCE,R_85_25_OPTIMAL,R_85_28_THE_WATCH,R_85_31_A_TIME,R_85_32_LONG,Z_85_A_SEIKO_9R65_35,R_85_4_AND,R_85_2_PERIODIC,R_85_3_INSPECTION,R_85_5_ADJUSTMENT,R_85_8_AND,R_85_7_DISASSEMBLY,R_85_9_CLEANING,R_85_11_OVERHAUL] :
      ( optimal(R_85_25_OPTIMAL)
      & the_watch(R_85_28_THE_WATCH)
      & long(R_85_32_LONG)
      & periodic(R_85_2_PERIODIC)
      & inspection(R_85_3_INSPECTION)
      & adjustment(R_85_5_ADJUSTMENT)
      & disassembly(R_85_7_DISASSEMBLY)
      & cleaning(R_85_9_CLEANING)
      & overhaul(R_85_11_OVERHAUL)
      & ! [R_85_18_3_YEARS,R_85_16_ONCE,R_85_15_APPROXIMATELY,R_85_20_4] :
          ( ( approximately(R_85_15_APPROXIMATELY)
            & 4(R_85_20_4)
            & 3_years(R_85_18_3_YEARS)
            & qual49(R_85_18_3_YEARS,R_85_16_ONCE)
            & once(R_85_16_ONCE)
            & qual50(R_85_16_ONCE,R_85_15_APPROXIMATELY)
            & to(R_85_18_3_YEARS,R_85_20_4) )
         => ? [R_85_13_IS_RECOMMENDED,Z_85_A_SEIKO_9R65_44] :
              ( is_recommended(R_85_13_IS_RECOMMENDED,Z_85_A_SEIKO_9R65_44,R_85_4_AND)
              & nim48(R_85_13_IS_RECOMMENDED,R_85_18_3_YEARS) ) )
      & conj2(CONJ2)
      & in_order(R_85_22_IN_ORDER)
      & conj1(R_85_22_IN_ORDER,R_85_23_TO_MAINTAIN)
      & to_maintain(R_85_23_TO_MAINTAIN,Z_85_A_SEIKO_9R65_70,R_85_26_PERFORMANCE)
      & performance(R_85_26_PERFORMANCE)
      & attrib76(R_85_26_PERFORMANCE,R_85_25_OPTIMAL)
      & of(R_85_26_PERFORMANCE,R_85_28_THE_WATCH)
      & for_nim92(R_85_23_TO_MAINTAIN,R_85_31_A_TIME)
      & a_time(R_85_31_A_TIME)
      & attrib95(R_85_31_A_TIME,R_85_32_LONG)
      & z_85_a_seiko_9r65_35(Z_85_A_SEIKO_9R65_35,R_85_4_AND,R_85_11_OVERHAUL)
      & and(R_85_4_AND)
      & attrib6(R_85_4_AND,R_85_2_PERIODIC)
      & conj1(R_85_4_AND,R_85_3_INSPECTION)
      & conj2(R_85_4_AND,R_85_5_ADJUSTMENT)
      & by(R_85_4_AND,R_85_8_AND)
      & and(R_85_8_AND)
      & conj1(R_85_8_AND,R_85_7_DISASSEMBLY)
      & conj2(R_85_8_AND,R_85_9_CLEANING) ) ).

( (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))