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_0008__rotates rotates 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] r_0048_0007__also also r_0048_0008__rotates->r_0048_0007__also [nim] r_0048_0001__The_r_0048_0003__power The power r_0048_0008__rotates->r_0048_0001__The_r_0048_0003__power [arg0] 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] 
fof(formula,axiom,
    ? [R_0048_0005__THE_R_0048_0006__MAINSPRING,R_0048_0001__THE_R_0048_0003__POWER,R_0048_0002__UNWINDING,R_0048_0007__ALSO,R_0048_0009__THE_R_0048_0010__GLIDE_R_0048_0011__WHEEL,R_0048_0008__ROTATES] :
      ( r_0048_0005__the_r_0048_0006__mainspring(R_0048_0005__THE_R_0048_0006__MAINSPRING)
      & r_0048_0007__also(R_0048_0007__ALSO)
      & r_0048_0009__the_r_0048_0010__glide_r_0048_0011__wheel(R_0048_0009__THE_R_0048_0010__GLIDE_R_0048_0011__WHEEL)
      & r_0048_0008__rotates(R_0048_0008__ROTATES)
      & has_arg1(R_0048_0008__ROTATES,R_0048_0009__THE_R_0048_0010__GLIDE_R_0048_0011__WHEEL)
      & has_nim18(R_0048_0008__ROTATES,R_0048_0007__ALSO)
      & has_arg0(R_0048_0008__ROTATES,R_0048_0001__THE_R_0048_0003__POWER)
      & r_0048_0001__The_r_0048_0003__power(R_0048_0001__THE_R_0048_0003__POWER)
      & has_r_0048_0004__of(R_0048_0001__THE_R_0048_0003__POWER,R_0048_0005__THE_R_0048_0006__MAINSPRING)
      & r_0048_0002__unwinding(R_0048_0002__UNWINDING)
      & has_arg0(R_0048_0002__UNWINDING,R_0048_0001__THE_R_0048_0003__POWER) ) ).


n48_a_seiko_9r65 n48_a_seiko_9r65__1_1_1_1 The n48_a_seiko_9r65__1_1_2_1_1 unwinding n48_a_seiko_9r65__1_1_3_1 power n48_a_seiko_9r65__1_1_4_1_1 of n48_a_seiko_9r65__1_1_4_2_1_1 the n48_a_seiko_9r65__1_1_4_2_2_1 mainspring n48_a_seiko_9r65__1_2_1_1 also n48_a_seiko_9r65__1_3_1 rotates n48_a_seiko_9r65__1_4_1_1 the n48_a_seiko_9r65__1_4_2_1 glide n48_a_seiko_9r65__1_4_3_1 wheel n48_a_seiko_9r65__1_5_1 . n48_a_seiko_9r65__1 IP-MAT n48_a_seiko_9r65__1_1 NP-SBJ n48_a_seiko_9r65__1->n48_a_seiko_9r65__1_1 n48_a_seiko_9r65__1_2 ADVP-NIM n48_a_seiko_9r65__1->n48_a_seiko_9r65__1_2 n48_a_seiko_9r65__1_3 VBP;_Tn_ n48_a_seiko_9r65__1->n48_a_seiko_9r65__1_3 n48_a_seiko_9r65__1_4 NP-OB1 n48_a_seiko_9r65__1->n48_a_seiko_9r65__1_4 n48_a_seiko_9r65__1_5 PUNC n48_a_seiko_9r65__1->n48_a_seiko_9r65__1_5 n48_a_seiko_9r65__1_1_1 D n48_a_seiko_9r65__1_1->n48_a_seiko_9r65__1_1_1 n48_a_seiko_9r65__1_1_2 IP-PPL n48_a_seiko_9r65__1_1->n48_a_seiko_9r65__1_1_2 n48_a_seiko_9r65__1_1_3 N n48_a_seiko_9r65__1_1->n48_a_seiko_9r65__1_1_3 n48_a_seiko_9r65__1_1_4 PP n48_a_seiko_9r65__1_1->n48_a_seiko_9r65__1_1_4 n48_a_seiko_9r65__1_1_1->n48_a_seiko_9r65__1_1_1_1 n48_a_seiko_9r65__1_1_2_1 VAG;_I_ n48_a_seiko_9r65__1_1_2->n48_a_seiko_9r65__1_1_2_1 n48_a_seiko_9r65__1_1_2_1->n48_a_seiko_9r65__1_1_2_1_1 n48_a_seiko_9r65__1_1_3->n48_a_seiko_9r65__1_1_3_1 n48_a_seiko_9r65__1_1_4_1 P-ROLE n48_a_seiko_9r65__1_1_4->n48_a_seiko_9r65__1_1_4_1 n48_a_seiko_9r65__1_1_4_2 NP n48_a_seiko_9r65__1_1_4->n48_a_seiko_9r65__1_1_4_2 n48_a_seiko_9r65__1_1_4_1->n48_a_seiko_9r65__1_1_4_1_1 n48_a_seiko_9r65__1_1_4_2_1 D n48_a_seiko_9r65__1_1_4_2->n48_a_seiko_9r65__1_1_4_2_1 n48_a_seiko_9r65__1_1_4_2_2 N n48_a_seiko_9r65__1_1_4_2->n48_a_seiko_9r65__1_1_4_2_2 n48_a_seiko_9r65__1_1_4_2_1->n48_a_seiko_9r65__1_1_4_2_1_1 n48_a_seiko_9r65__1_1_4_2_2->n48_a_seiko_9r65__1_1_4_2_2_1 n48_a_seiko_9r65__1_2_1 ADV n48_a_seiko_9r65__1_2->n48_a_seiko_9r65__1_2_1 n48_a_seiko_9r65__1_2_1->n48_a_seiko_9r65__1_2_1_1 n48_a_seiko_9r65__1_3->n48_a_seiko_9r65__1_3_1 n48_a_seiko_9r65__1_4_1 D n48_a_seiko_9r65__1_4->n48_a_seiko_9r65__1_4_1 n48_a_seiko_9r65__1_4_2 N n48_a_seiko_9r65__1_4->n48_a_seiko_9r65__1_4_2 n48_a_seiko_9r65__1_4_3 N n48_a_seiko_9r65__1_4->n48_a_seiko_9r65__1_4_3 n48_a_seiko_9r65__1_4_1->n48_a_seiko_9r65__1_4_1_1 n48_a_seiko_9r65__1_4_2->n48_a_seiko_9r65__1_4_2_1 n48_a_seiko_9r65__1_4_3->n48_a_seiko_9r65__1_4_3_1 n48_a_seiko_9r65__1_5->n48_a_seiko_9r65__1_5_1 
( (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))