Context                Previous, Next                Top


16_a_seiko_9r65
In a mechanical watch, the mainspring is wound and its unwinding power moves the hands.

%3 r_0016_0002__a_r_0016_0004__watch a watch r_0016_0003__mechanical mechanical r_0016_0002__a_r_0016_0004__watch->r_0016_0003__mechanical [attrib] r_0016_0008__is is r_0016_0008__is->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0006__the_r_0016_0007__mainspring the mainspring r_0016_0008__is->r_0016_0006__the_r_0016_0007__mainspring [arg0] r_0016_0009__wound wound r_0016_0008__is->r_0016_0009__wound [prd] r_0016_0010__and and r_0016_0010__and->r_0016_0008__is [conj1] r_0016_0014__moves moves r_0016_0010__and->r_0016_0014__moves [conj2] r_0016_0014__moves->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0013__power power r_0016_0014__moves->r_0016_0013__power [arg0] r_0016_0015__the_r_0016_0016__hands the hands r_0016_0014__moves->r_0016_0015__the_r_0016_0016__hands [arg1] r_0016_0012__unwinding unwinding r_0016_0012__unwinding->r_0016_0013__power [arg0] r_0016_0013__power->r_0016_0006__the_r_0016_0007__mainspring [gen] 
arc(r_0016_0002__a_r_0016_0004__watch, r_0016_0003__mechanical, attrib8).
arc(r_0016_0008__is, r_0016_0002__a_r_0016_0004__watch, r_0016_0001__In_nim5).
arc(r_0016_0008__is, r_0016_0006__the_r_0016_0007__mainspring, arg0).
arc(r_0016_0008__is, r_0016_0009__wound, prd).
arc(r_0016_0010__and, r_0016_0008__is, conj1).
arc(r_0016_0010__and, r_0016_0014__moves, conj2).
arc(r_0016_0012__unwinding, r_0016_0013__power, arg0).
arc(r_0016_0013__power, r_0016_0006__the_r_0016_0007__mainspring, gen).
arc(r_0016_0014__moves, r_0016_0002__a_r_0016_0004__watch, r_0016_0001__In_nim5).
arc(r_0016_0014__moves, r_0016_0013__power, arg0).
arc(r_0016_0014__moves, r_0016_0015__the_r_0016_0016__hands, arg1).


%3 r_0016_0002__a_r_0016_0004__watch a watch r_0016_0003__mechanical mechanical r_0016_0002__a_r_0016_0004__watch->r_0016_0003__mechanical [attrib] r_0016_0008__is is r_0016_0008__is->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0006__the_r_0016_0007__mainspring the mainspring r_0016_0008__is->r_0016_0006__the_r_0016_0007__mainspring [arg0] r_0016_0009__wound wound r_0016_0008__is->r_0016_0009__wound [prd] r_0016_0010__and and r_0016_0010__and->r_0016_0008__is [conj1] r_0016_0014__moves moves r_0016_0010__and->r_0016_0014__moves [conj2] r_0016_0014__moves->r_0016_0002__a_r_0016_0004__watch In [nim] r_0016_0013__power power r_0016_0014__moves->r_0016_0013__power [arg0] r_0016_0015__the_r_0016_0016__hands the hands r_0016_0014__moves->r_0016_0015__the_r_0016_0016__hands [arg1] r_0016_0012__unwinding unwinding r_0016_0012__unwinding->r_0016_0013__power [arg0] r_0016_0013__power->r_0016_0006__the_r_0016_0007__mainspring [gen] 
fof(formula,axiom,
    ? [R_16_10_AND,R_16_8_IS,R_16_9_WOUND,R_16_14_MOVES,R_16_15_THE_HANDS,R_16_2_A_WATCH,R_16_3_MECHANICAL,R_16_12_UNWINDING,R_16_13_POWER,R_16_6_THE_MAINSPRING] :
      ( wound(R_16_9_WOUND)
      & the_hands(R_16_15_THE_HANDS)
      & mechanical(R_16_3_MECHANICAL)
      & the_mainspring(R_16_6_THE_MAINSPRING)
      & and(R_16_10_AND)
      & conj1(R_16_10_AND,R_16_8_IS)
      & is(R_16_8_IS,R_16_6_THE_MAINSPRING,R_16_9_WOUND)
      & in_nim5(R_16_8_IS,R_16_2_A_WATCH)
      & a_watch(R_16_2_A_WATCH)
      & attrib8(R_16_2_A_WATCH,R_16_3_MECHANICAL)
      & conj2(R_16_10_AND,R_16_14_MOVES)
      & moves(R_16_14_MOVES,R_16_13_POWER,R_16_15_THE_HANDS)
      & power(R_16_13_POWER)
      & gen(R_16_13_POWER,R_16_6_THE_MAINSPRING)
      & in_nim5(R_16_14_MOVES,R_16_2_A_WATCH)
      & unwinding(R_16_12_UNWINDING,R_16_13_POWER) ) ).


n16_a_seiko_9r65 n16_a_seiko_9r65_4 In n16_a_seiko_9r65_7 a n16_a_seiko_9r65_10 mechanical n16_a_seiko_9r65_12 watch n16_a_seiko_9r65_14 , n16_a_seiko_9r65_19 the n16_a_seiko_9r65_21 mainspring n16_a_seiko_9r65_23 is n16_a_seiko_9r65_26 wound n16_a_seiko_9r65_29 and n16_a_seiko_9r65_34 its n16_a_seiko_9r65_37 unwinding n16_a_seiko_9r65_39 power n16_a_seiko_9r65_41 moves n16_a_seiko_9r65_44 the n16_a_seiko_9r65_46 hands n16_a_seiko_9r65_48 . n16_a_seiko_9r65_1 IP-MAT n16_a_seiko_9r65_2 PP-NIM n16_a_seiko_9r65_1->n16_a_seiko_9r65_2 n16_a_seiko_9r65_13 PUNC n16_a_seiko_9r65_1->n16_a_seiko_9r65_13 n16_a_seiko_9r65_15 ILYR n16_a_seiko_9r65_1->n16_a_seiko_9r65_15 n16_a_seiko_9r65_47 PUNC n16_a_seiko_9r65_1->n16_a_seiko_9r65_47 n16_a_seiko_9r65_3 P-ROLE n16_a_seiko_9r65_2->n16_a_seiko_9r65_3 n16_a_seiko_9r65_5 NP n16_a_seiko_9r65_2->n16_a_seiko_9r65_5 n16_a_seiko_9r65_3->n16_a_seiko_9r65_4 n16_a_seiko_9r65_6 D n16_a_seiko_9r65_5->n16_a_seiko_9r65_6 n16_a_seiko_9r65_8 ADJP n16_a_seiko_9r65_5->n16_a_seiko_9r65_8 n16_a_seiko_9r65_11 N n16_a_seiko_9r65_5->n16_a_seiko_9r65_11 n16_a_seiko_9r65_6->n16_a_seiko_9r65_7 n16_a_seiko_9r65_9 ADJ n16_a_seiko_9r65_8->n16_a_seiko_9r65_9 n16_a_seiko_9r65_9->n16_a_seiko_9r65_10 n16_a_seiko_9r65_11->n16_a_seiko_9r65_12 n16_a_seiko_9r65_13->n16_a_seiko_9r65_14 n16_a_seiko_9r65_16 ILYR n16_a_seiko_9r65_15->n16_a_seiko_9r65_16 n16_a_seiko_9r65_27 CONJP n16_a_seiko_9r65_15->n16_a_seiko_9r65_27 n16_a_seiko_9r65_17 NP-SBJ n16_a_seiko_9r65_16->n16_a_seiko_9r65_17 n16_a_seiko_9r65_22 BEP;_Ln_ n16_a_seiko_9r65_16->n16_a_seiko_9r65_22 n16_a_seiko_9r65_24 NP-PRD n16_a_seiko_9r65_16->n16_a_seiko_9r65_24 n16_a_seiko_9r65_18 D n16_a_seiko_9r65_17->n16_a_seiko_9r65_18 n16_a_seiko_9r65_20 N n16_a_seiko_9r65_17->n16_a_seiko_9r65_20 n16_a_seiko_9r65_18->n16_a_seiko_9r65_19 n16_a_seiko_9r65_20->n16_a_seiko_9r65_21 n16_a_seiko_9r65_22->n16_a_seiko_9r65_23 n16_a_seiko_9r65_25 N n16_a_seiko_9r65_24->n16_a_seiko_9r65_25 n16_a_seiko_9r65_25->n16_a_seiko_9r65_26 n16_a_seiko_9r65_28 CONJ n16_a_seiko_9r65_27->n16_a_seiko_9r65_28 n16_a_seiko_9r65_30 ILYR n16_a_seiko_9r65_27->n16_a_seiko_9r65_30 n16_a_seiko_9r65_28->n16_a_seiko_9r65_29 n16_a_seiko_9r65_31 NP-SBJ n16_a_seiko_9r65_30->n16_a_seiko_9r65_31 n16_a_seiko_9r65_40 VBP;_Tn_ n16_a_seiko_9r65_30->n16_a_seiko_9r65_40 n16_a_seiko_9r65_42 NP-OB1 n16_a_seiko_9r65_30->n16_a_seiko_9r65_42 n16_a_seiko_9r65_32 NP-GEN n16_a_seiko_9r65_31->n16_a_seiko_9r65_32 n16_a_seiko_9r65_35 IP-PPL n16_a_seiko_9r65_31->n16_a_seiko_9r65_35 n16_a_seiko_9r65_38 N n16_a_seiko_9r65_31->n16_a_seiko_9r65_38 n16_a_seiko_9r65_33 PRO;_genm_ n16_a_seiko_9r65_32->n16_a_seiko_9r65_33 n16_a_seiko_9r65_33->n16_a_seiko_9r65_34 n16_a_seiko_9r65_36 VAG;_I_ n16_a_seiko_9r65_35->n16_a_seiko_9r65_36 n16_a_seiko_9r65_36->n16_a_seiko_9r65_37 n16_a_seiko_9r65_38->n16_a_seiko_9r65_39 n16_a_seiko_9r65_40->n16_a_seiko_9r65_41 n16_a_seiko_9r65_43 D n16_a_seiko_9r65_42->n16_a_seiko_9r65_43 n16_a_seiko_9r65_45 NS n16_a_seiko_9r65_42->n16_a_seiko_9r65_45 n16_a_seiko_9r65_43->n16_a_seiko_9r65_44 n16_a_seiko_9r65_45->n16_a_seiko_9r65_46 n16_a_seiko_9r65_47->n16_a_seiko_9r65_48 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ mechanical;{mechanical}))
                      (N watch;{watch})))
          (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 (NP-GEN;{MAINSPRING} (PRO;_genm_ its;{its}))
                                     (IP-PPL (VAG;_I_ unwinding;{unwind}))
                                     (N power;{power}))
                             (VBP;_Tn_ moves;{move})
                             (NP-OB1 (D the;{the})
                                     (NS hands;{hand})))))
          (PUNC .))
  (ID 16_a_seiko_9r65))