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_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_r_0029_0007__regulated is regulated r_0029_0006__is_r_0029_0007__regulated->r_0029_0001__The_r_0029_0002__power [arg1] r_0029_0010__control control r_0029_0006__is_r_0029_0007__regulated->r_0029_0010__control [arg0] r_0029_0009__electronic electronic r_0029_0010__control->r_0029_0009__electronic [attrib] 
fof(formula,axiom,
    ? [R_29_6_IS_REGULATED,R_29_10_CONTROL,R_29_9_ELECTRONIC,R_29_1_THE_POWER,R_29_4_THE_MAINSPRING] :
      ( electronic(R_29_9_ELECTRONIC)
      & the_mainspring(R_29_4_THE_MAINSPRING)
      & is_regulated(R_29_6_IS_REGULATED,R_29_10_CONTROL,R_29_1_THE_POWER)
      & control(R_29_10_CONTROL)
      & attrib24(R_29_10_CONTROL,R_29_9_ELECTRONIC)
      & the_power(R_29_1_THE_POWER)
      & of(R_29_1_THE_POWER,R_29_4_THE_MAINSPRING) ) ).


n29_a_seiko_9r65 n29_a_seiko_9r65_4 The n29_a_seiko_9r65_6 power n29_a_seiko_9r65_9 of n29_a_seiko_9r65_12 the n29_a_seiko_9r65_14 mainspring n29_a_seiko_9r65_16 is n29_a_seiko_9r65_19 regulated n29_a_seiko_9r65_22 by n29_a_seiko_9r65_26 electronic n29_a_seiko_9r65_28 control n29_a_seiko_9r65_30 . n29_a_seiko_9r65_1 IP-MAT n29_a_seiko_9r65_2 NP-SBJ n29_a_seiko_9r65_1->n29_a_seiko_9r65_2 n29_a_seiko_9r65_15 BEP;_cat_VePASS_ n29_a_seiko_9r65_1->n29_a_seiko_9r65_15 n29_a_seiko_9r65_17 IP-PPL-CAT n29_a_seiko_9r65_1->n29_a_seiko_9r65_17 n29_a_seiko_9r65_29 PUNC n29_a_seiko_9r65_1->n29_a_seiko_9r65_29 n29_a_seiko_9r65_3 D n29_a_seiko_9r65_2->n29_a_seiko_9r65_3 n29_a_seiko_9r65_5 N n29_a_seiko_9r65_2->n29_a_seiko_9r65_5 n29_a_seiko_9r65_7 PP n29_a_seiko_9r65_2->n29_a_seiko_9r65_7 n29_a_seiko_9r65_3->n29_a_seiko_9r65_4 n29_a_seiko_9r65_5->n29_a_seiko_9r65_6 n29_a_seiko_9r65_8 P-ROLE n29_a_seiko_9r65_7->n29_a_seiko_9r65_8 n29_a_seiko_9r65_10 NP n29_a_seiko_9r65_7->n29_a_seiko_9r65_10 n29_a_seiko_9r65_8->n29_a_seiko_9r65_9 n29_a_seiko_9r65_11 D n29_a_seiko_9r65_10->n29_a_seiko_9r65_11 n29_a_seiko_9r65_13 N n29_a_seiko_9r65_10->n29_a_seiko_9r65_13 n29_a_seiko_9r65_11->n29_a_seiko_9r65_12 n29_a_seiko_9r65_13->n29_a_seiko_9r65_14 n29_a_seiko_9r65_15->n29_a_seiko_9r65_16 n29_a_seiko_9r65_18 VVN;_Tn_ n29_a_seiko_9r65_17->n29_a_seiko_9r65_18 n29_a_seiko_9r65_20 PP-LGS n29_a_seiko_9r65_17->n29_a_seiko_9r65_20 n29_a_seiko_9r65_18->n29_a_seiko_9r65_19 n29_a_seiko_9r65_21 P-ROLE;_lgs_ n29_a_seiko_9r65_20->n29_a_seiko_9r65_21 n29_a_seiko_9r65_23 NP n29_a_seiko_9r65_20->n29_a_seiko_9r65_23 n29_a_seiko_9r65_21->n29_a_seiko_9r65_22 n29_a_seiko_9r65_24 ADJP n29_a_seiko_9r65_23->n29_a_seiko_9r65_24 n29_a_seiko_9r65_27 N n29_a_seiko_9r65_23->n29_a_seiko_9r65_27 n29_a_seiko_9r65_25 ADJ n29_a_seiko_9r65_24->n29_a_seiko_9r65_25 n29_a_seiko_9r65_25->n29_a_seiko_9r65_26 n29_a_seiko_9r65_27->n29_a_seiko_9r65_28 n29_a_seiko_9r65_29->n29_a_seiko_9r65_30 
( (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))