92_a_seiko_9r65
For replacement of parts, please specify “GRAND SEIKO GENUINE PARTS”.
( (IP-IMP (PP (P-ROLE For;{for})
(NP (N replacement;{replacement})
(PP (P-ROLE of;{of})
(NP (NS parts;{part})))))
(PUNC ,)
(FRM please)
(VB;_Tn_ specify;{specify})
(NP-OB1 (PULQ <ldquo>)
(NPR GRAND;{Grand})
(NPR SEIKO;{SEIKO})
(ADJP (ADJ GENUINE;{genuine}))
(NS PARTS;{part})
(PURQ <rdquo>))
(PUNC .))
(ID 92_a_seiko_9r65))
arc(r_0092_0002__replacement,r_0092_0004__parts,r_0092_0003__of).
arc(r_0092_0007__specify,r_0092_0002__replacement,r_0092_0001__For).
arc(r_0092_0007__specify,r_0092_0009__GRAND_r_0092_0010__SEIKO_r_0092_0012__PARTS,arg1).
arc(r_0092_0007__specify,z_0092_5002,arg0).
arc(r_0092_0009__GRAND_r_0092_0010__SEIKO_r_0092_0012__PARTS,r_0092_0011__GENUINE,attrib).
fof(formula,axiom,
? [R_0092_0004__PARTS,R_0092_0002__REPLACEMENT,R_0092_0011__GENUINE,R_0092_0009__GRAND_R_0092_0010__SEIKO_R_0092_0012__PARTS,Z_0092_5002,R_0092_0007__SPECIFY] :
( r_0092_0004__parts(R_0092_0004__PARTS)
& r_0092_0011__GENUINE(R_0092_0011__GENUINE)
& z_0092_5002(Z_0092_5002)
& r_0092_0007__specify(R_0092_0007__SPECIFY)
& has_arg0(R_0092_0007__SPECIFY,Z_0092_5002)
& has_arg1(R_0092_0007__SPECIFY,R_0092_0009__GRAND_R_0092_0010__SEIKO_R_0092_0012__PARTS)
& r_0092_0009__GRAND_r_0092_0010__SEIKO_r_0092_0012__PARTS(R_0092_0009__GRAND_R_0092_0010__SEIKO_R_0092_0012__PARTS)
& has_attrib(R_0092_0009__GRAND_R_0092_0010__SEIKO_R_0092_0012__PARTS,R_0092_0011__GENUINE)
& has_r_0092_0001__For(R_0092_0007__SPECIFY,R_0092_0002__REPLACEMENT)
& r_0092_0002__replacement(R_0092_0002__REPLACEMENT)
& has_r_0092_0003__of(R_0092_0002__REPLACEMENT,R_0092_0004__PARTS) ) ).