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,
    ? [R_0084_0001__INSPECTION,R_0084_0003__ADJUSTMENT,R_0084_0005__DISASSEMBLY,R_0084_0007__CLEANING,R_0084_0006__AND,R_0084_0002__AND,Z_000_84_A_SEIKO_9R65_1,R_0084_0009__OVERHAUL,Z_000_84_A_SEIKO_9R65_29] :
      ( 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_000_84_a_seiko_9r65_29(Z_000_84_A_SEIKO_9R65_29)
      & has_prd(Z_000_84_A_SEIKO_9R65_29,R_0084_0009__OVERHAUL)
      & has_arg0(Z_000_84_A_SEIKO_9R65_29,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_000_84_a_seiko_9r65_1(Z_000_84_A_SEIKO_9R65_1)
      & has_nim2(Z_000_84_A_SEIKO_9R65_1,R_0084_0002__AND) ) ).


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))