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.
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).
fof(formula,axiom,
? [R_0043_0001__THE_R_0043_0002__MAINSPRING,Z_000_43_A_SEIKO_9R65_12,R_0043_0003__IS_R_0043_0004__WOUND,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_0021__UNWINDING] :
( r_0043_0001__The_r_0043_0002__mainspring(R_0043_0001__THE_R_0043_0002__MAINSPRING)
& r_0043_0025__sole(R_0043_0025__SOLE)
& z_000_43_a_seiko_9r65_12(Z_000_43_A_SEIKO_9R65_12)
& r_0043_0021__unwinding(R_0043_0021__UNWINDING)
& has_arg0(R_0043_0021__UNWINDING,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)
& 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_attrib72(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)
& 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_000_43_A_SEIKO_9R65_12)
& has_arg1(R_0043_0003__IS_R_0043_0004__WOUND,R_0043_0001__THE_R_0043_0002__MAINSPRING) ) ).
( (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))