Context                Previous, Next                Top


35_a_seiko_9r65
In a little more detail, at the end of the train wheel that moves the hands, a series of speed increasing wheels with a rotor are provided.

%3 r_0035_0003__more more r_0035_0002__a_little a little r_0035_0003__more->r_0035_0002__a_little [qual] r_0035_0004__detail detail r_0035_0004__detail->r_0035_0003__more [attrib] r_0035_0007__the_r_0035_0008__end the end r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel the train wheel r_0035_0007__the_r_0035_0008__end->r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel of r_0035_0013__that_r_0035_0014__moves that moves r_0035_0013__that_r_0035_0014__moves->r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel [arg0] r_0035_0015__the_r_0035_0016__hands the hands r_0035_0013__that_r_0035_0014__moves->r_0035_0015__the_r_0035_0016__hands [arg1] r_0035_0018__a_r_0035_0019__series a series r_0035_0023__wheels wheels r_0035_0018__a_r_0035_0019__series->r_0035_0023__wheels of r_0035_0022__increasing increasing r_0035_0023__wheels->r_0035_0022__increasing [attrib] r_0035_0025__a_r_0035_0026__rotor a rotor r_0035_0023__wheels->r_0035_0025__a_r_0035_0026__rotor with r_0035_0021__speed speed r_0035_0022__increasing->r_0035_0021__speed [nim] r_0035_0027__are are r_0035_0027__are->r_0035_0004__detail In [nim] r_0035_0027__are->r_0035_0007__the_r_0035_0008__end at [nim] r_0035_0028__provided provided r_0035_0027__are->r_0035_0028__provided [scope] r_0035_0028__provided->r_0035_0018__a_r_0035_0019__series [arg1] z_000_35_a_seiko_9r65_76 r_0035_0028__provided->z_000_35_a_seiko_9r65_76 [arg0] 
arc(r_0035_0003__more, r_0035_0002__a_little, qual7).
arc(r_0035_0004__detail, r_0035_0003__more, attrib6).
arc(r_0035_0007__the_r_0035_0008__end, r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel, r_0035_0009__of).
arc(r_0035_0013__that_r_0035_0014__moves, r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel, arg0).
arc(r_0035_0013__that_r_0035_0014__moves, r_0035_0015__the_r_0035_0016__hands, arg1).
arc(r_0035_0018__a_r_0035_0019__series, r_0035_0023__wheels, r_0035_0020__of).
arc(r_0035_0022__increasing, r_0035_0021__speed, nim58).
arc(r_0035_0023__wheels, r_0035_0022__increasing, attrib57).
arc(r_0035_0023__wheels, r_0035_0025__a_r_0035_0026__rotor, r_0035_0024__with).
arc(r_0035_0027__are, r_0035_0004__detail, r_0035_0001__In_nim5).
arc(r_0035_0027__are, r_0035_0007__the_r_0035_0008__end, r_0035_0006__at_nim19).
arc(r_0035_0027__are, r_0035_0028__provided, scope).
arc(r_0035_0028__provided, r_0035_0018__a_r_0035_0019__series, arg1).
arc(r_0035_0028__provided, z_000_35_a_seiko_9r65_76, arg0).


%3 r_0035_0027__are_r_0035_0028__provided are provided z_000_35_a_seiko_9r65_76 r_0035_0027__are_r_0035_0028__provided->z_000_35_a_seiko_9r65_76 [arg0] r_0035_0018__a_r_0035_0019__series a series r_0035_0027__are_r_0035_0028__provided->r_0035_0018__a_r_0035_0019__series [arg1] r_0035_0007__the_r_0035_0008__end the end r_0035_0027__are_r_0035_0028__provided->r_0035_0007__the_r_0035_0008__end at [nim] r_0035_0004__detail detail r_0035_0027__are_r_0035_0028__provided->r_0035_0004__detail In [nim] r_0035_0023__wheels wheels r_0035_0018__a_r_0035_0019__series->r_0035_0023__wheels of r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel the train wheel r_0035_0007__the_r_0035_0008__end->r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel of r_0035_0003__more more r_0035_0004__detail->r_0035_0003__more [attrib] r_0035_0025__a_r_0035_0026__rotor a rotor r_0035_0023__wheels->r_0035_0025__a_r_0035_0026__rotor with r_0035_0022__increasing increasing r_0035_0023__wheels->r_0035_0022__increasing [attrib] r_0035_0021__speed speed r_0035_0022__increasing->r_0035_0021__speed [nim] r_0035_0013__that_r_0035_0014__moves that moves r_0035_0015__the_r_0035_0016__hands the hands r_0035_0013__that_r_0035_0014__moves->r_0035_0015__the_r_0035_0016__hands [arg1] r_0035_0013__that_r_0035_0014__moves->r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel [arg0] r_0035_0002__a_little a little r_0035_0003__more->r_0035_0002__a_little [qual] 
fof(formula,axiom,
    ? [R_0035_0010__THE_R_0035_0011__TRAIN_R_0035_0012__WHEEL,R_0035_0015__THE_R_0035_0016__HANDS,R_0035_0013__THAT_R_0035_0014__MOVES,R_0035_0002__A_LITTLE,R_0035_0003__MORE,R_0035_0004__DETAIL,R_0035_0007__THE_R_0035_0008__END,R_0035_0021__SPEED,R_0035_0022__INCREASING,R_0035_0025__A_R_0035_0026__ROTOR,R_0035_0023__WHEELS,R_0035_0018__A_R_0035_0019__SERIES,Z_000_35_A_SEIKO_9R65_76,R_0035_0027__ARE_R_0035_0028__PROVIDED] :
      ( r_0035_0002__a_little(R_0035_0002__A_LITTLE)
      & r_0035_0010__the_r_0035_0011__train_r_0035_0012__wheel(R_0035_0010__THE_R_0035_0011__TRAIN_R_0035_0012__WHEEL)
      & r_0035_0015__the_r_0035_0016__hands(R_0035_0015__THE_R_0035_0016__HANDS)
      & r_0035_0021__speed(R_0035_0021__SPEED)
      & r_0035_0025__a_r_0035_0026__rotor(R_0035_0025__A_R_0035_0026__ROTOR)
      & z_000_35_a_seiko_9r65_76(Z_000_35_A_SEIKO_9R65_76)
      & r_0035_0027__are_r_0035_0028__provided(R_0035_0027__ARE_R_0035_0028__PROVIDED)
      & has_arg0(R_0035_0027__ARE_R_0035_0028__PROVIDED,Z_000_35_A_SEIKO_9R65_76)
      & has_arg1(R_0035_0027__ARE_R_0035_0028__PROVIDED,R_0035_0018__A_R_0035_0019__SERIES)
      & r_0035_0018__a_r_0035_0019__series(R_0035_0018__A_R_0035_0019__SERIES)
      & has_r_0035_0020__of(R_0035_0018__A_R_0035_0019__SERIES,R_0035_0023__WHEELS)
      & r_0035_0023__wheels(R_0035_0023__WHEELS)
      & has_r_0035_0024__with(R_0035_0023__WHEELS,R_0035_0025__A_R_0035_0026__ROTOR)
      & has_attrib57(R_0035_0023__WHEELS,R_0035_0022__INCREASING)
      & r_0035_0022__increasing(R_0035_0022__INCREASING)
      & has_nim58(R_0035_0022__INCREASING,R_0035_0021__SPEED)
      & has_r_0035_0006__at_nim19(R_0035_0027__ARE_R_0035_0028__PROVIDED,R_0035_0007__THE_R_0035_0008__END)
      & r_0035_0007__the_r_0035_0008__end(R_0035_0007__THE_R_0035_0008__END)
      & has_r_0035_0009__of(R_0035_0007__THE_R_0035_0008__END,R_0035_0010__THE_R_0035_0011__TRAIN_R_0035_0012__WHEEL)
      & has_r_0035_0001__In_nim5(R_0035_0027__ARE_R_0035_0028__PROVIDED,R_0035_0004__DETAIL)
      & r_0035_0004__detail(R_0035_0004__DETAIL)
      & has_attrib6(R_0035_0004__DETAIL,R_0035_0003__MORE)
      & r_0035_0003__more(R_0035_0003__MORE)
      & has_qual7(R_0035_0003__MORE,R_0035_0002__A_LITTLE)
      & r_0035_0013__that_r_0035_0014__moves(R_0035_0013__THAT_R_0035_0014__MOVES)
      & has_arg1(R_0035_0013__THAT_R_0035_0014__MOVES,R_0035_0015__THE_R_0035_0016__HANDS)
      & has_arg0(R_0035_0013__THAT_R_0035_0014__MOVES,R_0035_0010__THE_R_0035_0011__TRAIN_R_0035_0012__WHEEL) ) ).


n35_a_seiko_9r65 n35_a_seiko_9r65__1_1_1_1 In n35_a_seiko_9r65__1_1_2_1_1_1_1 a_little n35_a_seiko_9r65__1_1_2_1_2_1 more n35_a_seiko_9r65__1_1_2_2_1 detail n35_a_seiko_9r65__1_2_1 , n35_a_seiko_9r65__1_3_1_1 at n35_a_seiko_9r65__1_3_2_1_1 the n35_a_seiko_9r65__1_3_2_2_1 end n35_a_seiko_9r65__1_3_2_3_1_1 of n35_a_seiko_9r65__1_3_2_3_2_1_1 the n35_a_seiko_9r65__1_3_2_3_2_2_1 train n35_a_seiko_9r65__1_3_2_3_2_3_1 wheel n35_a_seiko_9r65__1_3_2_3_2_4_1_1 that n35_a_seiko_9r65__1_3_2_3_2_4_2_1 *T* n35_a_seiko_9r65__1_3_2_3_2_4_3_1 moves n35_a_seiko_9r65__1_3_2_3_2_4_4_1_1 the n35_a_seiko_9r65__1_3_2_3_2_4_4_2_1 hands n35_a_seiko_9r65__1_4_1 , n35_a_seiko_9r65__1_5_1_1 a n35_a_seiko_9r65__1_5_2_1 series n35_a_seiko_9r65__1_5_3_1_1 of n35_a_seiko_9r65__1_5_3_2_1_1_1_1 speed n35_a_seiko_9r65__1_5_3_2_1_2_1 increasing n35_a_seiko_9r65__1_5_3_2_2_1 wheels n35_a_seiko_9r65__1_5_3_2_3_1_1 with n35_a_seiko_9r65__1_5_3_2_3_2_1_1 a n35_a_seiko_9r65__1_5_3_2_3_2_2_1 rotor n35_a_seiko_9r65__1_6_1 are n35_a_seiko_9r65__1_7_1_1 * n35_a_seiko_9r65__1_7_2_1 provided n35_a_seiko_9r65__1_8_1 . n35_a_seiko_9r65__1 IP-MAT n35_a_seiko_9r65__1_1 PP-NIM n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_1 n35_a_seiko_9r65__1_2 PUNC n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_2 n35_a_seiko_9r65__1_3 PP-NIM n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_3 n35_a_seiko_9r65__1_4 PUNC n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_4 n35_a_seiko_9r65__1_5 NP-SBJ n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_5 n35_a_seiko_9r65__1_6 BEP;_cat_VePASS_ n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_6 n35_a_seiko_9r65__1_7 IP-PPL-CAT n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_7 n35_a_seiko_9r65__1_8 PUNC n35_a_seiko_9r65__1->n35_a_seiko_9r65__1_8 n35_a_seiko_9r65__1_1_1 P-ROLE n35_a_seiko_9r65__1_1->n35_a_seiko_9r65__1_1_1 n35_a_seiko_9r65__1_1_2 NP n35_a_seiko_9r65__1_1->n35_a_seiko_9r65__1_1_2 n35_a_seiko_9r65__1_1_1->n35_a_seiko_9r65__1_1_1_1 n35_a_seiko_9r65__1_1_2_1 ADJP n35_a_seiko_9r65__1_1_2->n35_a_seiko_9r65__1_1_2_1 n35_a_seiko_9r65__1_1_2_2 N n35_a_seiko_9r65__1_1_2->n35_a_seiko_9r65__1_1_2_2 n35_a_seiko_9r65__1_1_2_1_1 ADVP n35_a_seiko_9r65__1_1_2_1->n35_a_seiko_9r65__1_1_2_1_1 n35_a_seiko_9r65__1_1_2_1_2 ADJR n35_a_seiko_9r65__1_1_2_1->n35_a_seiko_9r65__1_1_2_1_2 n35_a_seiko_9r65__1_1_2_1_1_1 ADV n35_a_seiko_9r65__1_1_2_1_1->n35_a_seiko_9r65__1_1_2_1_1_1 n35_a_seiko_9r65__1_1_2_1_1_1->n35_a_seiko_9r65__1_1_2_1_1_1_1 n35_a_seiko_9r65__1_1_2_1_2->n35_a_seiko_9r65__1_1_2_1_2_1 n35_a_seiko_9r65__1_1_2_2->n35_a_seiko_9r65__1_1_2_2_1 n35_a_seiko_9r65__1_2->n35_a_seiko_9r65__1_2_1 n35_a_seiko_9r65__1_3_1 P-ROLE n35_a_seiko_9r65__1_3->n35_a_seiko_9r65__1_3_1 n35_a_seiko_9r65__1_3_2 NP n35_a_seiko_9r65__1_3->n35_a_seiko_9r65__1_3_2 n35_a_seiko_9r65__1_3_1->n35_a_seiko_9r65__1_3_1_1 n35_a_seiko_9r65__1_3_2_1 D n35_a_seiko_9r65__1_3_2->n35_a_seiko_9r65__1_3_2_1 n35_a_seiko_9r65__1_3_2_2 N n35_a_seiko_9r65__1_3_2->n35_a_seiko_9r65__1_3_2_2 n35_a_seiko_9r65__1_3_2_3 PP n35_a_seiko_9r65__1_3_2->n35_a_seiko_9r65__1_3_2_3 n35_a_seiko_9r65__1_3_2_1->n35_a_seiko_9r65__1_3_2_1_1 n35_a_seiko_9r65__1_3_2_2->n35_a_seiko_9r65__1_3_2_2_1 n35_a_seiko_9r65__1_3_2_3_1 P-ROLE n35_a_seiko_9r65__1_3_2_3->n35_a_seiko_9r65__1_3_2_3_1 n35_a_seiko_9r65__1_3_2_3_2 NP n35_a_seiko_9r65__1_3_2_3->n35_a_seiko_9r65__1_3_2_3_2 n35_a_seiko_9r65__1_3_2_3_1->n35_a_seiko_9r65__1_3_2_3_1_1 n35_a_seiko_9r65__1_3_2_3_2_1 D n35_a_seiko_9r65__1_3_2_3_2->n35_a_seiko_9r65__1_3_2_3_2_1 n35_a_seiko_9r65__1_3_2_3_2_2 N n35_a_seiko_9r65__1_3_2_3_2->n35_a_seiko_9r65__1_3_2_3_2_2 n35_a_seiko_9r65__1_3_2_3_2_3 N n35_a_seiko_9r65__1_3_2_3_2->n35_a_seiko_9r65__1_3_2_3_2_3 n35_a_seiko_9r65__1_3_2_3_2_4 IP-REL n35_a_seiko_9r65__1_3_2_3_2->n35_a_seiko_9r65__1_3_2_3_2_4 n35_a_seiko_9r65__1_3_2_3_2_1->n35_a_seiko_9r65__1_3_2_3_2_1_1 n35_a_seiko_9r65__1_3_2_3_2_2->n35_a_seiko_9r65__1_3_2_3_2_2_1 n35_a_seiko_9r65__1_3_2_3_2_3->n35_a_seiko_9r65__1_3_2_3_2_3_1 n35_a_seiko_9r65__1_3_2_3_2_4_1 C n35_a_seiko_9r65__1_3_2_3_2_4->n35_a_seiko_9r65__1_3_2_3_2_4_1 n35_a_seiko_9r65__1_3_2_3_2_4_2 NP-SBJ n35_a_seiko_9r65__1_3_2_3_2_4->n35_a_seiko_9r65__1_3_2_3_2_4_2 n35_a_seiko_9r65__1_3_2_3_2_4_3 VBP;_Tn_ n35_a_seiko_9r65__1_3_2_3_2_4->n35_a_seiko_9r65__1_3_2_3_2_4_3 n35_a_seiko_9r65__1_3_2_3_2_4_4 NP-OB1 n35_a_seiko_9r65__1_3_2_3_2_4->n35_a_seiko_9r65__1_3_2_3_2_4_4 n35_a_seiko_9r65__1_3_2_3_2_4_1->n35_a_seiko_9r65__1_3_2_3_2_4_1_1 n35_a_seiko_9r65__1_3_2_3_2_4_2->n35_a_seiko_9r65__1_3_2_3_2_4_2_1 n35_a_seiko_9r65__1_3_2_3_2_4_3->n35_a_seiko_9r65__1_3_2_3_2_4_3_1 n35_a_seiko_9r65__1_3_2_3_2_4_4_1 D n35_a_seiko_9r65__1_3_2_3_2_4_4->n35_a_seiko_9r65__1_3_2_3_2_4_4_1 n35_a_seiko_9r65__1_3_2_3_2_4_4_2 NS n35_a_seiko_9r65__1_3_2_3_2_4_4->n35_a_seiko_9r65__1_3_2_3_2_4_4_2 n35_a_seiko_9r65__1_3_2_3_2_4_4_1->n35_a_seiko_9r65__1_3_2_3_2_4_4_1_1 n35_a_seiko_9r65__1_3_2_3_2_4_4_2->n35_a_seiko_9r65__1_3_2_3_2_4_4_2_1 n35_a_seiko_9r65__1_4->n35_a_seiko_9r65__1_4_1 n35_a_seiko_9r65__1_5_1 D n35_a_seiko_9r65__1_5->n35_a_seiko_9r65__1_5_1 n35_a_seiko_9r65__1_5_2 N n35_a_seiko_9r65__1_5->n35_a_seiko_9r65__1_5_2 n35_a_seiko_9r65__1_5_3 PP n35_a_seiko_9r65__1_5->n35_a_seiko_9r65__1_5_3 n35_a_seiko_9r65__1_5_1->n35_a_seiko_9r65__1_5_1_1 n35_a_seiko_9r65__1_5_2->n35_a_seiko_9r65__1_5_2_1 n35_a_seiko_9r65__1_5_3_1 P-ROLE n35_a_seiko_9r65__1_5_3->n35_a_seiko_9r65__1_5_3_1 n35_a_seiko_9r65__1_5_3_2 NP n35_a_seiko_9r65__1_5_3->n35_a_seiko_9r65__1_5_3_2 n35_a_seiko_9r65__1_5_3_1->n35_a_seiko_9r65__1_5_3_1_1 n35_a_seiko_9r65__1_5_3_2_1 ADJP n35_a_seiko_9r65__1_5_3_2->n35_a_seiko_9r65__1_5_3_2_1 n35_a_seiko_9r65__1_5_3_2_2 NS n35_a_seiko_9r65__1_5_3_2->n35_a_seiko_9r65__1_5_3_2_2 n35_a_seiko_9r65__1_5_3_2_3 PP n35_a_seiko_9r65__1_5_3_2->n35_a_seiko_9r65__1_5_3_2_3 n35_a_seiko_9r65__1_5_3_2_1_1 NP n35_a_seiko_9r65__1_5_3_2_1->n35_a_seiko_9r65__1_5_3_2_1_1 n35_a_seiko_9r65__1_5_3_2_1_2 ADJ n35_a_seiko_9r65__1_5_3_2_1->n35_a_seiko_9r65__1_5_3_2_1_2 n35_a_seiko_9r65__1_5_3_2_1_1_1 N n35_a_seiko_9r65__1_5_3_2_1_1->n35_a_seiko_9r65__1_5_3_2_1_1_1 n35_a_seiko_9r65__1_5_3_2_1_1_1->n35_a_seiko_9r65__1_5_3_2_1_1_1_1 n35_a_seiko_9r65__1_5_3_2_1_2->n35_a_seiko_9r65__1_5_3_2_1_2_1 n35_a_seiko_9r65__1_5_3_2_2->n35_a_seiko_9r65__1_5_3_2_2_1 n35_a_seiko_9r65__1_5_3_2_3_1 P-ROLE n35_a_seiko_9r65__1_5_3_2_3->n35_a_seiko_9r65__1_5_3_2_3_1 n35_a_seiko_9r65__1_5_3_2_3_2 NP n35_a_seiko_9r65__1_5_3_2_3->n35_a_seiko_9r65__1_5_3_2_3_2 n35_a_seiko_9r65__1_5_3_2_3_1->n35_a_seiko_9r65__1_5_3_2_3_1_1 n35_a_seiko_9r65__1_5_3_2_3_2_1 D n35_a_seiko_9r65__1_5_3_2_3_2->n35_a_seiko_9r65__1_5_3_2_3_2_1 n35_a_seiko_9r65__1_5_3_2_3_2_2 N n35_a_seiko_9r65__1_5_3_2_3_2->n35_a_seiko_9r65__1_5_3_2_3_2_2 n35_a_seiko_9r65__1_5_3_2_3_2_1->n35_a_seiko_9r65__1_5_3_2_3_2_1_1 n35_a_seiko_9r65__1_5_3_2_3_2_2->n35_a_seiko_9r65__1_5_3_2_3_2_2_1 n35_a_seiko_9r65__1_6->n35_a_seiko_9r65__1_6_1 n35_a_seiko_9r65__1_7_1 NP-LGS n35_a_seiko_9r65__1_7->n35_a_seiko_9r65__1_7_1 n35_a_seiko_9r65__1_7_2 VVN;_Tn_ n35_a_seiko_9r65__1_7->n35_a_seiko_9r65__1_7_2 n35_a_seiko_9r65__1_7_1->n35_a_seiko_9r65__1_7_1_1 n35_a_seiko_9r65__1_7_2->n35_a_seiko_9r65__1_7_2_1 n35_a_seiko_9r65__1_8->n35_a_seiko_9r65__1_8_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (ADJP (ADVP (ADV a_little;{a_little}))
                            (ADJR more;{more}))
                      (N detail;{detail})))
          (PUNC ,)
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N end;{end})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N train;{train})
                              (N wheel;{wheel})
                              (IP-REL (C that;{that})
                                      (NP-SBJ *T*)
                                      (VBP;_Tn_ moves;{move})
                                      (NP-OB1 (D the;{the})
                                              (NS hands;{hand})))))))
          (PUNC ,)
          (NP-SBJ (D a;{a})
                  (N series;{series})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (NP (N speed;{speed}))
                                (ADJ increasing;{increasing}))
                          (NS wheels;{wheel})
                          (PP (P-ROLE with;{with})
                              (NP (D a;{a})
                                  (N rotor;{rotor}))))))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ provided;{provide}))
          (PUNC .))
  (ID 35_a_seiko_9r65))