Context                Previous, Next                Top


48_a_seiko_9r65
The unwinding power of the mainspring also rotates the glide wheel.

%3 r_0048_0001__The_r_0048_0003__power The power r_0048_0005__the_r_0048_0006__mainspring the mainspring r_0048_0001__The_r_0048_0003__power->r_0048_0005__the_r_0048_0006__mainspring of r_0048_0002__unwinding unwinding r_0048_0002__unwinding->r_0048_0001__The_r_0048_0003__power [arg0] r_0048_0008__rotates rotates r_0048_0008__rotates->r_0048_0001__The_r_0048_0003__power [arg0] r_0048_0007__also also r_0048_0008__rotates->r_0048_0007__also [nim] r_0048_0009__the_r_0048_0010__glide_r_0048_0011__wheel the glide wheel r_0048_0008__rotates->r_0048_0009__the_r_0048_0010__glide_r_0048_0011__wheel [arg1] 
arc(r_0048_0001__The_r_0048_0003__power, r_0048_0005__the_r_0048_0006__mainspring, r_0048_0004__of).
arc(r_0048_0002__unwinding, r_0048_0001__The_r_0048_0003__power, arg0).
arc(r_0048_0008__rotates, r_0048_0001__The_r_0048_0003__power, arg0).
arc(r_0048_0008__rotates, r_0048_0007__also, nim18).
arc(r_0048_0008__rotates, r_0048_0009__the_r_0048_0010__glide_r_0048_0011__wheel, arg1).


%3 r_0048_0001__The_r_0048_0003__power The power r_0048_0005__the_r_0048_0006__mainspring the mainspring r_0048_0001__The_r_0048_0003__power->r_0048_0005__the_r_0048_0006__mainspring of r_0048_0002__unwinding unwinding r_0048_0002__unwinding->r_0048_0001__The_r_0048_0003__power [arg0] r_0048_0008__rotates rotates r_0048_0008__rotates->r_0048_0001__The_r_0048_0003__power [arg0] r_0048_0007__also also r_0048_0008__rotates->r_0048_0007__also [nim] r_0048_0009__the_r_0048_0010__glide_r_0048_0011__wheel the glide wheel r_0048_0008__rotates->r_0048_0009__the_r_0048_0010__glide_r_0048_0011__wheel [arg1] 
fof(formula,axiom,
    ? [R_48_2_UNWINDING,R_48_8_ROTATES,R_48_1_THE_POWER,R_48_5_THE_MAINSPRING,R_48_9_THE_GLIDE_WHEEL,R_48_7_ALSO] :
      ( the_mainspring(R_48_5_THE_MAINSPRING)
      & the_glide_wheel(R_48_9_THE_GLIDE_WHEEL)
      & also(R_48_7_ALSO)
      & unwinding(R_48_2_UNWINDING,R_48_1_THE_POWER)
      & the_power(R_48_1_THE_POWER)
      & of(R_48_1_THE_POWER,R_48_5_THE_MAINSPRING)
      & rotates(R_48_8_ROTATES,R_48_1_THE_POWER,R_48_9_THE_GLIDE_WHEEL)
      & nim18(R_48_8_ROTATES,R_48_7_ALSO) ) ).


n48_a_seiko_9r65 n48_a_seiko_9r65_4 The n48_a_seiko_9r65_7 unwinding n48_a_seiko_9r65_9 power n48_a_seiko_9r65_12 of n48_a_seiko_9r65_15 the n48_a_seiko_9r65_17 mainspring n48_a_seiko_9r65_20 also n48_a_seiko_9r65_22 rotates n48_a_seiko_9r65_25 the n48_a_seiko_9r65_27 glide n48_a_seiko_9r65_29 wheel n48_a_seiko_9r65_31 . n48_a_seiko_9r65_1 IP-MAT n48_a_seiko_9r65_2 NP-SBJ n48_a_seiko_9r65_1->n48_a_seiko_9r65_2 n48_a_seiko_9r65_18 ADVP-NIM n48_a_seiko_9r65_1->n48_a_seiko_9r65_18 n48_a_seiko_9r65_21 VBP;_Tn_ n48_a_seiko_9r65_1->n48_a_seiko_9r65_21 n48_a_seiko_9r65_23 NP-OB1 n48_a_seiko_9r65_1->n48_a_seiko_9r65_23 n48_a_seiko_9r65_30 PUNC n48_a_seiko_9r65_1->n48_a_seiko_9r65_30 n48_a_seiko_9r65_3 D n48_a_seiko_9r65_2->n48_a_seiko_9r65_3 n48_a_seiko_9r65_5 IP-PPL n48_a_seiko_9r65_2->n48_a_seiko_9r65_5 n48_a_seiko_9r65_8 N n48_a_seiko_9r65_2->n48_a_seiko_9r65_8 n48_a_seiko_9r65_10 PP n48_a_seiko_9r65_2->n48_a_seiko_9r65_10 n48_a_seiko_9r65_3->n48_a_seiko_9r65_4 n48_a_seiko_9r65_6 VAG;_I_ n48_a_seiko_9r65_5->n48_a_seiko_9r65_6 n48_a_seiko_9r65_6->n48_a_seiko_9r65_7 n48_a_seiko_9r65_8->n48_a_seiko_9r65_9 n48_a_seiko_9r65_11 P-ROLE n48_a_seiko_9r65_10->n48_a_seiko_9r65_11 n48_a_seiko_9r65_13 NP n48_a_seiko_9r65_10->n48_a_seiko_9r65_13 n48_a_seiko_9r65_11->n48_a_seiko_9r65_12 n48_a_seiko_9r65_14 D n48_a_seiko_9r65_13->n48_a_seiko_9r65_14 n48_a_seiko_9r65_16 N n48_a_seiko_9r65_13->n48_a_seiko_9r65_16 n48_a_seiko_9r65_14->n48_a_seiko_9r65_15 n48_a_seiko_9r65_16->n48_a_seiko_9r65_17 n48_a_seiko_9r65_19 ADV n48_a_seiko_9r65_18->n48_a_seiko_9r65_19 n48_a_seiko_9r65_19->n48_a_seiko_9r65_20 n48_a_seiko_9r65_21->n48_a_seiko_9r65_22 n48_a_seiko_9r65_24 D n48_a_seiko_9r65_23->n48_a_seiko_9r65_24 n48_a_seiko_9r65_26 N n48_a_seiko_9r65_23->n48_a_seiko_9r65_26 n48_a_seiko_9r65_28 N n48_a_seiko_9r65_23->n48_a_seiko_9r65_28 n48_a_seiko_9r65_24->n48_a_seiko_9r65_25 n48_a_seiko_9r65_26->n48_a_seiko_9r65_27 n48_a_seiko_9r65_28->n48_a_seiko_9r65_29 n48_a_seiko_9r65_30->n48_a_seiko_9r65_31 
( (IP-MAT (NP-SBJ;{POWER_OF_MAINSPRING} (D The;{the})
                                        (IP-PPL (VAG;_I_ unwinding;{unwind}))
                                        (N power;{power})
                                        (PP (P-ROLE of;{of})
                                            (NP (D the;{the})
                                                (N mainspring;{mainspring}))))
          (ADVP-NIM (ADV also;{also}))
          (VBP;_Tn_ rotates;{rotate})
          (NP-OB1;{GLIDE_WHEEL} (D the;{the})
                                (N glide;{glide})
                                (N wheel;{wheel}))
          (PUNC .))
  (ID 48_a_seiko_9r65))