( (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-))
  (ID 84_a_seiko_9r65))

arc(r_0084_0002__and,r_0084_0001__Inspection,conj1).
arc(r_0084_0002__and,r_0084_0003__adjustment,conj2).
arc(r_0084_0002__and,r_0084_0006__and,r_0084_0004__by).
arc(r_0084_0006__and,r_0084_0005__disassembly,conj1).
arc(r_0084_0006__and,r_0084_0007__cleaning,conj2).
arc(z_0084_5008,r_0084_0002__and,arg0).
arc(z_0084_5008,r_0084_0009__overhaul,prd).
arc(z_0084_5012,r_0084_0002__and,z_0084_5002).

fof(formula,axiom,
    ? [R_0084_0001__INSPECTION,R_0084_0003__ADJUSTMENT,R_0084_0005__DISASSEMBLY,R_0084_0007__CLEANING,R_0084_0006__AND,R_0084_0002__AND,R_0084_0009__OVERHAUL,Z_0084_5008,Z_0084_5012] :
      ( r_0084_0001__Inspection(R_0084_0001__INSPECTION)
      & r_0084_0003__adjustment(R_0084_0003__ADJUSTMENT)
      & r_0084_0005__disassembly(R_0084_0005__DISASSEMBLY)
      & r_0084_0007__cleaning(R_0084_0007__CLEANING)
      & r_0084_0009__overhaul(R_0084_0009__OVERHAUL)
      & z_0084_5012(Z_0084_5012)
      & has_z_0084_5002(Z_0084_5012,R_0084_0002__AND)
      & r_0084_0002__and(R_0084_0002__AND)
      & has_r_0084_0004__by(R_0084_0002__AND,R_0084_0006__AND)
      & r_0084_0006__and(R_0084_0006__AND)
      & has_conj2(R_0084_0006__AND,R_0084_0007__CLEANING)
      & has_conj1(R_0084_0006__AND,R_0084_0005__DISASSEMBLY)
      & has_conj2(R_0084_0002__AND,R_0084_0003__ADJUSTMENT)
      & has_conj1(R_0084_0002__AND,R_0084_0001__INSPECTION)
      & z_0084_5008(Z_0084_5008)
      & has_prd(Z_0084_5008,R_0084_0009__OVERHAUL)
      & has_arg0(Z_0084_5008,R_0084_0002__AND) ) ).