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_nim16).
arc(r_0049_0004__electricity, r_0049_0003__small, attrib8).
arc(r_0049_0008__to_r_0049_0009__drive, r_0049_0001__This, arg0).
arc(r_0049_0008__to_r_0049_0009__drive, r_0049_0012__and, arg1).
arc(r_0049_0012__and, r_0049_0011__IC, conj1).
arc(r_0049_0012__and, r_0049_0013__crystal_r_0049_0014__oscillator, conj2).
arc(z_000_49_a_seiko_9r65_21, r_0049_0002__generates, scope).
arc(z_000_49_a_seiko_9r65_21, r_0049_0008__to_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_0011__IC,R_0049_0013__CRYSTAL_R_0049_0014__OSCILLATOR,R_0049_0012__AND,R_0049_0008__TO_R_0049_0009__DRIVE,Z_000_49_A_SEIKO_9R65_21] :
      ( 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_0011__IC(R_0049_0011__IC)
      & r_0049_0013__crystal_r_0049_0014__oscillator(R_0049_0013__CRYSTAL_R_0049_0014__OSCILLATOR)
      & z_000_49_a_seiko_9r65_21(Z_000_49_A_SEIKO_9R65_21)
      & has_conj1(Z_000_49_A_SEIKO_9R65_21,R_0049_0008__TO_R_0049_0009__DRIVE)
      & r_0049_0008__to_r_0049_0009__drive(R_0049_0008__TO_R_0049_0009__DRIVE)
      & has_arg1(R_0049_0008__TO_R_0049_0009__DRIVE,R_0049_0012__AND)
      & r_0049_0012__and(R_0049_0012__AND)
      & has_conj2(R_0049_0012__AND,R_0049_0013__CRYSTAL_R_0049_0014__OSCILLATOR)
      & has_conj1(R_0049_0012__AND,R_0049_0011__IC)
      & has_arg0(R_0049_0008__TO_R_0049_0009__DRIVE,R_0049_0001__THIS)
      & has_conj2(Z_000_49_A_SEIKO_9R65_21,R_0049_0002__GENERATES)
      & r_0049_0002__generates(R_0049_0002__GENERATES)
      & has_r_0049_0005__in_nim16(R_0049_0002__GENERATES,R_0049_0006__THE_R_0049_0007__COIL)
      & has_arg1(R_0049_0002__GENERATES,R_0049_0004__ELECTRICITY)
      & r_0049_0004__electricity(R_0049_0004__ELECTRICITY)
      & has_attrib8(R_0049_0004__ELECTRICITY,R_0049_0003__SMALL)
      & has_arg0(R_0049_0002__GENERATES,R_0049_0001__THIS) ) ).

( (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))