Context                Previous, Next                Top


84_a_seiko_9r65
Inspection and adjustment by disassembly and cleaning (overhaul)

%3 r_0084_0002__and and r_0084_0001__Inspection Inspection r_0084_0002__and->r_0084_0001__Inspection [conj1] r_0084_0003__adjustment adjustment r_0084_0002__and->r_0084_0003__adjustment [conj2] r_0084_0006__and and r_0084_0002__and->r_0084_0006__and by r_0084_0005__disassembly disassembly r_0084_0006__and->r_0084_0005__disassembly [conj1] r_0084_0007__cleaning cleaning r_0084_0006__and->r_0084_0007__cleaning [conj2] z_000_84_a_seiko_9r65_1 z_000_84_a_seiko_9r65_1->r_0084_0002__and [nim] z_000_84_a_seiko_9r65_29 z_000_84_a_seiko_9r65_29->r_0084_0002__and [arg0] r_0084_0009__overhaul overhaul z_000_84_a_seiko_9r65_29->r_0084_0009__overhaul [prd] 
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_000_84_a_seiko_9r65_1, r_0084_0002__and, nim2).
arc(z_000_84_a_seiko_9r65_29, r_0084_0002__and, arg0).
arc(z_000_84_a_seiko_9r65_29, r_0084_0009__overhaul, prd).


%3 z_000_84_a_seiko_9r65_29 r_0084_0009__overhaul overhaul z_000_84_a_seiko_9r65_29->r_0084_0009__overhaul [prd] r_0084_0002__and and z_000_84_a_seiko_9r65_29->r_0084_0002__and [arg0] r_0084_0006__and and r_0084_0002__and->r_0084_0006__and by r_0084_0003__adjustment adjustment r_0084_0002__and->r_0084_0003__adjustment [conj2] r_0084_0001__Inspection Inspection r_0084_0002__and->r_0084_0001__Inspection [conj1] z_000_84_a_seiko_9r65_1 z_000_84_a_seiko_9r65_1->r_0084_0002__and [nim] r_0084_0007__cleaning cleaning r_0084_0006__and->r_0084_0007__cleaning [conj2] r_0084_0005__disassembly disassembly r_0084_0006__and->r_0084_0005__disassembly [conj1] 
fof(formula,axiom,
    ? [Z_84_A_SEIKO_9R65_1,Z_84_A_SEIKO_9R65_29,R_84_2_AND,R_84_1_INSPECTION,R_84_3_ADJUSTMENT,R_84_6_AND,R_84_5_DISASSEMBLY,R_84_7_CLEANING,R_84_9_OVERHAUL] :
      ( inspection(R_84_1_INSPECTION)
      & adjustment(R_84_3_ADJUSTMENT)
      & disassembly(R_84_5_DISASSEMBLY)
      & cleaning(R_84_7_CLEANING)
      & overhaul(R_84_9_OVERHAUL)
      & z_84_a_seiko_9r65_1(Z_84_A_SEIKO_9R65_1)
      & nim2(Z_84_A_SEIKO_9R65_1,R_84_2_AND)
      & and(R_84_2_AND)
      & conj1(R_84_2_AND,R_84_1_INSPECTION)
      & conj2(R_84_2_AND,R_84_3_ADJUSTMENT)
      & by(R_84_2_AND,R_84_6_AND)
      & and(R_84_6_AND)
      & conj1(R_84_6_AND,R_84_5_DISASSEMBLY)
      & conj2(R_84_6_AND,R_84_7_CLEANING)
      & z_84_a_seiko_9r65_29(Z_84_A_SEIKO_9R65_29,R_84_2_AND,R_84_9_OVERHAUL) ) ).


n84_a_seiko_9r65 n84_a_seiko_9r65__1_1_1_1_1_1 Inspection n84_a_seiko_9r65__1_1_1_2_1_1 and n84_a_seiko_9r65__1_1_1_2_2_1_1 adjustment n84_a_seiko_9r65__1_1_2_1_1 by n84_a_seiko_9r65__1_1_2_2_1_1_1_1 disassembly n84_a_seiko_9r65__1_1_2_2_1_2_1_1 and n84_a_seiko_9r65__1_1_2_2_1_2_2_1_1 cleaning n84_a_seiko_9r65__1_1_3_1 -LRB- n84_a_seiko_9r65__1_1_4_1_1_1 overhaul n84_a_seiko_9r65__1_2_1 -RRB- n84_a_seiko_9r65__1 FRAG n84_a_seiko_9r65__1_1 NP n84_a_seiko_9r65__1->n84_a_seiko_9r65__1_1 n84_a_seiko_9r65__1_2 PURB n84_a_seiko_9r65__1->n84_a_seiko_9r65__1_2 n84_a_seiko_9r65__1_1_1 NLYR n84_a_seiko_9r65__1_1->n84_a_seiko_9r65__1_1_1 n84_a_seiko_9r65__1_1_2 PP n84_a_seiko_9r65__1_1->n84_a_seiko_9r65__1_1_2 n84_a_seiko_9r65__1_1_3 PULB n84_a_seiko_9r65__1_1->n84_a_seiko_9r65__1_1_3 n84_a_seiko_9r65__1_1_4 IP-PPL n84_a_seiko_9r65__1_1->n84_a_seiko_9r65__1_1_4 n84_a_seiko_9r65__1_1_1_1 NLYR n84_a_seiko_9r65__1_1_1->n84_a_seiko_9r65__1_1_1_1 n84_a_seiko_9r65__1_1_1_2 CONJP n84_a_seiko_9r65__1_1_1->n84_a_seiko_9r65__1_1_1_2 n84_a_seiko_9r65__1_1_1_1_1 N n84_a_seiko_9r65__1_1_1_1->n84_a_seiko_9r65__1_1_1_1_1 n84_a_seiko_9r65__1_1_1_1_1->n84_a_seiko_9r65__1_1_1_1_1_1 n84_a_seiko_9r65__1_1_1_2_1 CONJ n84_a_seiko_9r65__1_1_1_2->n84_a_seiko_9r65__1_1_1_2_1 n84_a_seiko_9r65__1_1_1_2_2 NLYR n84_a_seiko_9r65__1_1_1_2->n84_a_seiko_9r65__1_1_1_2_2 n84_a_seiko_9r65__1_1_1_2_1->n84_a_seiko_9r65__1_1_1_2_1_1 n84_a_seiko_9r65__1_1_1_2_2_1 N n84_a_seiko_9r65__1_1_1_2_2->n84_a_seiko_9r65__1_1_1_2_2_1 n84_a_seiko_9r65__1_1_1_2_2_1->n84_a_seiko_9r65__1_1_1_2_2_1_1 n84_a_seiko_9r65__1_1_2_1 P-ROLE n84_a_seiko_9r65__1_1_2->n84_a_seiko_9r65__1_1_2_1 n84_a_seiko_9r65__1_1_2_2 NP n84_a_seiko_9r65__1_1_2->n84_a_seiko_9r65__1_1_2_2 n84_a_seiko_9r65__1_1_2_1->n84_a_seiko_9r65__1_1_2_1_1 n84_a_seiko_9r65__1_1_2_2_1 NLYR n84_a_seiko_9r65__1_1_2_2->n84_a_seiko_9r65__1_1_2_2_1 n84_a_seiko_9r65__1_1_2_2_1_1 NLYR n84_a_seiko_9r65__1_1_2_2_1->n84_a_seiko_9r65__1_1_2_2_1_1 n84_a_seiko_9r65__1_1_2_2_1_2 CONJP n84_a_seiko_9r65__1_1_2_2_1->n84_a_seiko_9r65__1_1_2_2_1_2 n84_a_seiko_9r65__1_1_2_2_1_1_1 N n84_a_seiko_9r65__1_1_2_2_1_1->n84_a_seiko_9r65__1_1_2_2_1_1_1 n84_a_seiko_9r65__1_1_2_2_1_1_1->n84_a_seiko_9r65__1_1_2_2_1_1_1_1 n84_a_seiko_9r65__1_1_2_2_1_2_1 CONJ n84_a_seiko_9r65__1_1_2_2_1_2->n84_a_seiko_9r65__1_1_2_2_1_2_1 n84_a_seiko_9r65__1_1_2_2_1_2_2 NLYR n84_a_seiko_9r65__1_1_2_2_1_2->n84_a_seiko_9r65__1_1_2_2_1_2_2 n84_a_seiko_9r65__1_1_2_2_1_2_1->n84_a_seiko_9r65__1_1_2_2_1_2_1_1 n84_a_seiko_9r65__1_1_2_2_1_2_2_1 N n84_a_seiko_9r65__1_1_2_2_1_2_2->n84_a_seiko_9r65__1_1_2_2_1_2_2_1 n84_a_seiko_9r65__1_1_2_2_1_2_2_1->n84_a_seiko_9r65__1_1_2_2_1_2_2_1_1 n84_a_seiko_9r65__1_1_3->n84_a_seiko_9r65__1_1_3_1 n84_a_seiko_9r65__1_1_4_1 NP-PRD n84_a_seiko_9r65__1_1_4->n84_a_seiko_9r65__1_1_4_1 n84_a_seiko_9r65__1_1_4_1_1 N n84_a_seiko_9r65__1_1_4_1->n84_a_seiko_9r65__1_1_4_1_1 n84_a_seiko_9r65__1_1_4_1_1->n84_a_seiko_9r65__1_1_4_1_1_1 n84_a_seiko_9r65__1_2->n84_a_seiko_9r65__1_2_1 
( (FRAG (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-))
  (ID 84_a_seiko_9r65))