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 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] 
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_6 Inspection n84_a_seiko_9r65_9 and n84_a_seiko_9r65_12 adjustment n84_a_seiko_9r65_15 by n84_a_seiko_9r65_20 disassembly n84_a_seiko_9r65_23 and n84_a_seiko_9r65_26 cleaning n84_a_seiko_9r65_28 -LRB- n84_a_seiko_9r65_32 overhaul n84_a_seiko_9r65_34 -RRB- n84_a_seiko_9r65_1 FRAG n84_a_seiko_9r65_2 NP n84_a_seiko_9r65_1->n84_a_seiko_9r65_2 n84_a_seiko_9r65_33 PURB n84_a_seiko_9r65_1->n84_a_seiko_9r65_33 n84_a_seiko_9r65_3 NLYR n84_a_seiko_9r65_2->n84_a_seiko_9r65_3 n84_a_seiko_9r65_13 PP n84_a_seiko_9r65_2->n84_a_seiko_9r65_13 n84_a_seiko_9r65_27 PULB n84_a_seiko_9r65_2->n84_a_seiko_9r65_27 n84_a_seiko_9r65_29 IP-PPL n84_a_seiko_9r65_2->n84_a_seiko_9r65_29 n84_a_seiko_9r65_4 NLYR n84_a_seiko_9r65_3->n84_a_seiko_9r65_4 n84_a_seiko_9r65_7 CONJP n84_a_seiko_9r65_3->n84_a_seiko_9r65_7 n84_a_seiko_9r65_5 N n84_a_seiko_9r65_4->n84_a_seiko_9r65_5 n84_a_seiko_9r65_5->n84_a_seiko_9r65_6 n84_a_seiko_9r65_8 CONJ n84_a_seiko_9r65_7->n84_a_seiko_9r65_8 n84_a_seiko_9r65_10 NLYR n84_a_seiko_9r65_7->n84_a_seiko_9r65_10 n84_a_seiko_9r65_8->n84_a_seiko_9r65_9 n84_a_seiko_9r65_11 N n84_a_seiko_9r65_10->n84_a_seiko_9r65_11 n84_a_seiko_9r65_11->n84_a_seiko_9r65_12 n84_a_seiko_9r65_14 P-ROLE n84_a_seiko_9r65_13->n84_a_seiko_9r65_14 n84_a_seiko_9r65_16 NP n84_a_seiko_9r65_13->n84_a_seiko_9r65_16 n84_a_seiko_9r65_14->n84_a_seiko_9r65_15 n84_a_seiko_9r65_17 NLYR n84_a_seiko_9r65_16->n84_a_seiko_9r65_17 n84_a_seiko_9r65_18 NLYR n84_a_seiko_9r65_17->n84_a_seiko_9r65_18 n84_a_seiko_9r65_21 CONJP n84_a_seiko_9r65_17->n84_a_seiko_9r65_21 n84_a_seiko_9r65_19 N n84_a_seiko_9r65_18->n84_a_seiko_9r65_19 n84_a_seiko_9r65_19->n84_a_seiko_9r65_20 n84_a_seiko_9r65_22 CONJ n84_a_seiko_9r65_21->n84_a_seiko_9r65_22 n84_a_seiko_9r65_24 NLYR n84_a_seiko_9r65_21->n84_a_seiko_9r65_24 n84_a_seiko_9r65_22->n84_a_seiko_9r65_23 n84_a_seiko_9r65_25 N n84_a_seiko_9r65_24->n84_a_seiko_9r65_25 n84_a_seiko_9r65_25->n84_a_seiko_9r65_26 n84_a_seiko_9r65_27->n84_a_seiko_9r65_28 n84_a_seiko_9r65_30 NP-PRD n84_a_seiko_9r65_29->n84_a_seiko_9r65_30 n84_a_seiko_9r65_31 N n84_a_seiko_9r65_30->n84_a_seiko_9r65_31 n84_a_seiko_9r65_31->n84_a_seiko_9r65_32 n84_a_seiko_9r65_33->n84_a_seiko_9r65_34 
( (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))