91_a_seiko_9r65
Please contact the retailer from whom the watch was purchased for inspection and adjustment by disassembly and cleaning (overhaul).
arc(r_0091_0001__Please_r_0091_0002__contact, r_0091_0003__the_r_0091_0004__retailer, arg1).
arc(r_0091_0001__Please_r_0091_0002__contact, z_000_91_a_seiko_9r65_1, 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_nim15).
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_nim35).
arc(r_0091_0010__purchased, z_000_91_a_seiko_9r65_28, 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_000_91_a_seiko_9r65_62, r_0091_0013__and, arg0).
arc(z_000_91_a_seiko_9r65_62, r_0091_0020__overhaul, prd).
fof(formula,axiom,
? [R_0091_0003__THE_R_0091_0004__RETAILER,Z_000_91_A_SEIKO_9R65_1,R_0091_0001__PLEASE_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_000_91_A_SEIKO_9R65_28,R_0091_0009__WAS_R_0091_0010__PURCHASED,R_0091_0020__OVERHAUL,Z_000_91_A_SEIKO_9R65_62] :
( 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_000_91_a_seiko_9r65_1(Z_000_91_A_SEIKO_9R65_1)
& z_000_91_a_seiko_9r65_28(Z_000_91_A_SEIKO_9R65_28)
& z_000_91_a_seiko_9r65_62(Z_000_91_A_SEIKO_9R65_62)
& has_prd(Z_000_91_A_SEIKO_9R65_62,R_0091_0020__OVERHAUL)
& has_arg0(Z_000_91_A_SEIKO_9R65_62,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_000_91_A_SEIKO_9R65_28)
& has_r_0091_0011__for_nim35(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_nim15(R_0091_0009__WAS_R_0091_0010__PURCHASED,R_0091_0003__THE_R_0091_0004__RETAILER)
& r_0091_0001__Please_r_0091_0002__contact(R_0091_0001__PLEASE_R_0091_0002__CONTACT)
& has_arg0(R_0091_0001__PLEASE_R_0091_0002__CONTACT,Z_000_91_A_SEIKO_9R65_1)
& has_arg1(R_0091_0001__PLEASE_R_0091_0002__CONTACT,R_0091_0003__THE_R_0091_0004__RETAILER) ) ).
( (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-)
(IP-PPL (NP-PRD (N overhaul;{overhaul})))
(PURB -RRB-))))))
(PUNC .))
(ID 91_a_seiko_9r65))