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.
( (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-PPL3 (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))
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,r_0043_0011__or,nim).
arc(r_0043_0004__wound,z_0043_5011___star_,arg0).
arc(r_0043_0006__rotation,r_0043_0008__the_r_0043_0009__rotor,r_0043_0007__of).
arc(r_0043_0011__or,r_0043_0006__rotation,r_0043_0005__by__nim).
arc(r_0043_0011__or,r_0043_0013__turning,r_0043_0012__by__nim).
arc(r_0043_0013__turning,r_0043_0015__the_r_0043_0016__crown,r_0043_0014__of).
arc(r_0043_0013__turning,z_0043_5008,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,inv_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,attrib).
fof(formula,axiom,
? [R_0043_0001__THE_R_0043_0002__MAINSPRING,R_0043_0008__THE_R_0043_0009__ROTOR,R_0043_0006__ROTATION,R_0043_0015__THE_R_0043_0016__CROWN,Z_0043_5008,R_0043_0013__TURNING,R_0043_0011__OR,Z_0043_5011___STAR_,R_0043_0003__IS_R_0043_0004__WOUND,R_0043_0021__UNWINDING,R_0043_0022__POWER,R_0043_0025__SOLE,R_0043_0024__THE_R_0043_0026__POWER_R_0043_0027__SOURCE,R_0043_0023__IS,R_0043_0019__AND] :
( r_0043_0001__The_r_0043_0002__mainspring(R_0043_0001__THE_R_0043_0002__MAINSPRING)
& r_0043_0008__the_r_0043_0009__rotor(R_0043_0008__THE_R_0043_0009__ROTOR)
& r_0043_0015__the_r_0043_0016__crown(R_0043_0015__THE_R_0043_0016__CROWN)
& r_0043_0021__unwinding(R_0043_0021__UNWINDING)
& r_0043_0025__sole(R_0043_0025__SOLE)
& z_0043_5008(Z_0043_5008)
& z_0043_5011___star_(Z_0043_5011___STAR_)
& r_0043_0019__and(R_0043_0019__AND)
& has_conj2(R_0043_0019__AND,R_0043_0023__IS)
& r_0043_0023__is(R_0043_0023__IS)
& has_prd(R_0043_0023__IS,R_0043_0024__THE_R_0043_0026__POWER_R_0043_0027__SOURCE)
& r_0043_0024__the_r_0043_0026__power_r_0043_0027__source(R_0043_0024__THE_R_0043_0026__POWER_R_0043_0027__SOURCE)
& has_attrib(R_0043_0024__THE_R_0043_0026__POWER_R_0043_0027__SOURCE,R_0043_0025__SOLE)
& has_arg0(R_0043_0023__IS,R_0043_0022__POWER)
& r_0043_0022__power(R_0043_0022__POWER)
& has_gen(R_0043_0022__POWER,R_0043_0001__THE_R_0043_0002__MAINSPRING)
& has_inv_arg0(R_0043_0022__POWER,R_0043_0021__UNWINDING)
& has_conj1(R_0043_0019__AND,R_0043_0003__IS_R_0043_0004__WOUND)
& r_0043_0003__is_r_0043_0004__wound(R_0043_0003__IS_R_0043_0004__WOUND)
& has_arg0(R_0043_0003__IS_R_0043_0004__WOUND,Z_0043_5011___STAR_)
& has_nim(R_0043_0003__IS_R_0043_0004__WOUND,R_0043_0011__OR)
& r_0043_0011__or(R_0043_0011__OR)
& has_r_0043_0012__by__nim(R_0043_0011__OR,R_0043_0013__TURNING)
& r_0043_0013__turning(R_0043_0013__TURNING)
& has_arg0(R_0043_0013__TURNING,Z_0043_5008)
& has_r_0043_0014__of(R_0043_0013__TURNING,R_0043_0015__THE_R_0043_0016__CROWN)
& has_r_0043_0005__by__nim(R_0043_0011__OR,R_0043_0006__ROTATION)
& r_0043_0006__rotation(R_0043_0006__ROTATION)
& has_r_0043_0007__of(R_0043_0006__ROTATION,R_0043_0008__THE_R_0043_0009__ROTOR)
& has_arg1(R_0043_0003__IS_R_0043_0004__WOUND,R_0043_0001__THE_R_0043_0002__MAINSPRING) ) ).