TSPC 88_a_seiko

88_a_seiko_9r65
Inspection and adjustment by disassembly and cleaning (overhaul) within 3 to 4 years from the date of purchase is highly recommended for long-time use of your watch.

arc(r_0088_0002__and, r_0088_0001__Inspection, conj1).
arc(r_0088_0002__and, r_0088_0003__adjustment, conj2).
arc(r_0088_0002__and, r_0088_0006__and, r_0088_0004__by).
arc(r_0088_0006__and, r_0088_0005__disassembly, conj1).
arc(r_0088_0006__and, r_0088_0007__cleaning, conj2).
arc(r_0088_0012__3_r_0088_0015__years, r_0088_0014__4, r_0088_0013__to).
arc(r_0088_0012__3_r_0088_0015__years, r_0088_0017__the_r_0088_0018__date, r_0088_0016__from).
arc(r_0088_0017__the_r_0088_0018__date, r_0088_0020__purchase, r_0088_0019__of).
arc(r_0088_0021__is, r_0088_0012__3_r_0088_0015__years, r_0088_0011__within_nim38).
arc(r_0088_0021__is, r_0088_0023__recommended, scope).
arc(r_0088_0023__recommended, r_0088_0002__and, arg1).
arc(r_0088_0023__recommended, r_0088_0022__highly, nim68).
arc(r_0088_0023__recommended, r_0088_0026__use, r_0088_0024__for_nim76).
arc(r_0088_0023__recommended, z_000_88_a_seiko_9r65_66, arg0).
arc(r_0088_0026__use, r_0088_0025__long__hyphen__time, attrib77).
arc(r_0088_0026__use, r_0088_0029__watch, r_0088_0027__of).
arc(r_0088_0029__watch, r_0088_0028__your, gen).
arc(z_000_88_a_seiko_9r65_29, r_0088_0002__and, arg0).
arc(z_000_88_a_seiko_9r65_29, r_0088_0009__overhaul, prd).

fof(formula,axiom,
    ? [R_0088_0014__4,R_0088_0020__PURCHASE,R_0088_0017__THE_R_0088_0018__DATE,R_0088_0012__3_R_0088_0015__YEARS,R_0088_0001__INSPECTION,R_0088_0003__ADJUSTMENT,R_0088_0005__DISASSEMBLY,R_0088_0007__CLEANING,R_0088_0006__AND,R_0088_0002__AND,R_0088_0022__HIGHLY,R_0088_0025__LONG__HYPHEN__TIME,R_0088_0028__YOUR,R_0088_0029__WATCH,R_0088_0026__USE,Z_000_88_A_SEIKO_9R65_66,R_0088_0021__IS_R_0088_0023__RECOMMENDED,R_0088_0009__OVERHAUL,Z_000_88_A_SEIKO_9R65_29] :
      ( r_0088_0001__Inspection(R_0088_0001__INSPECTION)
      & r_0088_0003__adjustment(R_0088_0003__ADJUSTMENT)
      & r_0088_0005__disassembly(R_0088_0005__DISASSEMBLY)
      & r_0088_0007__cleaning(R_0088_0007__CLEANING)
      & r_0088_0009__overhaul(R_0088_0009__OVERHAUL)
      & r_0088_0014__4(R_0088_0014__4)
      & r_0088_0020__purchase(R_0088_0020__PURCHASE)
      & r_0088_0022__highly(R_0088_0022__HIGHLY)
      & r_0088_0025__long__hyphen__time(R_0088_0025__LONG__HYPHEN__TIME)
      & r_0088_0028__your(R_0088_0028__YOUR)
      & z_000_88_a_seiko_9r65_66(Z_000_88_A_SEIKO_9R65_66)
      & z_000_88_a_seiko_9r65_29(Z_000_88_A_SEIKO_9R65_29)
      & has_prd(Z_000_88_A_SEIKO_9R65_29,R_0088_0009__OVERHAUL)
      & has_arg0(Z_000_88_A_SEIKO_9R65_29,R_0088_0002__AND)
      & r_0088_0002__and(R_0088_0002__AND)
      & has_r_0088_0004__by(R_0088_0002__AND,R_0088_0006__AND)
      & r_0088_0006__and(R_0088_0006__AND)
      & has_conj2(R_0088_0006__AND,R_0088_0007__CLEANING)
      & has_conj1(R_0088_0006__AND,R_0088_0005__DISASSEMBLY)
      & has_conj2(R_0088_0002__AND,R_0088_0003__ADJUSTMENT)
      & has_conj1(R_0088_0002__AND,R_0088_0001__INSPECTION)
      & r_0088_0021__is_r_0088_0023__recommended(R_0088_0021__IS_R_0088_0023__RECOMMENDED)
      & has_arg0(R_0088_0021__IS_R_0088_0023__RECOMMENDED,Z_000_88_A_SEIKO_9R65_66)
      & has_r_0088_0024__for_nim76(R_0088_0021__IS_R_0088_0023__RECOMMENDED,R_0088_0026__USE)
      & r_0088_0026__use(R_0088_0026__USE)
      & has_r_0088_0027__of(R_0088_0026__USE,R_0088_0029__WATCH)
      & r_0088_0029__watch(R_0088_0029__WATCH)
      & has_gen(R_0088_0029__WATCH,R_0088_0028__YOUR)
      & has_attrib77(R_0088_0026__USE,R_0088_0025__LONG__HYPHEN__TIME)
      & has_nim68(R_0088_0021__IS_R_0088_0023__RECOMMENDED,R_0088_0022__HIGHLY)
      & has_arg1(R_0088_0021__IS_R_0088_0023__RECOMMENDED,R_0088_0002__AND)
      & has_r_0088_0011__within_nim38(R_0088_0021__IS_R_0088_0023__RECOMMENDED,R_0088_0012__3_R_0088_0015__YEARS)
      & r_0088_0012__3_r_0088_0015__years(R_0088_0012__3_R_0088_0015__YEARS)
      & has_r_0088_0016__from(R_0088_0012__3_R_0088_0015__YEARS,R_0088_0017__THE_R_0088_0018__DATE)
      & r_0088_0017__the_r_0088_0018__date(R_0088_0017__THE_R_0088_0018__DATE)
      & has_r_0088_0019__of(R_0088_0017__THE_R_0088_0018__DATE,R_0088_0020__PURCHASE)
      & has_r_0088_0013__to(R_0088_0012__3_R_0088_0015__YEARS,R_0088_0014__4) ) ).

( (IP-MAT (NP-SBJ (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-))
          (PP-NIM (P-ROLE within;{within})
                  (NP (NUM 3)
                      (PP (P-ROLE to;{to})
                          (NP (NUM 4)))
                      (NS years;{year})
                      (PP (P-ROLE from;{from})
                          (NP (D the;{the})
                              (N date;{date})
                              (PP (P-ROLE of;{of})
                                  (NP (N purchase;{purchase})))))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV highly;{highly}))
                      (VVN;_Tn_ recommended;{recommend})
                      (PP-NIM (P-ROLE for;{for})
                              (NP (ADJP (ADJ long_<hyphen>_time;{long_time}))
                                  (N use;{use})
                                  (PP (P-ROLE of;{of})
                                      (NP (NP-GEN (PRO;_genm_ your;{your}))
                                          (N watch;{watch}))))))
          (PUNC .))
  (ID 88_a_seiko_9r65))