TSPC 49_a_seiko

49_a_seiko_9r65
This generates small electricity in the coil to drive the IC and crystal oscillator.

( (IP-MAT (NP-SBJ;{POWER_OF_MAINSPRING} (D;_nphd_ This;{this}))
          (VBP;_Tn_ generates;{generate})
          (NP-OB1 (ADJP (ADJ small;{small}))
                  (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 (D the;{the})
                                   (NLYR (NLYR (N IC;{ic}))
                                         (CONJP (CONJ and;{and})
                                                (NLYR (N crystal;{crystal})
                                                      (N oscillator;{oscillator})))))))
          (PUNC .))
  (ID 49_a_seiko_9r65))

arc(r_0049_0002__generates,r_0049_0001__This,arg0).
arc(r_0049_0002__generates,r_0049_0004__electricity,arg1).
arc(r_0049_0002__generates,r_0049_0006__the_r_0049_0007__coil,r_0049_0005__in__nim).
arc(r_0049_0004__electricity,r_0049_0003__small,attrib).
arc(r_0049_0009__drive,r_0049_0004__electricity,arg0).
arc(r_0049_0009__drive,r_0049_0010__the_r_0049_0011__IC_r_0049_0012__and_r_0049_0013__crystal_r_0049_0014__oscillator,arg1).
arc(z_0049_5003,r_0049_0002__generates,scope).
arc(z_0049_5003,r_0049_0009__drive,restriction).

fof(formula,axiom,
    ? [R_0049_0001__THIS,R_0049_0003__SMALL,R_0049_0004__ELECTRICITY,R_0049_0006__THE_R_0049_0007__COIL,R_0049_0002__GENERATES,R_0049_0010__THE_R_0049_0011__IC_R_0049_0012__AND_R_0049_0013__CRYSTAL_R_0049_0014__OSCILLATOR,R_0049_0009__DRIVE,Z_0049_5003] :
      ( r_0049_0001__This(R_0049_0001__THIS)
      & r_0049_0003__small(R_0049_0003__SMALL)
      & r_0049_0006__the_r_0049_0007__coil(R_0049_0006__THE_R_0049_0007__COIL)
      & r_0049_0010__the_r_0049_0011__IC_r_0049_0012__and_r_0049_0013__crystal_r_0049_0014__oscillator(R_0049_0010__THE_R_0049_0011__IC_R_0049_0012__AND_R_0049_0013__CRYSTAL_R_0049_0014__OSCILLATOR)
      & z_0049_5003(Z_0049_5003)
      & has_conj1(Z_0049_5003,R_0049_0009__DRIVE)
      & r_0049_0009__drive(R_0049_0009__DRIVE)
      & has_arg1(R_0049_0009__DRIVE,R_0049_0010__THE_R_0049_0011__IC_R_0049_0012__AND_R_0049_0013__CRYSTAL_R_0049_0014__OSCILLATOR)
      & has_arg0(R_0049_0009__DRIVE,R_0049_0004__ELECTRICITY)
      & r_0049_0004__electricity(R_0049_0004__ELECTRICITY)
      & has_attrib(R_0049_0004__ELECTRICITY,R_0049_0003__SMALL)
      & has_conj2(Z_0049_5003,R_0049_0002__GENERATES)
      & r_0049_0002__generates(R_0049_0002__GENERATES)
      & has_r_0049_0005__in__nim(R_0049_0002__GENERATES,R_0049_0006__THE_R_0049_0007__COIL)
      & has_arg1(R_0049_0002__GENERATES,R_0049_0004__ELECTRICITY)
      & has_arg0(R_0049_0002__GENERATES,R_0049_0001__THIS) ) ).