Context                Previous, Next                Top


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.

%3 r_0034_0004__is is r_0034_0005__powered powered r_0034_0004__is->r_0034_0005__powered [scope] r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive The Spring Drive r_0034_0005__powered->r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive [arg1] r_0034_0007__a_r_0034_0008__mainspring a mainspring r_0034_0005__powered->r_0034_0007__a_r_0034_0008__mainspring [arg0] r_0034_0010__but but r_0034_0010__but->r_0034_0004__is [conj1] r_0034_0011__adopts adopts r_0034_0010__but->r_0034_0011__adopts [conj2] r_0034_0011__adopts->r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive [arg0] r_0034_0012__an_r_0034_0015__unit an unit r_0034_0011__adopts->r_0034_0012__an_r_0034_0015__unit [arg1] r_0034_0013__electronic electronic r_0034_0012__an_r_0034_0015__unit->r_0034_0013__electronic [attrib] r_0034_0014__speed__hyphen__regulating speed-regulating r_0034_0012__an_r_0034_0015__unit->r_0034_0014__speed__hyphen__regulating [attrib] r_0034_0016__comprising comprising r_0034_0016__comprising->r_0034_0012__an_r_0034_0015__unit [arg0] r_0034_0023__and and r_0034_0016__comprising->r_0034_0023__and [arg1] r_0034_0017__a_r_0034_0018__generator a generator r_0034_0023__and->r_0034_0017__a_r_0034_0018__generator [conj1] r_0034_0020__IC_r_0034_0021__circuit IC circuit r_0034_0023__and->r_0034_0020__IC_r_0034_0021__circuit [conj2] r_0034_0024__crystal_r_0034_0025__oscillator crystal oscillator r_0034_0023__and->r_0034_0024__crystal_r_0034_0025__oscillator [conj3] 
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, 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, attrib35).
arc(r_0034_0012__an_r_0034_0015__unit, r_0034_0014__speed__hyphen__regulating, attrib38).
arc(r_0034_0016__comprising, r_0034_0012__an_r_0034_0015__unit, 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).


%3 r_0034_0004__is_r_0034_0005__powered is powered r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive The Spring Drive r_0034_0004__is_r_0034_0005__powered->r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive [arg1] r_0034_0007__a_r_0034_0008__mainspring a mainspring r_0034_0004__is_r_0034_0005__powered->r_0034_0007__a_r_0034_0008__mainspring [arg0] r_0034_0010__but but r_0034_0010__but->r_0034_0004__is_r_0034_0005__powered [conj1] r_0034_0011__adopts adopts r_0034_0010__but->r_0034_0011__adopts [conj2] r_0034_0011__adopts->r_0034_0001__The_r_0034_0002__Spring_r_0034_0003__Drive [arg0] r_0034_0012__an_r_0034_0015__unit an unit r_0034_0011__adopts->r_0034_0012__an_r_0034_0015__unit [arg1] r_0034_0013__electronic electronic r_0034_0012__an_r_0034_0015__unit->r_0034_0013__electronic [attrib] r_0034_0014__speed__hyphen__regulating speed-regulating r_0034_0012__an_r_0034_0015__unit->r_0034_0014__speed__hyphen__regulating [attrib] r_0034_0016__comprising comprising r_0034_0016__comprising->r_0034_0012__an_r_0034_0015__unit [arg0] r_0034_0023__and and r_0034_0016__comprising->r_0034_0023__and [arg1] r_0034_0017__a_r_0034_0018__generator a generator r_0034_0023__and->r_0034_0017__a_r_0034_0018__generator [conj1] r_0034_0020__IC_r_0034_0021__circuit IC circuit r_0034_0023__and->r_0034_0020__IC_r_0034_0021__circuit [conj2] r_0034_0024__crystal_r_0034_0025__oscillator crystal oscillator r_0034_0023__and->r_0034_0024__crystal_r_0034_0025__oscillator [conj3] 
fof(formula,axiom,
    ? [R_34_10_BUT,R_34_4_IS_POWERED,R_34_7_A_MAINSPRING,R_34_11_ADOPTS,R_34_1_THE_SPRING_DRIVE,R_34_16_COMPRISING,R_34_12_AN_UNIT,R_34_13_ELECTRONIC,R_34_14_SPEED_HYPHEN_REGULATING,R_34_23_AND,R_34_17_A_GENERATOR,R_34_20_IC_CIRCUIT,R_34_24_CRYSTAL_OSCILLATOR] :
      ( a_mainspring(R_34_7_A_MAINSPRING)
      & the_Spring_Drive(R_34_1_THE_SPRING_DRIVE)
      & electronic(R_34_13_ELECTRONIC)
      & speed_hyphen_regulating(R_34_14_SPEED_HYPHEN_REGULATING)
      & a_generator(R_34_17_A_GENERATOR)
      & iC_circuit(R_34_20_IC_CIRCUIT)
      & crystal_oscillator(R_34_24_CRYSTAL_OSCILLATOR)
      & but(R_34_10_BUT)
      & conj1(R_34_10_BUT,R_34_4_IS_POWERED)
      & is_powered(R_34_4_IS_POWERED,R_34_7_A_MAINSPRING,R_34_1_THE_SPRING_DRIVE)
      & conj2(R_34_10_BUT,R_34_11_ADOPTS)
      & adopts(R_34_11_ADOPTS,R_34_1_THE_SPRING_DRIVE,R_34_12_AN_UNIT)
      & an_unit(R_34_12_AN_UNIT)
      & attrib35(R_34_12_AN_UNIT,R_34_13_ELECTRONIC)
      & attrib38(R_34_12_AN_UNIT,R_34_14_SPEED_HYPHEN_REGULATING)
      & comprising(R_34_16_COMPRISING,R_34_12_AN_UNIT,R_34_23_AND)
      & and(R_34_23_AND)
      & conj1(R_34_23_AND,R_34_17_A_GENERATOR)
      & conj2(R_34_23_AND,R_34_20_IC_CIRCUIT)
      & conj3(R_34_23_AND,R_34_24_CRYSTAL_OSCILLATOR) ) ).


n34_a_seiko_9r65 n34_a_seiko_9r65_4 The n34_a_seiko_9r65_6 Spring n34_a_seiko_9r65_8 Drive n34_a_seiko_9r65_12 is n34_a_seiko_9r65_15 powered n34_a_seiko_9r65_18 by n34_a_seiko_9r65_21 a n34_a_seiko_9r65_23 mainspring n34_a_seiko_9r65_25 , n34_a_seiko_9r65_28 but n34_a_seiko_9r65_31 adopts n34_a_seiko_9r65_34 an n34_a_seiko_9r65_37 electronic n34_a_seiko_9r65_40 speed-regulating n34_a_seiko_9r65_42 unit n34_a_seiko_9r65_45 comprising n34_a_seiko_9r65_50 a n34_a_seiko_9r65_52 generator n34_a_seiko_9r65_54 , n34_a_seiko_9r65_58 IC n34_a_seiko_9r65_60 circuit n34_a_seiko_9r65_62 , n34_a_seiko_9r65_65 and n34_a_seiko_9r65_68 crystal n34_a_seiko_9r65_70 oscillator n34_a_seiko_9r65_72 . n34_a_seiko_9r65_1 IP-MAT n34_a_seiko_9r65_2 NP-SBJ n34_a_seiko_9r65_1->n34_a_seiko_9r65_2 n34_a_seiko_9r65_9 ILYR n34_a_seiko_9r65_1->n34_a_seiko_9r65_9 n34_a_seiko_9r65_71 PUNC n34_a_seiko_9r65_1->n34_a_seiko_9r65_71 n34_a_seiko_9r65_3 D n34_a_seiko_9r65_2->n34_a_seiko_9r65_3 n34_a_seiko_9r65_5 NPR n34_a_seiko_9r65_2->n34_a_seiko_9r65_5 n34_a_seiko_9r65_7 NPR n34_a_seiko_9r65_2->n34_a_seiko_9r65_7 n34_a_seiko_9r65_3->n34_a_seiko_9r65_4 n34_a_seiko_9r65_5->n34_a_seiko_9r65_6 n34_a_seiko_9r65_7->n34_a_seiko_9r65_8 n34_a_seiko_9r65_10 ILYR n34_a_seiko_9r65_9->n34_a_seiko_9r65_10 n34_a_seiko_9r65_24 PUNC n34_a_seiko_9r65_9->n34_a_seiko_9r65_24 n34_a_seiko_9r65_26 CONJP n34_a_seiko_9r65_9->n34_a_seiko_9r65_26 n34_a_seiko_9r65_11 BEP;_cat_VePASS_ n34_a_seiko_9r65_10->n34_a_seiko_9r65_11 n34_a_seiko_9r65_13 IP-PPL-CAT n34_a_seiko_9r65_10->n34_a_seiko_9r65_13 n34_a_seiko_9r65_11->n34_a_seiko_9r65_12 n34_a_seiko_9r65_14 VVN;_Tn_ n34_a_seiko_9r65_13->n34_a_seiko_9r65_14 n34_a_seiko_9r65_16 PP-LGS n34_a_seiko_9r65_13->n34_a_seiko_9r65_16 n34_a_seiko_9r65_14->n34_a_seiko_9r65_15 n34_a_seiko_9r65_17 P-ROLE;_lgs_ n34_a_seiko_9r65_16->n34_a_seiko_9r65_17 n34_a_seiko_9r65_19 NP n34_a_seiko_9r65_16->n34_a_seiko_9r65_19 n34_a_seiko_9r65_17->n34_a_seiko_9r65_18 n34_a_seiko_9r65_20 D n34_a_seiko_9r65_19->n34_a_seiko_9r65_20 n34_a_seiko_9r65_22 N n34_a_seiko_9r65_19->n34_a_seiko_9r65_22 n34_a_seiko_9r65_20->n34_a_seiko_9r65_21 n34_a_seiko_9r65_22->n34_a_seiko_9r65_23 n34_a_seiko_9r65_24->n34_a_seiko_9r65_25 n34_a_seiko_9r65_27 CONJ n34_a_seiko_9r65_26->n34_a_seiko_9r65_27 n34_a_seiko_9r65_29 ILYR n34_a_seiko_9r65_26->n34_a_seiko_9r65_29 n34_a_seiko_9r65_27->n34_a_seiko_9r65_28 n34_a_seiko_9r65_30 VBP;_Tn_ n34_a_seiko_9r65_29->n34_a_seiko_9r65_30 n34_a_seiko_9r65_32 NP-OB1 n34_a_seiko_9r65_29->n34_a_seiko_9r65_32 n34_a_seiko_9r65_30->n34_a_seiko_9r65_31 n34_a_seiko_9r65_33 D n34_a_seiko_9r65_32->n34_a_seiko_9r65_33 n34_a_seiko_9r65_35 ADJP n34_a_seiko_9r65_32->n34_a_seiko_9r65_35 n34_a_seiko_9r65_38 ADJP n34_a_seiko_9r65_32->n34_a_seiko_9r65_38 n34_a_seiko_9r65_41 N n34_a_seiko_9r65_32->n34_a_seiko_9r65_41 n34_a_seiko_9r65_43 IP-PPL n34_a_seiko_9r65_32->n34_a_seiko_9r65_43 n34_a_seiko_9r65_33->n34_a_seiko_9r65_34 n34_a_seiko_9r65_36 ADJ n34_a_seiko_9r65_35->n34_a_seiko_9r65_36 n34_a_seiko_9r65_36->n34_a_seiko_9r65_37 n34_a_seiko_9r65_39 ADJ n34_a_seiko_9r65_38->n34_a_seiko_9r65_39 n34_a_seiko_9r65_39->n34_a_seiko_9r65_40 n34_a_seiko_9r65_41->n34_a_seiko_9r65_42 n34_a_seiko_9r65_44 VAG;_Tn_ n34_a_seiko_9r65_43->n34_a_seiko_9r65_44 n34_a_seiko_9r65_46 NP-OB1 n34_a_seiko_9r65_43->n34_a_seiko_9r65_46 n34_a_seiko_9r65_44->n34_a_seiko_9r65_45 n34_a_seiko_9r65_47 NLYR n34_a_seiko_9r65_46->n34_a_seiko_9r65_47 n34_a_seiko_9r65_48 NLYR n34_a_seiko_9r65_47->n34_a_seiko_9r65_48 n34_a_seiko_9r65_53 PUNC n34_a_seiko_9r65_47->n34_a_seiko_9r65_53 n34_a_seiko_9r65_55 CONJP n34_a_seiko_9r65_47->n34_a_seiko_9r65_55 n34_a_seiko_9r65_61 PUNC n34_a_seiko_9r65_47->n34_a_seiko_9r65_61 n34_a_seiko_9r65_63 CONJP n34_a_seiko_9r65_47->n34_a_seiko_9r65_63 n34_a_seiko_9r65_49 D n34_a_seiko_9r65_48->n34_a_seiko_9r65_49 n34_a_seiko_9r65_51 N n34_a_seiko_9r65_48->n34_a_seiko_9r65_51 n34_a_seiko_9r65_49->n34_a_seiko_9r65_50 n34_a_seiko_9r65_51->n34_a_seiko_9r65_52 n34_a_seiko_9r65_53->n34_a_seiko_9r65_54 n34_a_seiko_9r65_56 NLYR n34_a_seiko_9r65_55->n34_a_seiko_9r65_56 n34_a_seiko_9r65_57 N n34_a_seiko_9r65_56->n34_a_seiko_9r65_57 n34_a_seiko_9r65_59 N n34_a_seiko_9r65_56->n34_a_seiko_9r65_59 n34_a_seiko_9r65_57->n34_a_seiko_9r65_58 n34_a_seiko_9r65_59->n34_a_seiko_9r65_60 n34_a_seiko_9r65_61->n34_a_seiko_9r65_62 n34_a_seiko_9r65_64 CONJ n34_a_seiko_9r65_63->n34_a_seiko_9r65_64 n34_a_seiko_9r65_66 NLYR n34_a_seiko_9r65_63->n34_a_seiko_9r65_66 n34_a_seiko_9r65_64->n34_a_seiko_9r65_65 n34_a_seiko_9r65_67 N n34_a_seiko_9r65_66->n34_a_seiko_9r65_67 n34_a_seiko_9r65_69 N n34_a_seiko_9r65_66->n34_a_seiko_9r65_69 n34_a_seiko_9r65_67->n34_a_seiko_9r65_68 n34_a_seiko_9r65_69->n34_a_seiko_9r65_70 n34_a_seiko_9r65_71->n34_a_seiko_9r65_72 
( (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))