72_a_seiko_9r65
However, as the structure of gear train is the same as mechanical watches, abrasion powder may be generated by contact of the wheels <amp> pinions.

%3 r_0072_0003__as as r_0072_0009__is is r_0072_0003__as->r_0072_0009__is [restriction] r_0072_0018__may may r_0072_0003__as->r_0072_0018__may [scope] r_0072_0004__the_r_0072_0005__structure the structure r_0072_0009__is->r_0072_0004__the_r_0072_0005__structure [arg0] r_0072_0010__the the r_0072_0009__is->r_0072_0010__the [prd] r_0072_0001__However However r_0072_0018__may->r_0072_0001__However [nim] r_0072_0019__be be r_0072_0018__may->r_0072_0019__be [scope] r_0072_0007__gear_r_0072_0008__train gear train r_0072_0004__the_r_0072_0005__structure->r_0072_0007__gear_r_0072_0008__train of r_0072_0011__same same r_0072_0010__the->r_0072_0011__same [attrib] r_0072_0014__watches watches r_0072_0011__same->r_0072_0014__watches as r_0072_0013__mechanical mechanical r_0072_0014__watches->r_0072_0013__mechanical [attrib] r_0072_0020__generated generated r_0072_0019__be->r_0072_0020__generated [scope] r_0072_0016__abrasion_r_0072_0017__powder abrasion powder r_0072_0020__generated->r_0072_0016__abrasion_r_0072_0017__powder [arg1] r_0072_0022__contact contact r_0072_0020__generated->r_0072_0022__contact [arg0] r_0072_0026___amp_ amp r_0072_0022__contact->r_0072_0026___amp_ of r_0072_0024__the_r_0072_0025__wheels the wheels r_0072_0026___amp_->r_0072_0024__the_r_0072_0025__wheels [conj1] r_0072_0027__pinions pinions r_0072_0026___amp_->r_0072_0027__pinions [conj2]
arc(r_0072_0003__as, r_0072_0009__is, restriction).
arc(r_0072_0003__as, r_0072_0018__may, scope).
arc(r_0072_0004__the_r_0072_0005__structure, r_0072_0007__gear_r_0072_0008__train, r_0072_0006__of).
arc(r_0072_0009__is, r_0072_0004__the_r_0072_0005__structure, arg0).
arc(r_0072_0009__is, r_0072_0010__the, prd).
arc(r_0072_0010__the, r_0072_0011__same, attrib29).
arc(r_0072_0011__same, r_0072_0014__watches, r_0072_0012__as).
arc(r_0072_0014__watches, r_0072_0013__mechanical, attrib36).
arc(r_0072_0018__may, r_0072_0001__However, nim2).
arc(r_0072_0018__may, r_0072_0019__be, scope).
arc(r_0072_0019__be, r_0072_0020__generated, scope).
arc(r_0072_0020__generated, r_0072_0016__abrasion_r_0072_0017__powder, arg1).
arc(r_0072_0020__generated, r_0072_0022__contact, arg0).
arc(r_0072_0022__contact, r_0072_0026___amp_, r_0072_0023__of).
arc(r_0072_0026___amp_, r_0072_0024__the_r_0072_0025__wheels, conj1).
arc(r_0072_0026___amp_, r_0072_0027__pinions, conj2).



%3 r_0072_0003__as as r_0072_0009__is is r_0072_0003__as->r_0072_0009__is [conj1] r_0072_0018__may_r_0072_0019__be_r_0072_0020__generated may be generated r_0072_0003__as->r_0072_0018__may_r_0072_0019__be_r_0072_0020__generated [conj2] r_0072_0004__the_r_0072_0005__structure the structure r_0072_0009__is->r_0072_0004__the_r_0072_0005__structure [arg0] r_0072_0010__the the r_0072_0009__is->r_0072_0010__the [prd] r_0072_0001__However However r_0072_0018__may_r_0072_0019__be_r_0072_0020__generated->r_0072_0001__However [nim] r_0072_0016__abrasion_r_0072_0017__powder abrasion powder r_0072_0018__may_r_0072_0019__be_r_0072_0020__generated->r_0072_0016__abrasion_r_0072_0017__powder [arg1] r_0072_0022__contact contact r_0072_0018__may_r_0072_0019__be_r_0072_0020__generated->r_0072_0022__contact [arg0] r_0072_0007__gear_r_0072_0008__train gear train r_0072_0004__the_r_0072_0005__structure->r_0072_0007__gear_r_0072_0008__train of r_0072_0011__same same r_0072_0010__the->r_0072_0011__same [attrib] r_0072_0014__watches watches r_0072_0011__same->r_0072_0014__watches as r_0072_0013__mechanical mechanical r_0072_0014__watches->r_0072_0013__mechanical [attrib] r_0072_0026___amp_ amp r_0072_0022__contact->r_0072_0026___amp_ of r_0072_0024__the_r_0072_0025__wheels the wheels r_0072_0026___amp_->r_0072_0024__the_r_0072_0025__wheels [conj1] r_0072_0027__pinions pinions r_0072_0026___amp_->r_0072_0027__pinions [conj2]
fof(formula,axiom,
    ? [R_72_3_AS,R_72_9_IS,R_72_4_THE_STRUCTURE,R_72_7_GEAR_TRAIN,R_72_10_THE,R_72_11_SAME,R_72_14_WATCHES,R_72_13_MECHANICAL,R_72_18_MAY_BE_GENERATED,R_72_22_CONTACT,R_72_26__AMP_,R_72_24_THE_WHEELS,R_72_27_PINIONS,R_72_16_ABRASION_POWDER,R_72_1_HOWEVER] :
      ( gear_train(R_72_7_GEAR_TRAIN)
      & mechanical(R_72_13_MECHANICAL)
      & the_wheels(R_72_24_THE_WHEELS)
      & pinions(R_72_27_PINIONS)
      & abrasion_powder(R_72_16_ABRASION_POWDER)
      & however(R_72_1_HOWEVER)
      & as(R_72_3_AS)
      & conj1(R_72_3_AS,R_72_9_IS)
      & is(R_72_9_IS,R_72_4_THE_STRUCTURE,R_72_10_THE)
      & the_structure(R_72_4_THE_STRUCTURE)
      & of(R_72_4_THE_STRUCTURE,R_72_7_GEAR_TRAIN)
      & the(R_72_10_THE)
      & attrib29(R_72_10_THE,R_72_11_SAME)
      & same(R_72_11_SAME)
      & as(R_72_11_SAME,R_72_14_WATCHES)
      & watches(R_72_14_WATCHES)
      & attrib36(R_72_14_WATCHES,R_72_13_MECHANICAL)
      & conj2(R_72_3_AS,R_72_18_MAY_BE_GENERATED)
      & may_be_generated(R_72_18_MAY_BE_GENERATED,R_72_22_CONTACT,R_72_16_ABRASION_POWDER)
      & contact(R_72_22_CONTACT)
      & of(R_72_22_CONTACT,R_72_26__AMP_)
      & _amp_(R_72_26__AMP_)
      & conj1(R_72_26__AMP_,R_72_24_THE_WHEELS)
      & conj2(R_72_26__AMP_,R_72_27_PINIONS)
      & nim2(R_72_18_MAY_BE_GENERATED,R_72_1_HOWEVER) ) ).



n72_a_seiko_9r65 n72_a_seiko_9r65_4 However n72_a_seiko_9r65_6 , n72_a_seiko_9r65_9 as n72_a_seiko_9r65_13 the n72_a_seiko_9r65_15 structure n72_a_seiko_9r65_18 of n72_a_seiko_9r65_21 gear n72_a_seiko_9r65_23 train n72_a_seiko_9r65_25 is n72_a_seiko_9r65_28 the n72_a_seiko_9r65_31 same n72_a_seiko_9r65_34 as n72_a_seiko_9r65_38 mechanical n72_a_seiko_9r65_40 watches n72_a_seiko_9r65_42 , n72_a_seiko_9r65_45 abrasion n72_a_seiko_9r65_47 powder n72_a_seiko_9r65_49 may n72_a_seiko_9r65_52 be n72_a_seiko_9r65_55 generated n72_a_seiko_9r65_58 by n72_a_seiko_9r65_61 contact n72_a_seiko_9r65_64 of n72_a_seiko_9r65_69 the n72_a_seiko_9r65_71 wheels n72_a_seiko_9r65_74 <amp> n72_a_seiko_9r65_77 pinions n72_a_seiko_9r65_79 . n72_a_seiko_9r65_1 IP-MAT n72_a_seiko_9r65_2 ADVP-NIM n72_a_seiko_9r65_1->n72_a_seiko_9r65_2 n72_a_seiko_9r65_5 PUNC n72_a_seiko_9r65_1->n72_a_seiko_9r65_5 n72_a_seiko_9r65_7 PP-SCON n72_a_seiko_9r65_1->n72_a_seiko_9r65_7 n72_a_seiko_9r65_41 PUNC n72_a_seiko_9r65_1->n72_a_seiko_9r65_41 n72_a_seiko_9r65_43 NP-SBJ n72_a_seiko_9r65_1->n72_a_seiko_9r65_43 n72_a_seiko_9r65_48 MD;_cat_Vi_ n72_a_seiko_9r65_1->n72_a_seiko_9r65_48 n72_a_seiko_9r65_50 IP-INF-CAT n72_a_seiko_9r65_1->n72_a_seiko_9r65_50 n72_a_seiko_9r65_78 PUNC n72_a_seiko_9r65_1->n72_a_seiko_9r65_78 n72_a_seiko_9r65_3 ADV n72_a_seiko_9r65_2->n72_a_seiko_9r65_3 n72_a_seiko_9r65_3->n72_a_seiko_9r65_4 n72_a_seiko_9r65_5->n72_a_seiko_9r65_6 n72_a_seiko_9r65_8 P-CONN n72_a_seiko_9r65_7->n72_a_seiko_9r65_8 n72_a_seiko_9r65_10 IP-ADV n72_a_seiko_9r65_7->n72_a_seiko_9r65_10 n72_a_seiko_9r65_8->n72_a_seiko_9r65_9 n72_a_seiko_9r65_11 NP-SBJ n72_a_seiko_9r65_10->n72_a_seiko_9r65_11 n72_a_seiko_9r65_24 BEP;_Ln_ n72_a_seiko_9r65_10->n72_a_seiko_9r65_24 n72_a_seiko_9r65_26 NP-PRD n72_a_seiko_9r65_10->n72_a_seiko_9r65_26 n72_a_seiko_9r65_12 D n72_a_seiko_9r65_11->n72_a_seiko_9r65_12 n72_a_seiko_9r65_14 N n72_a_seiko_9r65_11->n72_a_seiko_9r65_14 n72_a_seiko_9r65_16 PP n72_a_seiko_9r65_11->n72_a_seiko_9r65_16 n72_a_seiko_9r65_12->n72_a_seiko_9r65_13 n72_a_seiko_9r65_14->n72_a_seiko_9r65_15 n72_a_seiko_9r65_17 P-ROLE n72_a_seiko_9r65_16->n72_a_seiko_9r65_17 n72_a_seiko_9r65_19 NP n72_a_seiko_9r65_16->n72_a_seiko_9r65_19 n72_a_seiko_9r65_17->n72_a_seiko_9r65_18 n72_a_seiko_9r65_20 N n72_a_seiko_9r65_19->n72_a_seiko_9r65_20 n72_a_seiko_9r65_22 N n72_a_seiko_9r65_19->n72_a_seiko_9r65_22 n72_a_seiko_9r65_20->n72_a_seiko_9r65_21 n72_a_seiko_9r65_22->n72_a_seiko_9r65_23 n72_a_seiko_9r65_24->n72_a_seiko_9r65_25 n72_a_seiko_9r65_27 D n72_a_seiko_9r65_26->n72_a_seiko_9r65_27 n72_a_seiko_9r65_29 ADJP n72_a_seiko_9r65_26->n72_a_seiko_9r65_29 n72_a_seiko_9r65_27->n72_a_seiko_9r65_28 n72_a_seiko_9r65_30 ADJ n72_a_seiko_9r65_29->n72_a_seiko_9r65_30 n72_a_seiko_9r65_32 PP n72_a_seiko_9r65_29->n72_a_seiko_9r65_32 n72_a_seiko_9r65_30->n72_a_seiko_9r65_31 n72_a_seiko_9r65_33 P-ROLE n72_a_seiko_9r65_32->n72_a_seiko_9r65_33 n72_a_seiko_9r65_35 NP n72_a_seiko_9r65_32->n72_a_seiko_9r65_35 n72_a_seiko_9r65_33->n72_a_seiko_9r65_34 n72_a_seiko_9r65_36 ADJP n72_a_seiko_9r65_35->n72_a_seiko_9r65_36 n72_a_seiko_9r65_39 NS n72_a_seiko_9r65_35->n72_a_seiko_9r65_39 n72_a_seiko_9r65_37 ADJ n72_a_seiko_9r65_36->n72_a_seiko_9r65_37 n72_a_seiko_9r65_37->n72_a_seiko_9r65_38 n72_a_seiko_9r65_39->n72_a_seiko_9r65_40 n72_a_seiko_9r65_41->n72_a_seiko_9r65_42 n72_a_seiko_9r65_44 N n72_a_seiko_9r65_43->n72_a_seiko_9r65_44 n72_a_seiko_9r65_46 N n72_a_seiko_9r65_43->n72_a_seiko_9r65_46 n72_a_seiko_9r65_44->n72_a_seiko_9r65_45 n72_a_seiko_9r65_46->n72_a_seiko_9r65_47 n72_a_seiko_9r65_48->n72_a_seiko_9r65_49 n72_a_seiko_9r65_51 BE;_cat_VePASS_ n72_a_seiko_9r65_50->n72_a_seiko_9r65_51 n72_a_seiko_9r65_53 IP-PPL-CAT n72_a_seiko_9r65_50->n72_a_seiko_9r65_53 n72_a_seiko_9r65_51->n72_a_seiko_9r65_52 n72_a_seiko_9r65_54 VVN;_Tn_ n72_a_seiko_9r65_53->n72_a_seiko_9r65_54 n72_a_seiko_9r65_56 PP-LGS n72_a_seiko_9r65_53->n72_a_seiko_9r65_56 n72_a_seiko_9r65_54->n72_a_seiko_9r65_55 n72_a_seiko_9r65_57 P-ROLE;_lgs_ n72_a_seiko_9r65_56->n72_a_seiko_9r65_57 n72_a_seiko_9r65_59 NP n72_a_seiko_9r65_56->n72_a_seiko_9r65_59 n72_a_seiko_9r65_57->n72_a_seiko_9r65_58 n72_a_seiko_9r65_60 N n72_a_seiko_9r65_59->n72_a_seiko_9r65_60 n72_a_seiko_9r65_62 PP n72_a_seiko_9r65_59->n72_a_seiko_9r65_62 n72_a_seiko_9r65_60->n72_a_seiko_9r65_61 n72_a_seiko_9r65_63 P-ROLE n72_a_seiko_9r65_62->n72_a_seiko_9r65_63 n72_a_seiko_9r65_65 NP n72_a_seiko_9r65_62->n72_a_seiko_9r65_65 n72_a_seiko_9r65_63->n72_a_seiko_9r65_64 n72_a_seiko_9r65_66 NLYR n72_a_seiko_9r65_65->n72_a_seiko_9r65_66 n72_a_seiko_9r65_67 NLYR n72_a_seiko_9r65_66->n72_a_seiko_9r65_67 n72_a_seiko_9r65_72 CONJP n72_a_seiko_9r65_66->n72_a_seiko_9r65_72 n72_a_seiko_9r65_68 D n72_a_seiko_9r65_67->n72_a_seiko_9r65_68 n72_a_seiko_9r65_70 NS n72_a_seiko_9r65_67->n72_a_seiko_9r65_70 n72_a_seiko_9r65_68->n72_a_seiko_9r65_69 n72_a_seiko_9r65_70->n72_a_seiko_9r65_71 n72_a_seiko_9r65_73 CONJ n72_a_seiko_9r65_72->n72_a_seiko_9r65_73 n72_a_seiko_9r65_75 NLYR n72_a_seiko_9r65_72->n72_a_seiko_9r65_75 n72_a_seiko_9r65_73->n72_a_seiko_9r65_74 n72_a_seiko_9r65_76 NS n72_a_seiko_9r65_75->n72_a_seiko_9r65_76 n72_a_seiko_9r65_76->n72_a_seiko_9r65_77 n72_a_seiko_9r65_78->n72_a_seiko_9r65_79
( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N structure;{structure})
                                   (PP (P-ROLE of;{of})
                                       (NP (N gear;{gear})
                                           (N train;{train}))))
                           (BEP;_Ln_ is;{be})
                           (NP-PRD (D the;{the})
                                   (ADJP (ADJ same;{same})
                                         (PP (P-ROLE as;{as})
                                             (NP (ADJP (ADJ mechanical;{mechanical}))
                                                 (NS watches;{watch})))))))
          (PUNC ,)
          (NP-SBJ (N abrasion;{abrasion})
                  (N powder;{powder}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (VVN;_Tn_ generated;{generate})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (N contact;{contact})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NLYR (NLYR (D the;{the})
                                                                  (NS wheels;{wheel}))
                                                            (CONJP (CONJ <amp>)
                                                                   (NLYR (NS pinions;{pinion}))))))))))
          (PUNC .))
  (ID 72_a_seiko_9r65))