36_a_seiko_9r65
The unwinding power of the mainspring rotates the rotor, generating electricity in the coil to drive the crystal oscillator and IC.
arc(r_0036_0001__The_r_0036_0003__power, r_0036_0005__the_r_0036_0006__mainspring, r_0036_0004__of).
arc(r_0036_0002__unwinding, r_0036_0001__The_r_0036_0003__power, arg0).
arc(r_0036_0007__rotates, r_0036_0001__The_r_0036_0003__power, arg0).
arc(r_0036_0007__rotates, r_0036_0008__the_r_0036_0009__rotor, arg1).
arc(r_0036_0011__generating, r_0036_0001__The_r_0036_0003__power, arg0).
arc(r_0036_0011__generating, r_0036_0012__electricity, arg1).
arc(r_0036_0011__generating, r_0036_0014__the_r_0036_0015__coil, r_0036_0013__in_nim37).
arc(r_0036_0016__to_r_0036_0017__drive, r_0036_0001__The_r_0036_0003__power, arg0).
arc(r_0036_0016__to_r_0036_0017__drive, r_0036_0021__and, arg1).
arc(r_0036_0021__and, r_0036_0018__the_r_0036_0019__crystal_r_0036_0020__oscillator, conj1).
arc(r_0036_0021__and, r_0036_0022__IC, conj2).
arc(z_000_36_a_seiko_9r65_27, r_0036_0007__rotates, scope).
arc(z_000_36_a_seiko_9r65_27, z_000_36_a_seiko_9r65_42, restriction).
arc(z_000_36_a_seiko_9r65_42, r_0036_0011__generating, scope).
arc(z_000_36_a_seiko_9r65_42, r_0036_0016__to_r_0036_0017__drive, restriction).
fof(formula,axiom,
? [R_0036_0005__THE_R_0036_0006__MAINSPRING,R_0036_0001__THE_R_0036_0003__POWER,R_0036_0002__UNWINDING,R_0036_0008__THE_R_0036_0009__ROTOR,R_0036_0007__ROTATES,R_0036_0012__ELECTRICITY,R_0036_0014__THE_R_0036_0015__COIL,R_0036_0011__GENERATING,R_0036_0018__THE_R_0036_0019__CRYSTAL_R_0036_0020__OSCILLATOR,R_0036_0022__IC,R_0036_0021__AND,R_0036_0016__TO_R_0036_0017__DRIVE,Z_000_36_A_SEIKO_9R65_42,Z_000_36_A_SEIKO_9R65_27] :
( r_0036_0005__the_r_0036_0006__mainspring(R_0036_0005__THE_R_0036_0006__MAINSPRING)
& r_0036_0008__the_r_0036_0009__rotor(R_0036_0008__THE_R_0036_0009__ROTOR)
& r_0036_0012__electricity(R_0036_0012__ELECTRICITY)
& r_0036_0014__the_r_0036_0015__coil(R_0036_0014__THE_R_0036_0015__COIL)
& r_0036_0018__the_r_0036_0019__crystal_r_0036_0020__oscillator(R_0036_0018__THE_R_0036_0019__CRYSTAL_R_0036_0020__OSCILLATOR)
& r_0036_0022__IC(R_0036_0022__IC)
& z_000_36_a_seiko_9r65_27(Z_000_36_A_SEIKO_9R65_27)
& has_conj1(Z_000_36_A_SEIKO_9R65_27,Z_000_36_A_SEIKO_9R65_42)
& z_000_36_a_seiko_9r65_42(Z_000_36_A_SEIKO_9R65_42)
& has_conj1(Z_000_36_A_SEIKO_9R65_42,R_0036_0016__TO_R_0036_0017__DRIVE)
& r_0036_0016__to_r_0036_0017__drive(R_0036_0016__TO_R_0036_0017__DRIVE)
& has_arg1(R_0036_0016__TO_R_0036_0017__DRIVE,R_0036_0021__AND)
& r_0036_0021__and(R_0036_0021__AND)
& has_conj2(R_0036_0021__AND,R_0036_0022__IC)
& has_conj1(R_0036_0021__AND,R_0036_0018__THE_R_0036_0019__CRYSTAL_R_0036_0020__OSCILLATOR)
& has_arg0(R_0036_0016__TO_R_0036_0017__DRIVE,R_0036_0001__THE_R_0036_0003__POWER)
& r_0036_0001__The_r_0036_0003__power(R_0036_0001__THE_R_0036_0003__POWER)
& has_r_0036_0004__of(R_0036_0001__THE_R_0036_0003__POWER,R_0036_0005__THE_R_0036_0006__MAINSPRING)
& has_conj2(Z_000_36_A_SEIKO_9R65_42,R_0036_0011__GENERATING)
& r_0036_0011__generating(R_0036_0011__GENERATING)
& has_r_0036_0013__in_nim37(R_0036_0011__GENERATING,R_0036_0014__THE_R_0036_0015__COIL)
& has_arg1(R_0036_0011__GENERATING,R_0036_0012__ELECTRICITY)
& has_arg0(R_0036_0011__GENERATING,R_0036_0001__THE_R_0036_0003__POWER)
& has_conj2(Z_000_36_A_SEIKO_9R65_27,R_0036_0007__ROTATES)
& r_0036_0007__rotates(R_0036_0007__ROTATES)
& has_arg1(R_0036_0007__ROTATES,R_0036_0008__THE_R_0036_0009__ROTOR)
& has_arg0(R_0036_0007__ROTATES,R_0036_0001__THE_R_0036_0003__POWER)
& r_0036_0002__unwinding(R_0036_0002__UNWINDING)
& has_arg0(R_0036_0002__UNWINDING,R_0036_0001__THE_R_0036_0003__POWER) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(IP-PPL (VAG;_I_ unwinding;{unwind}))
(N power;{power})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N mainspring;{mainspring}))))
(VBP;_Tn_ rotates;{rotate})
(NP-OB1 (D the;{the})
(N rotor;{rotor}))
(PUNC ,)
(PP-SCON (IP-PPL (VAG;_Tn_ generating;{generate})
(NP-OB1 (N electricity;{electricity}))
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N coil;{coil})))
(PP-SCON (IP-INF (TO to;{to})
(VB;_Tn_ drive;{drive})
(NP-OB1 (NLYR (NLYR (D the;{the})
(N crystal;{crystal})
(N oscillator;{oscillator}))
(CONJP (CONJ and;{and})
(NLYR (N IC;{ic})))))))))
(PUNC .))
(ID 36_a_seiko_9r65))