( (IP-IMP (PP-SCON (P-CONN When;{when})
                   (IP-PPL (VAG;_Ipr_ asking;{ask[for]})
                           (PP-CLR (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 ,)
          (VB;_Cf.a_ make;{make})
          (ADJP-PRD (ADJ sure;{sure}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D the;{the})
                                      (NLYR (NLYR (N gasket;{gasket}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (N push;{push})
                                                         (N pin;{pin})))))
                              (BEP;_cat_VePASS_ are;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (ADVP-NIM (ADV also;{also}))
                                          (VVN;_Tn.pr_ replaced;{replace[with]})
                                          (PP-CLR (P-ROLE with;{with})
                                                  (NP (ADJP (ADJ new;{new}))
                                                      (NS ones;{one}))))))
          (PUNC .))
  (ID 93_a_seiko_9r65))

arc(r_0093_0001__When,r_0093_0002__asking_r_0093_0003__for,restriction).
arc(r_0093_0001__When,r_0093_0015__make,scope).
arc(r_0093_0002__asking_r_0093_0003__for,r_0093_0005__and,arg1).
arc(r_0093_0002__asking_r_0093_0003__for,r_0093_0023__are,arg0).
arc(r_0093_0005__and,r_0093_0004__inspection,conj1).
arc(r_0093_0005__and,r_0093_0006__adjustment,conj2).
arc(r_0093_0005__and,r_0093_0009__and,r_0093_0007__by).
arc(r_0093_0009__and,r_0093_0008__disassembly,conj1).
arc(r_0093_0009__and,r_0093_0010__cleaning,conj2).
arc(r_0093_0015__make,r_0093_0016__sure,prd).
arc(r_0093_0015__make,r_0093_0023__are,arg1).
arc(r_0093_0015__make,z_0093_5002,arg0).
arc(r_0093_0023__are,r_0093_0025__replaced_r_0093_0026__with,scope).
arc(r_0093_0025__replaced_r_0093_0026__with,r_0093_0018__the_r_0093_0019__gasket_r_0093_0020__and_r_0093_0021__push_r_0093_0022__pin,arg1).
arc(r_0093_0025__replaced_r_0093_0026__with,r_0093_0024__also,nim).
arc(r_0093_0025__replaced_r_0093_0026__with,r_0093_0028__ones,arg2).
arc(r_0093_0025__replaced_r_0093_0026__with,z_0093_5009___star_,arg0).
arc(r_0093_0028__ones,r_0093_0027__new,attrib).
arc(z_0093_5019,r_0093_0005__and,arg0).
arc(z_0093_5019,r_0093_0012__overhaul,prd).

fof(formula,axiom,
    ? [R_0093_0004__INSPECTION,R_0093_0006__ADJUSTMENT,R_0093_0008__DISASSEMBLY,R_0093_0010__CLEANING,R_0093_0009__AND,R_0093_0005__AND,R_0093_0012__OVERHAUL,Z_0093_5019] :
      ( r_0093_0004__inspection(R_0093_0004__INSPECTION)
      & r_0093_0006__adjustment(R_0093_0006__ADJUSTMENT)
      & r_0093_0008__disassembly(R_0093_0008__DISASSEMBLY)
      & r_0093_0010__cleaning(R_0093_0010__CLEANING)
      & r_0093_0012__overhaul(R_0093_0012__OVERHAUL)
      & z_0093_5019(Z_0093_5019)
      & has_prd(Z_0093_5019,R_0093_0012__OVERHAUL)
      & has_arg0(Z_0093_5019,R_0093_0005__AND)
      & r_0093_0005__and(R_0093_0005__AND)
      & has_r_0093_0007__by(R_0093_0005__AND,R_0093_0009__AND)
      & r_0093_0009__and(R_0093_0009__AND)
      & has_conj2(R_0093_0009__AND,R_0093_0010__CLEANING)
      & has_conj1(R_0093_0009__AND,R_0093_0008__DISASSEMBLY)
      & has_conj2(R_0093_0005__AND,R_0093_0006__ADJUSTMENT)
      & has_conj1(R_0093_0005__AND,R_0093_0004__INSPECTION)
      & ! [R_0093_0002__ASKING_R_0093_0003__FOR,R_0093_0018__THE_R_0093_0019__GASKET_R_0093_0020__AND_R_0093_0021__PUSH_R_0093_0022__PIN,R_0093_0024__ALSO,R_0093_0027__NEW,R_0093_0028__ONES,Z_0093_5009___STAR_,R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH] :
          ( ( r_0093_0018__the_r_0093_0019__gasket_r_0093_0020__and_r_0093_0021__push_r_0093_0022__pin(R_0093_0018__THE_R_0093_0019__GASKET_R_0093_0020__AND_R_0093_0021__PUSH_R_0093_0022__PIN)
            & r_0093_0024__also(R_0093_0024__ALSO)
            & r_0093_0027__new(R_0093_0027__NEW)
            & z_0093_5009___star_(Z_0093_5009___STAR_)
            & r_0093_0002__asking_r_0093_0003__for(R_0093_0002__ASKING_R_0093_0003__FOR)
            & has_arg0(R_0093_0002__ASKING_R_0093_0003__FOR,R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH)
            & r_0093_0023__are_r_0093_0025__replaced_r_0093_0026__with(R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH)
            & has_arg0(R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH,Z_0093_5009___STAR_)
            & has_arg2(R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH,R_0093_0028__ONES)
            & r_0093_0028__ones(R_0093_0028__ONES)
            & has_attrib(R_0093_0028__ONES,R_0093_0027__NEW)
            & has_nim(R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH,R_0093_0024__ALSO)
            & has_arg1(R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH,R_0093_0018__THE_R_0093_0019__GASKET_R_0093_0020__AND_R_0093_0021__PUSH_R_0093_0022__PIN)
            & has_arg1(R_0093_0002__ASKING_R_0093_0003__FOR,R_0093_0005__AND) )
         => ? [R_0093_0016__SURE,Z_0093_5002,R_0093_0015__MAKE] :
              ( r_0093_0016__sure(R_0093_0016__SURE)
              & z_0093_5002(Z_0093_5002)
              & r_0093_0015__make(R_0093_0015__MAKE)
              & has_arg0(R_0093_0015__MAKE,Z_0093_5002)
              & has_arg1(R_0093_0015__MAKE,R_0093_0023__ARE_R_0093_0025__REPLACED_R_0093_0026__WITH)
              & has_prd(R_0093_0015__MAKE,R_0093_0016__SURE) ) ) ) ).