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_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_r_0035_0028__provided are provided r_0035_0027__are_r_0035_0028__provided->r_0035_0004__detail In [nim] r_0035_0027__are_r_0035_0028__provided->r_0035_0007__the_r_0035_0008__end at [nim] r_0035_0027__are_r_0035_0028__provided->r_0035_0018__a_r_0035_0019__series [arg1] z_000_35_a_seiko_9r65_76 r_0035_0027__are_r_0035_0028__provided->z_000_35_a_seiko_9r65_76 [arg0] 
fof(formula,axiom,
    ? [R_35_13_THAT_MOVES,R_35_15_THE_HANDS,R_35_27_ARE_PROVIDED,Z_35_A_SEIKO_9R65_76,R_35_18_A_SERIES,R_35_23_WHEELS,R_35_22_INCREASING,R_35_21_SPEED,R_35_25_A_ROTOR,R_35_4_DETAIL,R_35_3_MORE,R_35_2_A_LITTLE,R_35_7_THE_END,R_35_10_THE_TRAIN_WHEEL] :
      ( the_hands(R_35_15_THE_HANDS)
      & speed(R_35_21_SPEED)
      & a_rotor(R_35_25_A_ROTOR)
      & a_little(R_35_2_A_LITTLE)
      & the_train_wheel(R_35_10_THE_TRAIN_WHEEL)
      & that_moves(R_35_13_THAT_MOVES,R_35_10_THE_TRAIN_WHEEL,R_35_15_THE_HANDS)
      & are_provided(R_35_27_ARE_PROVIDED,Z_35_A_SEIKO_9R65_76,R_35_18_A_SERIES)
      & a_series(R_35_18_A_SERIES)
      & of(R_35_18_A_SERIES,R_35_23_WHEELS)
      & wheels(R_35_23_WHEELS)
      & attrib57(R_35_23_WHEELS,R_35_22_INCREASING)
      & increasing(R_35_22_INCREASING)
      & nim58(R_35_22_INCREASING,R_35_21_SPEED)
      & with(R_35_23_WHEELS,R_35_25_A_ROTOR)
      & in_nim5(R_35_27_ARE_PROVIDED,R_35_4_DETAIL)
      & detail(R_35_4_DETAIL)
      & attrib6(R_35_4_DETAIL,R_35_3_MORE)
      & more(R_35_3_MORE)
      & qual7(R_35_3_MORE,R_35_2_A_LITTLE)
      & at_nim19(R_35_27_ARE_PROVIDED,R_35_7_THE_END)
      & the_end(R_35_7_THE_END)
      & of(R_35_7_THE_END,R_35_10_THE_TRAIN_WHEEL) ) ).


n35_a_seiko_9r65 n35_a_seiko_9r65_4 In n35_a_seiko_9r65_9 a_little n35_a_seiko_9r65_11 more n35_a_seiko_9r65_13 detail n35_a_seiko_9r65_15 , n35_a_seiko_9r65_18 at n35_a_seiko_9r65_21 the n35_a_seiko_9r65_23 end n35_a_seiko_9r65_26 of n35_a_seiko_9r65_29 the n35_a_seiko_9r65_31 train n35_a_seiko_9r65_33 wheel n35_a_seiko_9r65_36 that n35_a_seiko_9r65_38 *T* n35_a_seiko_9r65_40 moves n35_a_seiko_9r65_43 the n35_a_seiko_9r65_45 hands n35_a_seiko_9r65_47 , n35_a_seiko_9r65_50 a n35_a_seiko_9r65_52 series n35_a_seiko_9r65_55 of n35_a_seiko_9r65_60 speed n35_a_seiko_9r65_62 increasing n35_a_seiko_9r65_64 wheels n35_a_seiko_9r65_67 with n35_a_seiko_9r65_70 a n35_a_seiko_9r65_72 rotor n35_a_seiko_9r65_74 are n35_a_seiko_9r65_77 * n35_a_seiko_9r65_79 provided n35_a_seiko_9r65_81 . n35_a_seiko_9r65_1 IP-MAT n35_a_seiko_9r65_2 PP-NIM n35_a_seiko_9r65_1->n35_a_seiko_9r65_2 n35_a_seiko_9r65_14 PUNC n35_a_seiko_9r65_1->n35_a_seiko_9r65_14 n35_a_seiko_9r65_16 PP-NIM n35_a_seiko_9r65_1->n35_a_seiko_9r65_16 n35_a_seiko_9r65_46 PUNC n35_a_seiko_9r65_1->n35_a_seiko_9r65_46 n35_a_seiko_9r65_48 NP-SBJ n35_a_seiko_9r65_1->n35_a_seiko_9r65_48 n35_a_seiko_9r65_73 BEP;_cat_VePASS_ n35_a_seiko_9r65_1->n35_a_seiko_9r65_73 n35_a_seiko_9r65_75 IP-PPL-CAT n35_a_seiko_9r65_1->n35_a_seiko_9r65_75 n35_a_seiko_9r65_80 PUNC n35_a_seiko_9r65_1->n35_a_seiko_9r65_80 n35_a_seiko_9r65_3 P-ROLE n35_a_seiko_9r65_2->n35_a_seiko_9r65_3 n35_a_seiko_9r65_5 NP n35_a_seiko_9r65_2->n35_a_seiko_9r65_5 n35_a_seiko_9r65_3->n35_a_seiko_9r65_4 n35_a_seiko_9r65_6 ADJP n35_a_seiko_9r65_5->n35_a_seiko_9r65_6 n35_a_seiko_9r65_12 N n35_a_seiko_9r65_5->n35_a_seiko_9r65_12 n35_a_seiko_9r65_7 ADVP n35_a_seiko_9r65_6->n35_a_seiko_9r65_7 n35_a_seiko_9r65_10 ADJR n35_a_seiko_9r65_6->n35_a_seiko_9r65_10 n35_a_seiko_9r65_8 ADV n35_a_seiko_9r65_7->n35_a_seiko_9r65_8 n35_a_seiko_9r65_8->n35_a_seiko_9r65_9 n35_a_seiko_9r65_10->n35_a_seiko_9r65_11 n35_a_seiko_9r65_12->n35_a_seiko_9r65_13 n35_a_seiko_9r65_14->n35_a_seiko_9r65_15 n35_a_seiko_9r65_17 P-ROLE n35_a_seiko_9r65_16->n35_a_seiko_9r65_17 n35_a_seiko_9r65_19 NP n35_a_seiko_9r65_16->n35_a_seiko_9r65_19 n35_a_seiko_9r65_17->n35_a_seiko_9r65_18 n35_a_seiko_9r65_20 D n35_a_seiko_9r65_19->n35_a_seiko_9r65_20 n35_a_seiko_9r65_22 N n35_a_seiko_9r65_19->n35_a_seiko_9r65_22 n35_a_seiko_9r65_24 PP n35_a_seiko_9r65_19->n35_a_seiko_9r65_24 n35_a_seiko_9r65_20->n35_a_seiko_9r65_21 n35_a_seiko_9r65_22->n35_a_seiko_9r65_23 n35_a_seiko_9r65_25 P-ROLE n35_a_seiko_9r65_24->n35_a_seiko_9r65_25 n35_a_seiko_9r65_27 NP n35_a_seiko_9r65_24->n35_a_seiko_9r65_27 n35_a_seiko_9r65_25->n35_a_seiko_9r65_26 n35_a_seiko_9r65_28 D n35_a_seiko_9r65_27->n35_a_seiko_9r65_28 n35_a_seiko_9r65_30 N n35_a_seiko_9r65_27->n35_a_seiko_9r65_30 n35_a_seiko_9r65_32 N n35_a_seiko_9r65_27->n35_a_seiko_9r65_32 n35_a_seiko_9r65_34 IP-REL n35_a_seiko_9r65_27->n35_a_seiko_9r65_34 n35_a_seiko_9r65_28->n35_a_seiko_9r65_29 n35_a_seiko_9r65_30->n35_a_seiko_9r65_31 n35_a_seiko_9r65_32->n35_a_seiko_9r65_33 n35_a_seiko_9r65_35 C n35_a_seiko_9r65_34->n35_a_seiko_9r65_35 n35_a_seiko_9r65_37 NP-SBJ n35_a_seiko_9r65_34->n35_a_seiko_9r65_37 n35_a_seiko_9r65_39 VBP;_Tn_ n35_a_seiko_9r65_34->n35_a_seiko_9r65_39 n35_a_seiko_9r65_41 NP-OB1 n35_a_seiko_9r65_34->n35_a_seiko_9r65_41 n35_a_seiko_9r65_35->n35_a_seiko_9r65_36 n35_a_seiko_9r65_37->n35_a_seiko_9r65_38 n35_a_seiko_9r65_39->n35_a_seiko_9r65_40 n35_a_seiko_9r65_42 D n35_a_seiko_9r65_41->n35_a_seiko_9r65_42 n35_a_seiko_9r65_44 NS n35_a_seiko_9r65_41->n35_a_seiko_9r65_44 n35_a_seiko_9r65_42->n35_a_seiko_9r65_43 n35_a_seiko_9r65_44->n35_a_seiko_9r65_45 n35_a_seiko_9r65_46->n35_a_seiko_9r65_47 n35_a_seiko_9r65_49 D n35_a_seiko_9r65_48->n35_a_seiko_9r65_49 n35_a_seiko_9r65_51 N n35_a_seiko_9r65_48->n35_a_seiko_9r65_51 n35_a_seiko_9r65_53 PP n35_a_seiko_9r65_48->n35_a_seiko_9r65_53 n35_a_seiko_9r65_49->n35_a_seiko_9r65_50 n35_a_seiko_9r65_51->n35_a_seiko_9r65_52 n35_a_seiko_9r65_54 P-ROLE n35_a_seiko_9r65_53->n35_a_seiko_9r65_54 n35_a_seiko_9r65_56 NP n35_a_seiko_9r65_53->n35_a_seiko_9r65_56 n35_a_seiko_9r65_54->n35_a_seiko_9r65_55 n35_a_seiko_9r65_57 ADJP n35_a_seiko_9r65_56->n35_a_seiko_9r65_57 n35_a_seiko_9r65_63 NS n35_a_seiko_9r65_56->n35_a_seiko_9r65_63 n35_a_seiko_9r65_65 PP n35_a_seiko_9r65_56->n35_a_seiko_9r65_65 n35_a_seiko_9r65_58 NP n35_a_seiko_9r65_57->n35_a_seiko_9r65_58 n35_a_seiko_9r65_61 ADJ n35_a_seiko_9r65_57->n35_a_seiko_9r65_61 n35_a_seiko_9r65_59 N n35_a_seiko_9r65_58->n35_a_seiko_9r65_59 n35_a_seiko_9r65_59->n35_a_seiko_9r65_60 n35_a_seiko_9r65_61->n35_a_seiko_9r65_62 n35_a_seiko_9r65_63->n35_a_seiko_9r65_64 n35_a_seiko_9r65_66 P-ROLE n35_a_seiko_9r65_65->n35_a_seiko_9r65_66 n35_a_seiko_9r65_68 NP n35_a_seiko_9r65_65->n35_a_seiko_9r65_68 n35_a_seiko_9r65_66->n35_a_seiko_9r65_67 n35_a_seiko_9r65_69 D n35_a_seiko_9r65_68->n35_a_seiko_9r65_69 n35_a_seiko_9r65_71 N n35_a_seiko_9r65_68->n35_a_seiko_9r65_71 n35_a_seiko_9r65_69->n35_a_seiko_9r65_70 n35_a_seiko_9r65_71->n35_a_seiko_9r65_72 n35_a_seiko_9r65_73->n35_a_seiko_9r65_74 n35_a_seiko_9r65_76 NP-LGS n35_a_seiko_9r65_75->n35_a_seiko_9r65_76 n35_a_seiko_9r65_78 VVN;_Tn_ n35_a_seiko_9r65_75->n35_a_seiko_9r65_78 n35_a_seiko_9r65_76->n35_a_seiko_9r65_77 n35_a_seiko_9r65_78->n35_a_seiko_9r65_79 n35_a_seiko_9r65_80->n35_a_seiko_9r65_81 
( (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))