Context                Previous, Next                Top


29_a_seiko_9r65
The power of the mainspring is regulated by electronic control.

%3 r_0029_0001__The_r_0029_0002__power The power r_0029_0004__the_r_0029_0005__mainspring the mainspring r_0029_0001__The_r_0029_0002__power->r_0029_0004__the_r_0029_0005__mainspring of r_0029_0006__is is r_0029_0007__regulated regulated r_0029_0006__is->r_0029_0007__regulated [scope] r_0029_0007__regulated->r_0029_0001__The_r_0029_0002__power [arg1] r_0029_0010__control control r_0029_0007__regulated->r_0029_0010__control [arg0] r_0029_0009__electronic electronic r_0029_0010__control->r_0029_0009__electronic [attrib] 
arc(r_0029_0001__The_r_0029_0002__power, r_0029_0004__the_r_0029_0005__mainspring, r_0029_0003__of).
arc(r_0029_0006__is, r_0029_0007__regulated, scope).
arc(r_0029_0007__regulated, r_0029_0001__The_r_0029_0002__power, arg1).
arc(r_0029_0007__regulated, r_0029_0010__control, arg0).
arc(r_0029_0010__control, r_0029_0009__electronic, attrib24).


%3 r_0029_0010__control control r_0029_0009__electronic electronic r_0029_0010__control->r_0029_0009__electronic [attrib] r_0029_0006__is_r_0029_0007__regulated is regulated r_0029_0006__is_r_0029_0007__regulated->r_0029_0010__control [arg0] r_0029_0001__The_r_0029_0002__power The power r_0029_0006__is_r_0029_0007__regulated->r_0029_0001__The_r_0029_0002__power [arg1] r_0029_0004__the_r_0029_0005__mainspring the mainspring r_0029_0001__The_r_0029_0002__power->r_0029_0004__the_r_0029_0005__mainspring of 
fof(formula,axiom,
    ? [R_0029_0004__THE_R_0029_0005__MAINSPRING,R_0029_0001__THE_R_0029_0002__POWER,R_0029_0009__ELECTRONIC,R_0029_0010__CONTROL,R_0029_0006__IS_R_0029_0007__REGULATED] :
      ( r_0029_0004__the_r_0029_0005__mainspring(R_0029_0004__THE_R_0029_0005__MAINSPRING)
      & r_0029_0009__electronic(R_0029_0009__ELECTRONIC)
      & r_0029_0006__is_r_0029_0007__regulated(R_0029_0006__IS_R_0029_0007__REGULATED)
      & has_arg0(R_0029_0006__IS_R_0029_0007__REGULATED,R_0029_0010__CONTROL)
      & r_0029_0010__control(R_0029_0010__CONTROL)
      & has_attrib24(R_0029_0010__CONTROL,R_0029_0009__ELECTRONIC)
      & has_arg1(R_0029_0006__IS_R_0029_0007__REGULATED,R_0029_0001__THE_R_0029_0002__POWER)
      & r_0029_0001__The_r_0029_0002__power(R_0029_0001__THE_R_0029_0002__POWER)
      & has_r_0029_0003__of(R_0029_0001__THE_R_0029_0002__POWER,R_0029_0004__THE_R_0029_0005__MAINSPRING) ) ).


n29_a_seiko_9r65 n29_a_seiko_9r65__1_1_1_1 The n29_a_seiko_9r65__1_1_2_1 power n29_a_seiko_9r65__1_1_3_1_1 of n29_a_seiko_9r65__1_1_3_2_1_1 the n29_a_seiko_9r65__1_1_3_2_2_1 mainspring n29_a_seiko_9r65__1_2_1 is n29_a_seiko_9r65__1_3_1_1 regulated n29_a_seiko_9r65__1_3_2_1_1 by n29_a_seiko_9r65__1_3_2_2_1_1_1 electronic n29_a_seiko_9r65__1_3_2_2_2_1 control n29_a_seiko_9r65__1_4_1 . n29_a_seiko_9r65__1 IP-MAT n29_a_seiko_9r65__1_1 NP-SBJ n29_a_seiko_9r65__1->n29_a_seiko_9r65__1_1 n29_a_seiko_9r65__1_2 BEP;_cat_VePASS_ n29_a_seiko_9r65__1->n29_a_seiko_9r65__1_2 n29_a_seiko_9r65__1_3 IP-PPL-CAT n29_a_seiko_9r65__1->n29_a_seiko_9r65__1_3 n29_a_seiko_9r65__1_4 PUNC n29_a_seiko_9r65__1->n29_a_seiko_9r65__1_4 n29_a_seiko_9r65__1_1_1 D n29_a_seiko_9r65__1_1->n29_a_seiko_9r65__1_1_1 n29_a_seiko_9r65__1_1_2 N n29_a_seiko_9r65__1_1->n29_a_seiko_9r65__1_1_2 n29_a_seiko_9r65__1_1_3 PP n29_a_seiko_9r65__1_1->n29_a_seiko_9r65__1_1_3 n29_a_seiko_9r65__1_1_1->n29_a_seiko_9r65__1_1_1_1 n29_a_seiko_9r65__1_1_2->n29_a_seiko_9r65__1_1_2_1 n29_a_seiko_9r65__1_1_3_1 P-ROLE n29_a_seiko_9r65__1_1_3->n29_a_seiko_9r65__1_1_3_1 n29_a_seiko_9r65__1_1_3_2 NP n29_a_seiko_9r65__1_1_3->n29_a_seiko_9r65__1_1_3_2 n29_a_seiko_9r65__1_1_3_1->n29_a_seiko_9r65__1_1_3_1_1 n29_a_seiko_9r65__1_1_3_2_1 D n29_a_seiko_9r65__1_1_3_2->n29_a_seiko_9r65__1_1_3_2_1 n29_a_seiko_9r65__1_1_3_2_2 N n29_a_seiko_9r65__1_1_3_2->n29_a_seiko_9r65__1_1_3_2_2 n29_a_seiko_9r65__1_1_3_2_1->n29_a_seiko_9r65__1_1_3_2_1_1 n29_a_seiko_9r65__1_1_3_2_2->n29_a_seiko_9r65__1_1_3_2_2_1 n29_a_seiko_9r65__1_2->n29_a_seiko_9r65__1_2_1 n29_a_seiko_9r65__1_3_1 VVN;_Tn_ n29_a_seiko_9r65__1_3->n29_a_seiko_9r65__1_3_1 n29_a_seiko_9r65__1_3_2 PP-LGS n29_a_seiko_9r65__1_3->n29_a_seiko_9r65__1_3_2 n29_a_seiko_9r65__1_3_1->n29_a_seiko_9r65__1_3_1_1 n29_a_seiko_9r65__1_3_2_1 P-ROLE;_lgs_ n29_a_seiko_9r65__1_3_2->n29_a_seiko_9r65__1_3_2_1 n29_a_seiko_9r65__1_3_2_2 NP n29_a_seiko_9r65__1_3_2->n29_a_seiko_9r65__1_3_2_2 n29_a_seiko_9r65__1_3_2_1->n29_a_seiko_9r65__1_3_2_1_1 n29_a_seiko_9r65__1_3_2_2_1 ADJP n29_a_seiko_9r65__1_3_2_2->n29_a_seiko_9r65__1_3_2_2_1 n29_a_seiko_9r65__1_3_2_2_2 N n29_a_seiko_9r65__1_3_2_2->n29_a_seiko_9r65__1_3_2_2_2 n29_a_seiko_9r65__1_3_2_2_1_1 ADJ n29_a_seiko_9r65__1_3_2_2_1->n29_a_seiko_9r65__1_3_2_2_1_1 n29_a_seiko_9r65__1_3_2_2_1_1->n29_a_seiko_9r65__1_3_2_2_1_1_1 n29_a_seiko_9r65__1_3_2_2_2->n29_a_seiko_9r65__1_3_2_2_2_1 n29_a_seiko_9r65__1_4->n29_a_seiko_9r65__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N power;{power})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (N mainspring;{mainspring}))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT;{REGULATION} (VVN;_Tn_ regulated;{regulate})
                                   (PP-LGS (P-ROLE;_lgs_ by;{by})
                                           (NP (ADJP (ADJ electronic;{electronic}))
                                               (N control;{control}))))
          (PUNC .))
  (ID 29_a_seiko_9r65))