TSPC 34_a_seiko

34_a_seiko_9r65
The Spring Drive is powered by a mainspring, but adopts an electronic speed-regulating unit comprising a generator, IC circuit, and crystal oscillator.

( (IP-MAT (NP-SBJ;{SPRING_DRIVE} (D The;{the})
                                 (NPR Spring;{Spring})
                                 (NPR Drive;{Drive}))
          (ILYR (ILYR (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (VVN;_Tn_ powered;{power})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D a;{a})
                                              (N mainspring;{mainspring})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (VBP;_Tn_ adopts;{adopt})
                             (NP-OB1 (D an;{an})
                                     (ADJP (ADJ electronic;{electronic}))
                                     (ADJP (ADJ speed_<hyphen>_regulating;{speed_regulating}))
                                     (N unit;{unit})
                                     (IP-PPL (VAG;_Tn_ comprising;{comprise})
                                             (NP-OB1 (NLYR (NLYR (D a;{a})
                                                                 (N generator;{generator}))
                                                           (PUNC ,)
                                                           (CONJP (NLYR (N IC;{ic})
                                                                        (N circuit;{circuit})))
                                                           (PUNC ,)
                                                           (CONJP (CONJ and;{and})
                                                                  (NLYR (N crystal;{crystal})
                                                                        (N oscillator;{oscillator}))))))))))
          (PUNC .))
  (ID 34_a_seiko_9r65))

arc(r_0034_0004__is,r_0034_0005__powered,scope).
arc(r_0034_0005__powered,r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive,arg1).
arc(r_0034_0005__powered,r_0034_0007__a_r_0034_0008__mainspring,r_0034_0006__by_arg0).
arc(r_0034_0010__but,r_0034_0004__is,conj1).
arc(r_0034_0010__but,r_0034_0011__adopts,conj2).
arc(r_0034_0011__adopts,r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive,arg0).
arc(r_0034_0011__adopts,r_0034_0012__an_r_0034_0015__unit,arg1).
arc(r_0034_0012__an_r_0034_0015__unit,r_0034_0013__electronic,attrib).
arc(r_0034_0012__an_r_0034_0015__unit,r_0034_0014__speed__hyphen__regulating,attrib).
arc(r_0034_0016__comprising,r_0034_0012__an_r_0034_0015__unit,inv_arg0).
arc(r_0034_0016__comprising,r_0034_0023__and,arg1).
arc(r_0034_0023__and,r_0034_0017__a_r_0034_0018__generator,conj1).
arc(r_0034_0023__and,r_0034_0020__IC_r_0034_0021__circuit,conj2).
arc(r_0034_0023__and,r_0034_0024__crystal_r_0034_0025__oscillator,conj3).

fof(formula,axiom,
    ? [R_0034_0001__THE_R_0034_0002__SPRING_R_0034_0003__DRIVE,R_0034_0007__A_R_0034_0008__MAINSPRING,R_0034_0004__IS_R_0034_0005__POWERED,R_0034_0013__ELECTRONIC,R_0034_0014__SPEED__HYPHEN__REGULATING,R_0034_0017__A_R_0034_0018__GENERATOR,R_0034_0020__IC_R_0034_0021__CIRCUIT,R_0034_0024__CRYSTAL_R_0034_0025__OSCILLATOR,R_0034_0023__AND,R_0034_0016__COMPRISING,R_0034_0012__AN_R_0034_0015__UNIT,R_0034_0011__ADOPTS,R_0034_0010__BUT] :
      ( r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive(R_0034_0001__THE_R_0034_0002__SPRING_R_0034_0003__DRIVE)
      & r_0034_0007__a_r_0034_0008__mainspring(R_0034_0007__A_R_0034_0008__MAINSPRING)
      & r_0034_0013__electronic(R_0034_0013__ELECTRONIC)
      & r_0034_0014__speed__hyphen__regulating(R_0034_0014__SPEED__HYPHEN__REGULATING)
      & r_0034_0017__a_r_0034_0018__generator(R_0034_0017__A_R_0034_0018__GENERATOR)
      & r_0034_0020__IC_r_0034_0021__circuit(R_0034_0020__IC_R_0034_0021__CIRCUIT)
      & r_0034_0024__crystal_r_0034_0025__oscillator(R_0034_0024__CRYSTAL_R_0034_0025__OSCILLATOR)
      & r_0034_0010__but(R_0034_0010__BUT)
      & has_conj2(R_0034_0010__BUT,R_0034_0011__ADOPTS)
      & r_0034_0011__adopts(R_0034_0011__ADOPTS)
      & has_arg1(R_0034_0011__ADOPTS,R_0034_0012__AN_R_0034_0015__UNIT)
      & r_0034_0012__an_r_0034_0015__unit(R_0034_0012__AN_R_0034_0015__UNIT)
      & has_inv_arg0(R_0034_0012__AN_R_0034_0015__UNIT,R_0034_0016__COMPRISING)
      & r_0034_0016__comprising(R_0034_0016__COMPRISING)
      & has_arg1(R_0034_0016__COMPRISING,R_0034_0023__AND)
      & r_0034_0023__and(R_0034_0023__AND)
      & has_conj3(R_0034_0023__AND,R_0034_0024__CRYSTAL_R_0034_0025__OSCILLATOR)
      & has_conj2(R_0034_0023__AND,R_0034_0020__IC_R_0034_0021__CIRCUIT)
      & has_conj1(R_0034_0023__AND,R_0034_0017__A_R_0034_0018__GENERATOR)
      & has_attrib(R_0034_0012__AN_R_0034_0015__UNIT,R_0034_0014__SPEED__HYPHEN__REGULATING)
      & has_attrib(R_0034_0012__AN_R_0034_0015__UNIT,R_0034_0013__ELECTRONIC)
      & has_arg0(R_0034_0011__ADOPTS,R_0034_0001__THE_R_0034_0002__SPRING_R_0034_0003__DRIVE)
      & has_conj1(R_0034_0010__BUT,R_0034_0004__IS_R_0034_0005__POWERED)
      & r_0034_0004__is_r_0034_0005__powered(R_0034_0004__IS_R_0034_0005__POWERED)
      & has_r_0034_0006__by_arg0(R_0034_0004__IS_R_0034_0005__POWERED,R_0034_0007__A_R_0034_0008__MAINSPRING)
      & has_arg1(R_0034_0004__IS_R_0034_0005__POWERED,R_0034_0001__THE_R_0034_0002__SPRING_R_0034_0003__DRIVE) ) ).