Context                Previous, Next                Top


80_a_seiko_9r65
To wind the mainspring, turn the crown at the normal position clockwise (12 o'clock direction) slowly.

%3 r_0080_0001__To_r_0080_0002__wind To wind r_0080_0003__the_r_0080_0004__mainspring the mainspring r_0080_0001__To_r_0080_0002__wind->r_0080_0003__the_r_0080_0004__mainspring [arg1] z_000_80_a_seiko_9r65_1 r_0080_0001__To_r_0080_0002__wind->z_000_80_a_seiko_9r65_1 [arg0] r_0080_0006__turn turn r_0080_0006__turn->z_000_80_a_seiko_9r65_1 [arg0] r_0080_0007__the_r_0080_0008__crown the crown r_0080_0006__turn->r_0080_0007__the_r_0080_0008__crown [arg1] r_0080_0010__the_r_0080_0012__position the position r_0080_0006__turn->r_0080_0010__the_r_0080_0012__position at [nim] r_0080_0013__clockwise clockwise r_0080_0006__turn->r_0080_0013__clockwise [prd] r_0080_0019__slowly slowly r_0080_0006__turn->r_0080_0019__slowly [nim] r_0080_0011__normal normal r_0080_0010__the_r_0080_0012__position->r_0080_0011__normal [attrib] z_000_80_a_seiko_9r65_2 z_000_80_a_seiko_9r65_2->r_0080_0001__To_r_0080_0002__wind [restriction] z_000_80_a_seiko_9r65_2->r_0080_0006__turn [scope] 
arc(r_0080_0001__To_r_0080_0002__wind, r_0080_0003__the_r_0080_0004__mainspring, arg1).
arc(r_0080_0001__To_r_0080_0002__wind, z_000_80_a_seiko_9r65_1, arg0).
arc(r_0080_0006__turn, r_0080_0007__the_r_0080_0008__crown, arg1).
arc(r_0080_0006__turn, r_0080_0010__the_r_0080_0012__position, r_0080_0009__at_nim25).
arc(r_0080_0006__turn, r_0080_0013__clockwise, prd).
arc(r_0080_0006__turn, r_0080_0019__slowly, nim49).
arc(r_0080_0006__turn, z_000_80_a_seiko_9r65_1, arg0).
arc(r_0080_0010__the_r_0080_0012__position, r_0080_0011__normal, attrib28).
arc(z_000_80_a_seiko_9r65_2, r_0080_0001__To_r_0080_0002__wind, restriction).
arc(z_000_80_a_seiko_9r65_2, r_0080_0006__turn, scope).


%3 r_0080_0001__To_r_0080_0002__wind To wind r_0080_0003__the_r_0080_0004__mainspring the mainspring r_0080_0001__To_r_0080_0002__wind->r_0080_0003__the_r_0080_0004__mainspring [arg1] z_000_80_a_seiko_9r65_1 r_0080_0001__To_r_0080_0002__wind->z_000_80_a_seiko_9r65_1 [arg0] r_0080_0006__turn turn r_0080_0006__turn->z_000_80_a_seiko_9r65_1 [arg0] r_0080_0007__the_r_0080_0008__crown the crown r_0080_0006__turn->r_0080_0007__the_r_0080_0008__crown [arg1] r_0080_0010__the_r_0080_0012__position the position r_0080_0006__turn->r_0080_0010__the_r_0080_0012__position at [nim] r_0080_0013__clockwise clockwise r_0080_0006__turn->r_0080_0013__clockwise [prd] r_0080_0019__slowly slowly r_0080_0006__turn->r_0080_0019__slowly [nim] r_0080_0011__normal normal r_0080_0010__the_r_0080_0012__position->r_0080_0011__normal [attrib] z_000_80_a_seiko_9r65_2 z_000_80_a_seiko_9r65_2->r_0080_0001__To_r_0080_0002__wind [conj1] z_000_80_a_seiko_9r65_2->r_0080_0006__turn [conj2] 
fof(formula,axiom,
    ? [Z_80_A_SEIKO_9R65_2,R_80_1_TO_WIND,R_80_3_THE_MAINSPRING,R_80_6_TURN,Z_80_A_SEIKO_9R65_1,R_80_7_THE_CROWN,R_80_19_SLOWLY,R_80_13_CLOCKWISE,R_80_10_THE_POSITION,R_80_11_NORMAL] :
      ( the_mainspring(R_80_3_THE_MAINSPRING)
      & the_crown(R_80_7_THE_CROWN)
      & slowly(R_80_19_SLOWLY)
      & clockwise(R_80_13_CLOCKWISE)
      & normal(R_80_11_NORMAL)
      & z_80_a_seiko_9r65_2(Z_80_A_SEIKO_9R65_2)
      & conj1(Z_80_A_SEIKO_9R65_2,R_80_1_TO_WIND)
      & to_wind(R_80_1_TO_WIND,Z_80_A_SEIKO_9R65_1,R_80_3_THE_MAINSPRING)
      & conj2(Z_80_A_SEIKO_9R65_2,R_80_6_TURN)
      & turn(R_80_6_TURN,Z_80_A_SEIKO_9R65_1,R_80_7_THE_CROWN,R_80_13_CLOCKWISE)
      & nim49(R_80_6_TURN,R_80_19_SLOWLY)
      & at_nim25(R_80_6_TURN,R_80_10_THE_POSITION)
      & the_position(R_80_10_THE_POSITION)
      & attrib28(R_80_10_THE_POSITION,R_80_11_NORMAL) ) ).


n80_a_seiko_9r65 n80_a_seiko_9r65_5 To n80_a_seiko_9r65_7 wind n80_a_seiko_9r65_10 the n80_a_seiko_9r65_12 mainspring n80_a_seiko_9r65_14 , n80_a_seiko_9r65_16 turn n80_a_seiko_9r65_19 the n80_a_seiko_9r65_21 crown n80_a_seiko_9r65_24 at n80_a_seiko_9r65_27 the n80_a_seiko_9r65_30 normal n80_a_seiko_9r65_32 position n80_a_seiko_9r65_35 clockwise n80_a_seiko_9r65_37 -LRB- n80_a_seiko_9r65_41 12 n80_a_seiko_9r65_44 o'clock n80_a_seiko_9r65_46 direction n80_a_seiko_9r65_48 -RRB- n80_a_seiko_9r65_51 slowly n80_a_seiko_9r65_53 . n80_a_seiko_9r65_1 IP-IMP n80_a_seiko_9r65_2 PP-SCON n80_a_seiko_9r65_1->n80_a_seiko_9r65_2 n80_a_seiko_9r65_13 PUNC n80_a_seiko_9r65_1->n80_a_seiko_9r65_13 n80_a_seiko_9r65_15 VB;_Cn.a_ n80_a_seiko_9r65_1->n80_a_seiko_9r65_15 n80_a_seiko_9r65_17 NP-OB1 n80_a_seiko_9r65_1->n80_a_seiko_9r65_17 n80_a_seiko_9r65_22 PP-NIM n80_a_seiko_9r65_1->n80_a_seiko_9r65_22 n80_a_seiko_9r65_33 ADJP-PRD n80_a_seiko_9r65_1->n80_a_seiko_9r65_33 n80_a_seiko_9r65_49 ADVP-NIM n80_a_seiko_9r65_1->n80_a_seiko_9r65_49 n80_a_seiko_9r65_52 PUNC n80_a_seiko_9r65_1->n80_a_seiko_9r65_52 n80_a_seiko_9r65_3 IP-INF n80_a_seiko_9r65_2->n80_a_seiko_9r65_3 n80_a_seiko_9r65_4 TO n80_a_seiko_9r65_3->n80_a_seiko_9r65_4 n80_a_seiko_9r65_6 VB;_Tn_ n80_a_seiko_9r65_3->n80_a_seiko_9r65_6 n80_a_seiko_9r65_8 NP-OB1 n80_a_seiko_9r65_3->n80_a_seiko_9r65_8 n80_a_seiko_9r65_4->n80_a_seiko_9r65_5 n80_a_seiko_9r65_6->n80_a_seiko_9r65_7 n80_a_seiko_9r65_9 D n80_a_seiko_9r65_8->n80_a_seiko_9r65_9 n80_a_seiko_9r65_11 N n80_a_seiko_9r65_8->n80_a_seiko_9r65_11 n80_a_seiko_9r65_9->n80_a_seiko_9r65_10 n80_a_seiko_9r65_11->n80_a_seiko_9r65_12 n80_a_seiko_9r65_13->n80_a_seiko_9r65_14 n80_a_seiko_9r65_15->n80_a_seiko_9r65_16 n80_a_seiko_9r65_18 D n80_a_seiko_9r65_17->n80_a_seiko_9r65_18 n80_a_seiko_9r65_20 N n80_a_seiko_9r65_17->n80_a_seiko_9r65_20 n80_a_seiko_9r65_18->n80_a_seiko_9r65_19 n80_a_seiko_9r65_20->n80_a_seiko_9r65_21 n80_a_seiko_9r65_23 P-ROLE n80_a_seiko_9r65_22->n80_a_seiko_9r65_23 n80_a_seiko_9r65_25 NP n80_a_seiko_9r65_22->n80_a_seiko_9r65_25 n80_a_seiko_9r65_23->n80_a_seiko_9r65_24 n80_a_seiko_9r65_26 D n80_a_seiko_9r65_25->n80_a_seiko_9r65_26 n80_a_seiko_9r65_28 ADJP n80_a_seiko_9r65_25->n80_a_seiko_9r65_28 n80_a_seiko_9r65_31 N n80_a_seiko_9r65_25->n80_a_seiko_9r65_31 n80_a_seiko_9r65_26->n80_a_seiko_9r65_27 n80_a_seiko_9r65_29 ADJ n80_a_seiko_9r65_28->n80_a_seiko_9r65_29 n80_a_seiko_9r65_29->n80_a_seiko_9r65_30 n80_a_seiko_9r65_31->n80_a_seiko_9r65_32 n80_a_seiko_9r65_34 ADJ n80_a_seiko_9r65_33->n80_a_seiko_9r65_34 n80_a_seiko_9r65_36 PULB n80_a_seiko_9r65_33->n80_a_seiko_9r65_36 n80_a_seiko_9r65_38 PRN n80_a_seiko_9r65_33->n80_a_seiko_9r65_38 n80_a_seiko_9r65_47 PURB n80_a_seiko_9r65_33->n80_a_seiko_9r65_47 n80_a_seiko_9r65_34->n80_a_seiko_9r65_35 n80_a_seiko_9r65_36->n80_a_seiko_9r65_37 n80_a_seiko_9r65_39 NP n80_a_seiko_9r65_38->n80_a_seiko_9r65_39 n80_a_seiko_9r65_40 NUM n80_a_seiko_9r65_39->n80_a_seiko_9r65_40 n80_a_seiko_9r65_42 ADVP n80_a_seiko_9r65_39->n80_a_seiko_9r65_42 n80_a_seiko_9r65_45 N n80_a_seiko_9r65_39->n80_a_seiko_9r65_45 n80_a_seiko_9r65_40->n80_a_seiko_9r65_41 n80_a_seiko_9r65_43 ADV n80_a_seiko_9r65_42->n80_a_seiko_9r65_43 n80_a_seiko_9r65_43->n80_a_seiko_9r65_44 n80_a_seiko_9r65_45->n80_a_seiko_9r65_46 n80_a_seiko_9r65_47->n80_a_seiko_9r65_48 n80_a_seiko_9r65_50 ADV n80_a_seiko_9r65_49->n80_a_seiko_9r65_50 n80_a_seiko_9r65_50->n80_a_seiko_9r65_51 n80_a_seiko_9r65_52->n80_a_seiko_9r65_53 
( (IP-IMP (PP-SCON (IP-INF (TO To;{to})
                           (VB;_Tn_ wind;{wind})
                           (NP-OB1;{MAINSPRING} (D the;{the})
                                                (N mainspring;{mainspring}))))
          (PUNC ,)
          (VB;_Cn.a_ turn;{turn})
          (NP-OB1;{CROWN} (D the;{the})
                          (N crown;{crown}))
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (ADJP (ADJ normal;{normal}))
                      (N position;{position})))
          (ADJP-PRD (ADJ clockwise;{clockwise})
                    (PULB -LRB-)
                    (PRN (NP (NUM 12)
                             (ADVP (ADV o<apos>clock;{o<apos>clock}))
                             (N direction;{direction})))
                    (PURB -RRB-))
          (ADVP-NIM (ADV slowly;{slowly}))
          (PUNC .))
  (ID 80_a_seiko_9r65))