arc(r_0093_0001__When, r_0093_0002__asking, restriction).
arc(r_0093_0001__When, r_0093_0015__make, scope).
arc(r_0093_0002__asking, r_0093_0005__and, r_0093_0003__for_clr11).
arc(r_0093_0002__asking, z_000_93_a_seiko_9r65_1, 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_0017__that_r_0093_0023__are, arg1).
arc(r_0093_0015__make, z_000_93_a_seiko_9r65_1, arg0).
arc(r_0093_0017__that_r_0093_0023__are, r_0093_0025__replaced, scope).
arc(r_0093_0020__and, r_0093_0019__gasket, conj1).
arc(r_0093_0020__and, r_0093_0021__push_r_0093_0022__pin, conj2).
arc(r_0093_0025__replaced, r_0093_0020__and, arg1).
arc(r_0093_0025__replaced, r_0093_0024__also, nim75).
arc(r_0093_0025__replaced, r_0093_0028__ones, r_0093_0026__with_clr83).
arc(r_0093_0025__replaced, z_000_93_a_seiko_9r65_73, arg0).
arc(r_0093_0028__ones, r_0093_0027__new, attrib84).
arc(z_000_93_a_seiko_9r65_38, r_0093_0005__and, arg0).
arc(z_000_93_a_seiko_9r65_38, r_0093_0012__overhaul, prd).

fof(formula,axiom,
    ? [Z_93_A_SEIKO_9R65_38,R_93_5_AND,R_93_4_INSPECTION,R_93_6_ADJUSTMENT,R_93_9_AND,R_93_8_DISASSEMBLY,R_93_10_CLEANING,R_93_12_OVERHAUL] :
      ( inspection(R_93_4_INSPECTION)
      & adjustment(R_93_6_ADJUSTMENT)
      & disassembly(R_93_8_DISASSEMBLY)
      & cleaning(R_93_10_CLEANING)
      & overhaul(R_93_12_OVERHAUL)
      & ! [R_93_2_ASKING,Z_93_A_SEIKO_9R65_1] :
          ( ( asking(R_93_2_ASKING,Z_93_A_SEIKO_9R65_1)
            & for_clr11(R_93_2_ASKING,R_93_5_AND) )
         => ? [R_93_15_MAKE,R_93_17_THAT_ARE_REPLACED,Z_93_A_SEIKO_9R65_73,R_93_20_AND,R_93_19_GASKET,R_93_21_PUSH_PIN,R_93_24_ALSO,R_93_28_ONES,R_93_27_NEW,R_93_16_SURE] :
              ( gasket(R_93_19_GASKET)
              & push_pin(R_93_21_PUSH_PIN)
              & also(R_93_24_ALSO)
              & new(R_93_27_NEW)
              & sure(R_93_16_SURE)
              & make(R_93_15_MAKE,Z_93_A_SEIKO_9R65_1,R_93_17_THAT_ARE_REPLACED,R_93_16_SURE)
              & that_are_replaced(R_93_17_THAT_ARE_REPLACED,Z_93_A_SEIKO_9R65_73,R_93_20_AND)
              & and(R_93_20_AND)
              & conj1(R_93_20_AND,R_93_19_GASKET)
              & conj2(R_93_20_AND,R_93_21_PUSH_PIN)
              & nim75(R_93_17_THAT_ARE_REPLACED,R_93_24_ALSO)
              & with_clr83(R_93_17_THAT_ARE_REPLACED,R_93_28_ONES)
              & ones(R_93_28_ONES)
              & attrib84(R_93_28_ONES,R_93_27_NEW) ) )
      & z_93_a_seiko_9r65_38(Z_93_A_SEIKO_9R65_38,R_93_5_AND,R_93_12_OVERHAUL)
      & and(R_93_5_AND)
      & conj1(R_93_5_AND,R_93_4_INSPECTION)
      & conj2(R_93_5_AND,R_93_6_ADJUSTMENT)
      & by(R_93_5_AND,R_93_9_AND)
      & and(R_93_9_AND)
      & conj1(R_93_9_AND,R_93_8_DISASSEMBLY)
      & conj2(R_93_9_AND,R_93_10_CLEANING) ) ).

( (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-)
                                       (IP-PPL (NP-PRD (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))