Context                Previous, Next                Top


43_a_seiko_9r65
The mainspring is wound by rotation of the rotor (or by turning of the crown), and its unwinding power is the sole power source.

%3 r_0043_0003__is is r_0043_0004__wound wound r_0043_0003__is->r_0043_0004__wound [scope] r_0043_0001__The_r_0043_0002__mainspring The mainspring r_0043_0004__wound->r_0043_0001__The_r_0043_0002__mainspring [arg1] z_000_43_a_seiko_9r65_12 r_0043_0004__wound->z_000_43_a_seiko_9r65_12 [arg0] r_0043_0019__and and r_0043_0019__and->r_0043_0003__is [conj1] r_0043_0023__is is r_0043_0019__and->r_0043_0023__is [conj2] r_0043_0022__power power r_0043_0023__is->r_0043_0022__power [arg0] r_0043_0024__the_r_0043_0026__power_r_0043_0027__source the power source r_0043_0023__is->r_0043_0024__the_r_0043_0026__power_r_0043_0027__source [prd] r_0043_0021__unwinding unwinding r_0043_0021__unwinding->r_0043_0022__power [arg0] r_0043_0022__power->r_0043_0001__The_r_0043_0002__mainspring [gen] r_0043_0025__sole sole r_0043_0024__the_r_0043_0026__power_r_0043_0027__source->r_0043_0025__sole [attrib] 
arc(r_0043_0003__is, r_0043_0004__wound, scope).
arc(r_0043_0004__wound, r_0043_0001__The_r_0043_0002__mainspring, arg1).
arc(r_0043_0004__wound, z_000_43_a_seiko_9r65_12, arg0).
arc(r_0043_0019__and, r_0043_0003__is, conj1).
arc(r_0043_0019__and, r_0043_0023__is, conj2).
arc(r_0043_0021__unwinding, r_0043_0022__power, arg0).
arc(r_0043_0022__power, r_0043_0001__The_r_0043_0002__mainspring, gen).
arc(r_0043_0023__is, r_0043_0022__power, arg0).
arc(r_0043_0023__is, r_0043_0024__the_r_0043_0026__power_r_0043_0027__source, prd).
arc(r_0043_0024__the_r_0043_0026__power_r_0043_0027__source, r_0043_0025__sole, attrib72).


%3 r_0043_0003__is_r_0043_0004__wound is wound r_0043_0001__The_r_0043_0002__mainspring The mainspring r_0043_0003__is_r_0043_0004__wound->r_0043_0001__The_r_0043_0002__mainspring [arg1] z_000_43_a_seiko_9r65_12 r_0043_0003__is_r_0043_0004__wound->z_000_43_a_seiko_9r65_12 [arg0] r_0043_0019__and and r_0043_0019__and->r_0043_0003__is_r_0043_0004__wound [conj1] r_0043_0023__is is r_0043_0019__and->r_0043_0023__is [conj2] r_0043_0022__power power r_0043_0023__is->r_0043_0022__power [arg0] r_0043_0024__the_r_0043_0026__power_r_0043_0027__source the power source r_0043_0023__is->r_0043_0024__the_r_0043_0026__power_r_0043_0027__source [prd] r_0043_0021__unwinding unwinding r_0043_0021__unwinding->r_0043_0022__power [arg0] r_0043_0022__power->r_0043_0001__The_r_0043_0002__mainspring [gen] r_0043_0025__sole sole r_0043_0024__the_r_0043_0026__power_r_0043_0027__source->r_0043_0025__sole [attrib] 
fof(formula,axiom,
    ? [R_43_19_AND,R_43_3_IS_WOUND,Z_43_A_SEIKO_9R65_12,R_43_23_IS,R_43_24_THE_POWER_SOURCE,R_43_25_SOLE,R_43_21_UNWINDING,R_43_22_POWER,R_43_1_THE_MAINSPRING] :
      ( sole(R_43_25_SOLE)
      & the_mainspring(R_43_1_THE_MAINSPRING)
      & and(R_43_19_AND)
      & conj1(R_43_19_AND,R_43_3_IS_WOUND)
      & is_wound(R_43_3_IS_WOUND,Z_43_A_SEIKO_9R65_12,R_43_1_THE_MAINSPRING)
      & conj2(R_43_19_AND,R_43_23_IS)
      & is(R_43_23_IS,R_43_22_POWER,R_43_24_THE_POWER_SOURCE)
      & power(R_43_22_POWER)
      & gen(R_43_22_POWER,R_43_1_THE_MAINSPRING)
      & the_power_source(R_43_24_THE_POWER_SOURCE)
      & attrib72(R_43_24_THE_POWER_SOURCE,R_43_25_SOLE)
      & unwinding(R_43_21_UNWINDING,R_43_22_POWER) ) ).


n43_a_seiko_9r65 n43_a_seiko_9r65_6 The n43_a_seiko_9r65_8 mainspring n43_a_seiko_9r65_10 is n43_a_seiko_9r65_13 * n43_a_seiko_9r65_15 wound n43_a_seiko_9r65_19 by n43_a_seiko_9r65_22 rotation n43_a_seiko_9r65_25 of n43_a_seiko_9r65_28 the n43_a_seiko_9r65_30 rotor n43_a_seiko_9r65_32 -LRB- n43_a_seiko_9r65_35 or n43_a_seiko_9r65_38 by n43_a_seiko_9r65_41 turning n43_a_seiko_9r65_44 of n43_a_seiko_9r65_47 the n43_a_seiko_9r65_49 crown n43_a_seiko_9r65_51 -RRB- n43_a_seiko_9r65_53 , n43_a_seiko_9r65_56 and n43_a_seiko_9r65_61 its n43_a_seiko_9r65_64 unwinding n43_a_seiko_9r65_66 power n43_a_seiko_9r65_68 is n43_a_seiko_9r65_71 the n43_a_seiko_9r65_74 sole n43_a_seiko_9r65_76 power n43_a_seiko_9r65_78 source n43_a_seiko_9r65_80 . n43_a_seiko_9r65_1 IP-MAT n43_a_seiko_9r65_2 ILYR n43_a_seiko_9r65_1->n43_a_seiko_9r65_2 n43_a_seiko_9r65_79 PUNC n43_a_seiko_9r65_1->n43_a_seiko_9r65_79 n43_a_seiko_9r65_3 ILYR n43_a_seiko_9r65_2->n43_a_seiko_9r65_3 n43_a_seiko_9r65_52 PUNC n43_a_seiko_9r65_2->n43_a_seiko_9r65_52 n43_a_seiko_9r65_54 CONJP n43_a_seiko_9r65_2->n43_a_seiko_9r65_54 n43_a_seiko_9r65_4 NP-SBJ n43_a_seiko_9r65_3->n43_a_seiko_9r65_4 n43_a_seiko_9r65_9 BEP;_cat_VePASS_ n43_a_seiko_9r65_3->n43_a_seiko_9r65_9 n43_a_seiko_9r65_11 IP-PPL-CAT n43_a_seiko_9r65_3->n43_a_seiko_9r65_11 n43_a_seiko_9r65_5 D n43_a_seiko_9r65_4->n43_a_seiko_9r65_5 n43_a_seiko_9r65_7 N n43_a_seiko_9r65_4->n43_a_seiko_9r65_7 n43_a_seiko_9r65_5->n43_a_seiko_9r65_6 n43_a_seiko_9r65_7->n43_a_seiko_9r65_8 n43_a_seiko_9r65_9->n43_a_seiko_9r65_10 n43_a_seiko_9r65_12 NP-LGS n43_a_seiko_9r65_11->n43_a_seiko_9r65_12 n43_a_seiko_9r65_14 VVN;_Tn_ n43_a_seiko_9r65_11->n43_a_seiko_9r65_14 n43_a_seiko_9r65_16 PP-NIM n43_a_seiko_9r65_11->n43_a_seiko_9r65_16 n43_a_seiko_9r65_12->n43_a_seiko_9r65_13 n43_a_seiko_9r65_14->n43_a_seiko_9r65_15 n43_a_seiko_9r65_17 PP-NIM n43_a_seiko_9r65_16->n43_a_seiko_9r65_17 n43_a_seiko_9r65_31 PULB n43_a_seiko_9r65_16->n43_a_seiko_9r65_31 n43_a_seiko_9r65_33 CONJP n43_a_seiko_9r65_16->n43_a_seiko_9r65_33 n43_a_seiko_9r65_50 PURB n43_a_seiko_9r65_16->n43_a_seiko_9r65_50 n43_a_seiko_9r65_18 P-ROLE n43_a_seiko_9r65_17->n43_a_seiko_9r65_18 n43_a_seiko_9r65_20 NP n43_a_seiko_9r65_17->n43_a_seiko_9r65_20 n43_a_seiko_9r65_18->n43_a_seiko_9r65_19 n43_a_seiko_9r65_21 N n43_a_seiko_9r65_20->n43_a_seiko_9r65_21 n43_a_seiko_9r65_23 PP n43_a_seiko_9r65_20->n43_a_seiko_9r65_23 n43_a_seiko_9r65_21->n43_a_seiko_9r65_22 n43_a_seiko_9r65_24 P-ROLE n43_a_seiko_9r65_23->n43_a_seiko_9r65_24 n43_a_seiko_9r65_26 NP n43_a_seiko_9r65_23->n43_a_seiko_9r65_26 n43_a_seiko_9r65_24->n43_a_seiko_9r65_25 n43_a_seiko_9r65_27 D n43_a_seiko_9r65_26->n43_a_seiko_9r65_27 n43_a_seiko_9r65_29 N n43_a_seiko_9r65_26->n43_a_seiko_9r65_29 n43_a_seiko_9r65_27->n43_a_seiko_9r65_28 n43_a_seiko_9r65_29->n43_a_seiko_9r65_30 n43_a_seiko_9r65_31->n43_a_seiko_9r65_32 n43_a_seiko_9r65_34 CONJ n43_a_seiko_9r65_33->n43_a_seiko_9r65_34 n43_a_seiko_9r65_36 PP-NIM n43_a_seiko_9r65_33->n43_a_seiko_9r65_36 n43_a_seiko_9r65_34->n43_a_seiko_9r65_35 n43_a_seiko_9r65_37 P-ROLE n43_a_seiko_9r65_36->n43_a_seiko_9r65_37 n43_a_seiko_9r65_39 IP-PPL n43_a_seiko_9r65_36->n43_a_seiko_9r65_39 n43_a_seiko_9r65_37->n43_a_seiko_9r65_38 n43_a_seiko_9r65_40 VAG;_Ipr_ n43_a_seiko_9r65_39->n43_a_seiko_9r65_40 n43_a_seiko_9r65_42 PP n43_a_seiko_9r65_39->n43_a_seiko_9r65_42 n43_a_seiko_9r65_40->n43_a_seiko_9r65_41 n43_a_seiko_9r65_43 P-ROLE n43_a_seiko_9r65_42->n43_a_seiko_9r65_43 n43_a_seiko_9r65_45 NP n43_a_seiko_9r65_42->n43_a_seiko_9r65_45 n43_a_seiko_9r65_43->n43_a_seiko_9r65_44 n43_a_seiko_9r65_46 D n43_a_seiko_9r65_45->n43_a_seiko_9r65_46 n43_a_seiko_9r65_48 N n43_a_seiko_9r65_45->n43_a_seiko_9r65_48 n43_a_seiko_9r65_46->n43_a_seiko_9r65_47 n43_a_seiko_9r65_48->n43_a_seiko_9r65_49 n43_a_seiko_9r65_50->n43_a_seiko_9r65_51 n43_a_seiko_9r65_52->n43_a_seiko_9r65_53 n43_a_seiko_9r65_55 CONJ n43_a_seiko_9r65_54->n43_a_seiko_9r65_55 n43_a_seiko_9r65_57 ILYR n43_a_seiko_9r65_54->n43_a_seiko_9r65_57 n43_a_seiko_9r65_55->n43_a_seiko_9r65_56 n43_a_seiko_9r65_58 NP-SBJ n43_a_seiko_9r65_57->n43_a_seiko_9r65_58 n43_a_seiko_9r65_67 BEP;_Ln_ n43_a_seiko_9r65_57->n43_a_seiko_9r65_67 n43_a_seiko_9r65_69 NP-PRD n43_a_seiko_9r65_57->n43_a_seiko_9r65_69 n43_a_seiko_9r65_59 NP-GEN n43_a_seiko_9r65_58->n43_a_seiko_9r65_59 n43_a_seiko_9r65_62 IP-PPL n43_a_seiko_9r65_58->n43_a_seiko_9r65_62 n43_a_seiko_9r65_65 N n43_a_seiko_9r65_58->n43_a_seiko_9r65_65 n43_a_seiko_9r65_60 PRO;_genm_ n43_a_seiko_9r65_59->n43_a_seiko_9r65_60 n43_a_seiko_9r65_60->n43_a_seiko_9r65_61 n43_a_seiko_9r65_63 VAG;_I_ n43_a_seiko_9r65_62->n43_a_seiko_9r65_63 n43_a_seiko_9r65_63->n43_a_seiko_9r65_64 n43_a_seiko_9r65_65->n43_a_seiko_9r65_66 n43_a_seiko_9r65_67->n43_a_seiko_9r65_68 n43_a_seiko_9r65_70 D n43_a_seiko_9r65_69->n43_a_seiko_9r65_70 n43_a_seiko_9r65_72 ADJP n43_a_seiko_9r65_69->n43_a_seiko_9r65_72 n43_a_seiko_9r65_75 N n43_a_seiko_9r65_69->n43_a_seiko_9r65_75 n43_a_seiko_9r65_77 N n43_a_seiko_9r65_69->n43_a_seiko_9r65_77 n43_a_seiko_9r65_70->n43_a_seiko_9r65_71 n43_a_seiko_9r65_73 ADJ n43_a_seiko_9r65_72->n43_a_seiko_9r65_73 n43_a_seiko_9r65_73->n43_a_seiko_9r65_74 n43_a_seiko_9r65_75->n43_a_seiko_9r65_76 n43_a_seiko_9r65_77->n43_a_seiko_9r65_78 n43_a_seiko_9r65_79->n43_a_seiko_9r65_80 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{MAINSPRING} (D The;{the})
                                           (N mainspring;{mainspring}))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ wound;{wind})
                                  (PP-NIM (PP-NIM (P-ROLE by;{by})
                                                  (NP (N rotation;{rotation})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (D the;{the})
                                                              (N rotor;{rotor})))))
                                          (PULB -LRB-)
                                          (CONJP (CONJ or;{or})
                                                 (PP-NIM (P-ROLE by;{by})
                                                         (IP-PPL (VAG;_Ipr_ turning;{turn[of]})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (D the;{the})
                                                                         (N crown;{crown}))))))
                                          (PURB -RRB-))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN;{MAINSPRING} (PRO;_genm_ its;{its}))
                                     (IP-PPL (VAG;_I_ unwinding;{unwind}))
                                     (N power;{power}))
                             (BEP;_Ln_ is;{be})
                             (NP-PRD (D the;{the})
                                     (ADJP (ADJ sole;{sole}))
                                     (N power;{power})
                                     (N source;{source})))))
          (PUNC .))
  (ID 43_a_seiko_9r65))