Context                Previous, Next                Top


53_a_seiko_9r65
For the Spring Drive, the mainspring is wound and the unwinding power of the mainspring moves the hands in the same manner as the mechanical watch.

%3 r_0053_0008__is is r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive the Spring Drive r_0053_0008__is->r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive For [nim] r_0053_0006__the_r_0053_0007__mainspring the mainspring r_0053_0008__is->r_0053_0006__the_r_0053_0007__mainspring [arg0] r_0053_0009__wound wound r_0053_0008__is->r_0053_0009__wound [prd] r_0053_0010__and and r_0053_0010__and->r_0053_0008__is [conj1] r_0053_0017__moves moves r_0053_0010__and->r_0053_0017__moves [conj2] r_0053_0017__moves->r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive For [nim] r_0053_0011__the_r_0053_0013__power the power r_0053_0017__moves->r_0053_0011__the_r_0053_0013__power [arg0] r_0053_0018__the_r_0053_0019__hands the hands r_0053_0017__moves->r_0053_0018__the_r_0053_0019__hands [arg1] r_0053_0021__the_r_0053_0023__manner the manner r_0053_0017__moves->r_0053_0021__the_r_0053_0023__manner in [nim] r_0053_0015__the_r_0053_0016__mainspring the mainspring r_0053_0011__the_r_0053_0013__power->r_0053_0015__the_r_0053_0016__mainspring of r_0053_0012__unwinding unwinding r_0053_0012__unwinding->r_0053_0011__the_r_0053_0013__power [arg0] r_0053_0022__same same r_0053_0021__the_r_0053_0023__manner->r_0053_0022__same [attrib] r_0053_0025__the_r_0053_0027__watch the watch r_0053_0021__the_r_0053_0023__manner->r_0053_0025__the_r_0053_0027__watch as r_0053_0026__mechanical mechanical r_0053_0025__the_r_0053_0027__watch->r_0053_0026__mechanical [attrib] 
arc(r_0053_0008__is, r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive, r_0053_0001__For_nim5).
arc(r_0053_0008__is, r_0053_0006__the_r_0053_0007__mainspring, arg0).
arc(r_0053_0008__is, r_0053_0009__wound, prd).
arc(r_0053_0010__and, r_0053_0008__is, conj1).
arc(r_0053_0010__and, r_0053_0017__moves, conj2).
arc(r_0053_0011__the_r_0053_0013__power, r_0053_0015__the_r_0053_0016__mainspring, r_0053_0014__of).
arc(r_0053_0012__unwinding, r_0053_0011__the_r_0053_0013__power, arg0).
arc(r_0053_0017__moves, r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive, r_0053_0001__For_nim5).
arc(r_0053_0017__moves, r_0053_0011__the_r_0053_0013__power, arg0).
arc(r_0053_0017__moves, r_0053_0018__the_r_0053_0019__hands, arg1).
arc(r_0053_0017__moves, r_0053_0021__the_r_0053_0023__manner, r_0053_0020__in_nim56).
arc(r_0053_0021__the_r_0053_0023__manner, r_0053_0022__same, attrib59).
arc(r_0053_0021__the_r_0053_0023__manner, r_0053_0025__the_r_0053_0027__watch, r_0053_0024__as).
arc(r_0053_0025__the_r_0053_0027__watch, r_0053_0026__mechanical, attrib70).


%3 r_0053_0008__is is r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive the Spring Drive r_0053_0008__is->r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive For [nim] r_0053_0006__the_r_0053_0007__mainspring the mainspring r_0053_0008__is->r_0053_0006__the_r_0053_0007__mainspring [arg0] r_0053_0009__wound wound r_0053_0008__is->r_0053_0009__wound [prd] r_0053_0010__and and r_0053_0010__and->r_0053_0008__is [conj1] r_0053_0017__moves moves r_0053_0010__and->r_0053_0017__moves [conj2] r_0053_0017__moves->r_0053_0002__the_r_0053_0003__Spring_r_0053_0004__Drive For [nim] r_0053_0011__the_r_0053_0013__power the power r_0053_0017__moves->r_0053_0011__the_r_0053_0013__power [arg0] r_0053_0018__the_r_0053_0019__hands the hands r_0053_0017__moves->r_0053_0018__the_r_0053_0019__hands [arg1] r_0053_0021__the_r_0053_0023__manner the manner r_0053_0017__moves->r_0053_0021__the_r_0053_0023__manner in [nim] r_0053_0015__the_r_0053_0016__mainspring the mainspring r_0053_0011__the_r_0053_0013__power->r_0053_0015__the_r_0053_0016__mainspring of r_0053_0012__unwinding unwinding r_0053_0012__unwinding->r_0053_0011__the_r_0053_0013__power [arg0] r_0053_0022__same same r_0053_0021__the_r_0053_0023__manner->r_0053_0022__same [attrib] r_0053_0025__the_r_0053_0027__watch the watch r_0053_0021__the_r_0053_0023__manner->r_0053_0025__the_r_0053_0027__watch as r_0053_0026__mechanical mechanical r_0053_0025__the_r_0053_0027__watch->r_0053_0026__mechanical [attrib] 
fof(formula,axiom,
    ? [R_53_10_AND,R_53_8_IS,R_53_6_THE_MAINSPRING,R_53_9_WOUND,R_53_17_MOVES,R_53_18_THE_HANDS,R_53_2_THE_SPRING_DRIVE,R_53_21_THE_MANNER,R_53_22_SAME,R_53_25_THE_WATCH,R_53_26_MECHANICAL,R_53_12_UNWINDING,R_53_11_THE_POWER,R_53_15_THE_MAINSPRING] :
      ( the_mainspring(R_53_6_THE_MAINSPRING)
      & wound(R_53_9_WOUND)
      & the_hands(R_53_18_THE_HANDS)
      & the_Spring_Drive(R_53_2_THE_SPRING_DRIVE)
      & same(R_53_22_SAME)
      & mechanical(R_53_26_MECHANICAL)
      & the_mainspring(R_53_15_THE_MAINSPRING)
      & and(R_53_10_AND)
      & conj1(R_53_10_AND,R_53_8_IS)
      & is(R_53_8_IS,R_53_6_THE_MAINSPRING,R_53_9_WOUND)
      & for_nim5(R_53_8_IS,R_53_2_THE_SPRING_DRIVE)
      & conj2(R_53_10_AND,R_53_17_MOVES)
      & moves(R_53_17_MOVES,R_53_11_THE_POWER,R_53_18_THE_HANDS)
      & the_power(R_53_11_THE_POWER)
      & of(R_53_11_THE_POWER,R_53_15_THE_MAINSPRING)
      & for_nim5(R_53_17_MOVES,R_53_2_THE_SPRING_DRIVE)
      & in_nim56(R_53_17_MOVES,R_53_21_THE_MANNER)
      & the_manner(R_53_21_THE_MANNER)
      & attrib59(R_53_21_THE_MANNER,R_53_22_SAME)
      & as(R_53_21_THE_MANNER,R_53_25_THE_WATCH)
      & the_watch(R_53_25_THE_WATCH)
      & attrib70(R_53_25_THE_WATCH,R_53_26_MECHANICAL)
      & unwinding(R_53_12_UNWINDING,R_53_11_THE_POWER) ) ).


n53_a_seiko_9r65 n53_a_seiko_9r65_4 For n53_a_seiko_9r65_7 the n53_a_seiko_9r65_9 Spring n53_a_seiko_9r65_11 Drive n53_a_seiko_9r65_13 , n53_a_seiko_9r65_18 the n53_a_seiko_9r65_20 mainspring n53_a_seiko_9r65_22 is n53_a_seiko_9r65_25 wound n53_a_seiko_9r65_28 and n53_a_seiko_9r65_32 the n53_a_seiko_9r65_35 unwinding n53_a_seiko_9r65_37 power n53_a_seiko_9r65_40 of n53_a_seiko_9r65_43 the n53_a_seiko_9r65_45 mainspring n53_a_seiko_9r65_47 moves n53_a_seiko_9r65_50 the n53_a_seiko_9r65_52 hands n53_a_seiko_9r65_55 in n53_a_seiko_9r65_58 the n53_a_seiko_9r65_61 same n53_a_seiko_9r65_63 manner n53_a_seiko_9r65_66 as n53_a_seiko_9r65_69 the n53_a_seiko_9r65_72 mechanical n53_a_seiko_9r65_74 watch n53_a_seiko_9r65_76 . n53_a_seiko_9r65_1 IP-MAT n53_a_seiko_9r65_2 PP-NIM n53_a_seiko_9r65_1->n53_a_seiko_9r65_2 n53_a_seiko_9r65_12 PUNC n53_a_seiko_9r65_1->n53_a_seiko_9r65_12 n53_a_seiko_9r65_14 ILYR n53_a_seiko_9r65_1->n53_a_seiko_9r65_14 n53_a_seiko_9r65_75 PUNC n53_a_seiko_9r65_1->n53_a_seiko_9r65_75 n53_a_seiko_9r65_3 P-ROLE n53_a_seiko_9r65_2->n53_a_seiko_9r65_3 n53_a_seiko_9r65_5 NP n53_a_seiko_9r65_2->n53_a_seiko_9r65_5 n53_a_seiko_9r65_3->n53_a_seiko_9r65_4 n53_a_seiko_9r65_6 D n53_a_seiko_9r65_5->n53_a_seiko_9r65_6 n53_a_seiko_9r65_8 NPR n53_a_seiko_9r65_5->n53_a_seiko_9r65_8 n53_a_seiko_9r65_10 NPR n53_a_seiko_9r65_5->n53_a_seiko_9r65_10 n53_a_seiko_9r65_6->n53_a_seiko_9r65_7 n53_a_seiko_9r65_8->n53_a_seiko_9r65_9 n53_a_seiko_9r65_10->n53_a_seiko_9r65_11 n53_a_seiko_9r65_12->n53_a_seiko_9r65_13 n53_a_seiko_9r65_15 ILYR n53_a_seiko_9r65_14->n53_a_seiko_9r65_15 n53_a_seiko_9r65_26 CONJP n53_a_seiko_9r65_14->n53_a_seiko_9r65_26 n53_a_seiko_9r65_16 NP-SBJ n53_a_seiko_9r65_15->n53_a_seiko_9r65_16 n53_a_seiko_9r65_21 BEP;_Ln_ n53_a_seiko_9r65_15->n53_a_seiko_9r65_21 n53_a_seiko_9r65_23 NP-PRD n53_a_seiko_9r65_15->n53_a_seiko_9r65_23 n53_a_seiko_9r65_17 D n53_a_seiko_9r65_16->n53_a_seiko_9r65_17 n53_a_seiko_9r65_19 N n53_a_seiko_9r65_16->n53_a_seiko_9r65_19 n53_a_seiko_9r65_17->n53_a_seiko_9r65_18 n53_a_seiko_9r65_19->n53_a_seiko_9r65_20 n53_a_seiko_9r65_21->n53_a_seiko_9r65_22 n53_a_seiko_9r65_24 N n53_a_seiko_9r65_23->n53_a_seiko_9r65_24 n53_a_seiko_9r65_24->n53_a_seiko_9r65_25 n53_a_seiko_9r65_27 CONJ n53_a_seiko_9r65_26->n53_a_seiko_9r65_27 n53_a_seiko_9r65_29 ILYR n53_a_seiko_9r65_26->n53_a_seiko_9r65_29 n53_a_seiko_9r65_27->n53_a_seiko_9r65_28 n53_a_seiko_9r65_30 NP-SBJ n53_a_seiko_9r65_29->n53_a_seiko_9r65_30 n53_a_seiko_9r65_46 VBP;_Tn_ n53_a_seiko_9r65_29->n53_a_seiko_9r65_46 n53_a_seiko_9r65_48 NP-OB1 n53_a_seiko_9r65_29->n53_a_seiko_9r65_48 n53_a_seiko_9r65_53 PP-NIM n53_a_seiko_9r65_29->n53_a_seiko_9r65_53 n53_a_seiko_9r65_31 D n53_a_seiko_9r65_30->n53_a_seiko_9r65_31 n53_a_seiko_9r65_33 IP-PPL n53_a_seiko_9r65_30->n53_a_seiko_9r65_33 n53_a_seiko_9r65_36 N n53_a_seiko_9r65_30->n53_a_seiko_9r65_36 n53_a_seiko_9r65_38 PP n53_a_seiko_9r65_30->n53_a_seiko_9r65_38 n53_a_seiko_9r65_31->n53_a_seiko_9r65_32 n53_a_seiko_9r65_34 VAG;_I_ n53_a_seiko_9r65_33->n53_a_seiko_9r65_34 n53_a_seiko_9r65_34->n53_a_seiko_9r65_35 n53_a_seiko_9r65_36->n53_a_seiko_9r65_37 n53_a_seiko_9r65_39 P-ROLE n53_a_seiko_9r65_38->n53_a_seiko_9r65_39 n53_a_seiko_9r65_41 NP n53_a_seiko_9r65_38->n53_a_seiko_9r65_41 n53_a_seiko_9r65_39->n53_a_seiko_9r65_40 n53_a_seiko_9r65_42 D n53_a_seiko_9r65_41->n53_a_seiko_9r65_42 n53_a_seiko_9r65_44 N n53_a_seiko_9r65_41->n53_a_seiko_9r65_44 n53_a_seiko_9r65_42->n53_a_seiko_9r65_43 n53_a_seiko_9r65_44->n53_a_seiko_9r65_45 n53_a_seiko_9r65_46->n53_a_seiko_9r65_47 n53_a_seiko_9r65_49 D n53_a_seiko_9r65_48->n53_a_seiko_9r65_49 n53_a_seiko_9r65_51 NS n53_a_seiko_9r65_48->n53_a_seiko_9r65_51 n53_a_seiko_9r65_49->n53_a_seiko_9r65_50 n53_a_seiko_9r65_51->n53_a_seiko_9r65_52 n53_a_seiko_9r65_54 P-ROLE n53_a_seiko_9r65_53->n53_a_seiko_9r65_54 n53_a_seiko_9r65_56 NP n53_a_seiko_9r65_53->n53_a_seiko_9r65_56 n53_a_seiko_9r65_54->n53_a_seiko_9r65_55 n53_a_seiko_9r65_57 D n53_a_seiko_9r65_56->n53_a_seiko_9r65_57 n53_a_seiko_9r65_59 ADJP n53_a_seiko_9r65_56->n53_a_seiko_9r65_59 n53_a_seiko_9r65_62 N n53_a_seiko_9r65_56->n53_a_seiko_9r65_62 n53_a_seiko_9r65_64 PP n53_a_seiko_9r65_56->n53_a_seiko_9r65_64 n53_a_seiko_9r65_57->n53_a_seiko_9r65_58 n53_a_seiko_9r65_60 ADJ n53_a_seiko_9r65_59->n53_a_seiko_9r65_60 n53_a_seiko_9r65_60->n53_a_seiko_9r65_61 n53_a_seiko_9r65_62->n53_a_seiko_9r65_63 n53_a_seiko_9r65_65 P-ROLE n53_a_seiko_9r65_64->n53_a_seiko_9r65_65 n53_a_seiko_9r65_67 NP n53_a_seiko_9r65_64->n53_a_seiko_9r65_67 n53_a_seiko_9r65_65->n53_a_seiko_9r65_66 n53_a_seiko_9r65_68 D n53_a_seiko_9r65_67->n53_a_seiko_9r65_68 n53_a_seiko_9r65_70 ADJP n53_a_seiko_9r65_67->n53_a_seiko_9r65_70 n53_a_seiko_9r65_73 N n53_a_seiko_9r65_67->n53_a_seiko_9r65_73 n53_a_seiko_9r65_68->n53_a_seiko_9r65_69 n53_a_seiko_9r65_71 ADJ n53_a_seiko_9r65_70->n53_a_seiko_9r65_71 n53_a_seiko_9r65_71->n53_a_seiko_9r65_72 n53_a_seiko_9r65_73->n53_a_seiko_9r65_74 n53_a_seiko_9r65_75->n53_a_seiko_9r65_76 
( (IP-MAT (PP-NIM (P-ROLE For;{for})
                  (NP;{SPRING_DRIVE} (D the;{the})
                                     (NPR Spring;{Spring})
                                     (NPR Drive;{Drive})))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ;{MAINSPRING} (D the;{the})
                                           (N mainspring;{mainspring}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (N wound;{wound})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (IP-PPL (VAG;_I_ unwinding;{unwind}))
                                     (N power;{power})
                                     (PP (P-ROLE of;{of})
                                         (NP;{MAINSPRING} (D the;{the})
                                                          (N mainspring;{mainspring}))))
                             (VBP;_Tn_ moves;{move})
                             (NP-OB1 (D the;{the})
                                     (NS hands;{hand}))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (ADJP (ADJ same;{same}))
                                         (N manner;{manner})
                                         (PP (P-ROLE as;{as})
                                             (NP (D the;{the})
                                                 (ADJP (ADJ mechanical;{mechanical}))
                                                 (N watch;{watch}))))))))
          (PUNC .))
  (ID 53_a_seiko_9r65))