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.

( (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-)
                        (PRN (NP (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})
                        (NLYR (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))

arc(r_0085_0004__and,r_0085_0002__Periodic,attrib).
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_0021__years,nim).
arc(r_0085_0014__recommended,r_0085_0004__and,arg1).
arc(r_0085_0014__recommended,z_0085_5027___star_,arg0).
arc(r_0085_0016__once,r_0085_0015__approximately,qual).
arc(r_0085_0017__every__quant,r_0085_0013__is,scope).
arc(r_0085_0017__every__quant,r_0085_0021__years,restriction).
arc(r_0085_0018__3,r_0085_0020__4,r_0085_0019__to).
arc(r_0085_0021__years,r_0085_0016__once,qual).
arc(r_0085_0021__years,r_0085_0018__3,nim).
arc(r_0085_0022__in_order,r_0085_0017__every__quant,scope).
arc(r_0085_0022__in_order,r_0085_0024__maintain,restriction).
arc(r_0085_0024__maintain,r_0085_0026__performance,arg1).
arc(r_0085_0024__maintain,r_0085_0031__a_r_0085_0033__time,r_0085_0030__for__nim).
arc(r_0085_0024__maintain,z_0085_5003,arg0).
arc(r_0085_0026__performance,r_0085_0025__optimal,attrib).
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,attrib).
arc(z_0085_5016,r_0085_0004__and,arg0).
arc(z_0085_5016,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_0085_5003,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_0085_5016] :
      ( 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_0085_5003(Z_0085_5003)
      & z_0085_5016(Z_0085_5016)
      & has_prd(Z_0085_5016,R_0085_0011__OVERHAUL)
      & has_arg0(Z_0085_5016,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_attrib(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_0024__MAINTAIN)
      & r_0085_0024__maintain(R_0085_0024__MAINTAIN)
      & has_arg0(R_0085_0024__MAINTAIN,Z_0085_5003)
      & has_r_0085_0030__for__nim(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_attrib(R_0085_0031__A_R_0085_0033__TIME,R_0085_0032__LONG)
      & has_arg1(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_attrib(R_0085_0026__PERFORMANCE,R_0085_0025__OPTIMAL)
      & ! [R_0085_0021__YEARS,R_0085_0015__APPROXIMATELY,R_0085_0016__ONCE,R_0085_0020__4,R_0085_0018__3] :
          ( ( r_0085_0015__approximately(R_0085_0015__APPROXIMATELY)
            & r_0085_0020__4(R_0085_0020__4)
            & r_0085_0021__years(R_0085_0021__YEARS)
            & has_nim(R_0085_0021__YEARS,R_0085_0018__3)
            & r_0085_0018__3(R_0085_0018__3)
            & has_r_0085_0019__to(R_0085_0018__3,R_0085_0020__4)
            & has_qual(R_0085_0021__YEARS,R_0085_0016__ONCE)
            & r_0085_0016__once(R_0085_0016__ONCE)
            & has_qual(R_0085_0016__ONCE,R_0085_0015__APPROXIMATELY) )
         => ? [Z_0085_5027___STAR_,R_0085_0013__IS_R_0085_0014__RECOMMENDED] :
              ( z_0085_5027___star_(Z_0085_5027___STAR_)
              & 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_0085_5027___STAR_)
              & has_arg1(R_0085_0013__IS_R_0085_0014__RECOMMENDED,R_0085_0004__AND)
              & has_nim(R_0085_0013__IS_R_0085_0014__RECOMMENDED,R_0085_0021__YEARS) ) ) ) ).