TSPC 91_a_seiko

91_a_seiko_9r65
Please contact the retailer from whom the watch was purchased for inspection and adjustment by disassembly and cleaning (overhaul).

( (IP-IMP (FRM Please)
          (VB;_Tn_ contact;{contact})
          (NP-OB1 (D the;{the})
                  (N retailer;{retailer})
                  (IP-REL (PP-132 (P-ROLE from;{from})
                                  (NP (RPRO whom;{who})))
                          (NP-SBJ (D the;{the})
                                  (N watch;{watch}))
                          (BED;_cat_VePASS_ was;{be})
                          (IP-PPL-CAT (PP-NIM *ICH*-132)
                                      (NP-LGS *)
                                      (VVN;_Tn_ purchased;{purchase})
                                      (PP-NIM (P-ROLE for;{for})
                                              (NP (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-))))))
          (PUNC .))
  (ID 91_a_seiko_9r65))

arc(r_0091_0002__contact,r_0091_0003__the_r_0091_0004__retailer,arg1).
arc(r_0091_0002__contact,z_0091_5002,arg0).
arc(r_0091_0009__was,r_0091_0010__purchased,scope).
arc(r_0091_0010__purchased,r_0091_0003__the_r_0091_0004__retailer,r_0091_0005__from__nim).
arc(r_0091_0010__purchased,r_0091_0007__the_r_0091_0008__watch,arg1).
arc(r_0091_0010__purchased,r_0091_0013__and,r_0091_0011__for__nim).
arc(r_0091_0010__purchased,z_0091_5015___star_,arg0).
arc(r_0091_0013__and,r_0091_0012__inspection,conj1).
arc(r_0091_0013__and,r_0091_0014__adjustment,conj2).
arc(r_0091_0013__and,r_0091_0017__and,r_0091_0015__by).
arc(r_0091_0017__and,r_0091_0016__disassembly,conj1).
arc(r_0091_0017__and,r_0091_0018__cleaning,conj2).
arc(z_0091_5011,r_0091_0013__and,arg0).
arc(z_0091_5011,r_0091_0020__overhaul,prd).

fof(formula,axiom,
    ? [R_0091_0003__THE_R_0091_0004__RETAILER,Z_0091_5002,R_0091_0002__CONTACT,R_0091_0007__THE_R_0091_0008__WATCH,R_0091_0012__INSPECTION,R_0091_0014__ADJUSTMENT,R_0091_0016__DISASSEMBLY,R_0091_0018__CLEANING,R_0091_0017__AND,R_0091_0013__AND,Z_0091_5015___STAR_,R_0091_0009__WAS_R_0091_0010__PURCHASED,R_0091_0020__OVERHAUL,Z_0091_5011] :
      ( r_0091_0003__the_r_0091_0004__retailer(R_0091_0003__THE_R_0091_0004__RETAILER)
      & r_0091_0007__the_r_0091_0008__watch(R_0091_0007__THE_R_0091_0008__WATCH)
      & r_0091_0012__inspection(R_0091_0012__INSPECTION)
      & r_0091_0014__adjustment(R_0091_0014__ADJUSTMENT)
      & r_0091_0016__disassembly(R_0091_0016__DISASSEMBLY)
      & r_0091_0018__cleaning(R_0091_0018__CLEANING)
      & r_0091_0020__overhaul(R_0091_0020__OVERHAUL)
      & z_0091_5002(Z_0091_5002)
      & z_0091_5015___star_(Z_0091_5015___STAR_)
      & z_0091_5011(Z_0091_5011)
      & has_prd(Z_0091_5011,R_0091_0020__OVERHAUL)
      & has_arg0(Z_0091_5011,R_0091_0013__AND)
      & r_0091_0013__and(R_0091_0013__AND)
      & has_r_0091_0015__by(R_0091_0013__AND,R_0091_0017__AND)
      & r_0091_0017__and(R_0091_0017__AND)
      & has_conj2(R_0091_0017__AND,R_0091_0018__CLEANING)
      & has_conj1(R_0091_0017__AND,R_0091_0016__DISASSEMBLY)
      & has_conj2(R_0091_0013__AND,R_0091_0014__ADJUSTMENT)
      & has_conj1(R_0091_0013__AND,R_0091_0012__INSPECTION)
      & r_0091_0009__was_r_0091_0010__purchased(R_0091_0009__WAS_R_0091_0010__PURCHASED)
      & has_arg0(R_0091_0009__WAS_R_0091_0010__PURCHASED,Z_0091_5015___STAR_)
      & has_r_0091_0011__for__nim(R_0091_0009__WAS_R_0091_0010__PURCHASED,R_0091_0013__AND)
      & has_arg1(R_0091_0009__WAS_R_0091_0010__PURCHASED,R_0091_0007__THE_R_0091_0008__WATCH)
      & has_r_0091_0005__from__nim(R_0091_0009__WAS_R_0091_0010__PURCHASED,R_0091_0003__THE_R_0091_0004__RETAILER)
      & r_0091_0002__contact(R_0091_0002__CONTACT)
      & has_arg0(R_0091_0002__CONTACT,Z_0091_5002)
      & has_arg1(R_0091_0002__CONTACT,R_0091_0003__THE_R_0091_0004__RETAILER) ) ).