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.
( (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))
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,inv_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_0008__the_r_0036_0009__rotor,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__nim).
arc(r_0036_0017__drive,r_0036_0012__electricity,arg0).
arc(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_0036_5005,r_0036_0007__rotates,scope).
arc(z_0036_5005,z_0036_5008,restriction).
arc(z_0036_5008,r_0036_0011__generating,scope).
arc(z_0036_5008,r_0036_0017__drive,restriction).
fof(formula,axiom,
? [R_0036_0005__THE_R_0036_0006__MAINSPRING,R_0036_0002__UNWINDING,R_0036_0001__THE_R_0036_0003__POWER,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_0017__DRIVE,Z_0036_5008,Z_0036_5005] :
( r_0036_0002__unwinding(R_0036_0002__UNWINDING)
& 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_0036_5005(Z_0036_5005)
& has_conj1(Z_0036_5005,Z_0036_5008)
& z_0036_5008(Z_0036_5008)
& has_conj1(Z_0036_5008,R_0036_0017__DRIVE)
& r_0036_0017__drive(R_0036_0017__DRIVE)
& has_arg1(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_0017__DRIVE,R_0036_0012__ELECTRICITY)
& has_conj2(Z_0036_5008,R_0036_0011__GENERATING)
& r_0036_0011__generating(R_0036_0011__GENERATING)
& has_r_0036_0013__in__nim(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_0008__THE_R_0036_0009__ROTOR)
& has_conj2(Z_0036_5005,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_0001__The_r_0036_0003__power(R_0036_0001__THE_R_0036_0003__POWER)
& has_inv_arg0(R_0036_0001__THE_R_0036_0003__POWER,R_0036_0002__UNWINDING)
& has_r_0036_0004__of(R_0036_0001__THE_R_0036_0003__POWER,R_0036_0005__THE_R_0036_0006__MAINSPRING) ) ).