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 z_000_80_a_seiko_9r65_2 r_0080_0006__turn turn z_000_80_a_seiko_9r65_2->r_0080_0006__turn [conj2] r_0080_0001__To_r_0080_0002__wind To wind z_000_80_a_seiko_9r65_2->r_0080_0001__To_r_0080_0002__wind [conj1] r_0080_0010__the_r_0080_0012__position the position r_0080_0006__turn->r_0080_0010__the_r_0080_0012__position at [nim] z_000_80_a_seiko_9r65_1 r_0080_0006__turn->z_000_80_a_seiko_9r65_1 [arg0] r_0080_0019__slowly slowly r_0080_0006__turn->r_0080_0019__slowly [nim] r_0080_0013__clockwise clockwise r_0080_0006__turn->r_0080_0013__clockwise [prd] 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_0001__To_r_0080_0002__wind->z_000_80_a_seiko_9r65_1 [arg0] 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] r_0080_0011__normal normal r_0080_0010__the_r_0080_0012__position->r_0080_0011__normal [attrib] 
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__1_1_1_1_1 To n80_a_seiko_9r65__1_1_1_2_1 wind n80_a_seiko_9r65__1_1_1_3_1_1 the n80_a_seiko_9r65__1_1_1_3_2_1 mainspring n80_a_seiko_9r65__1_2_1 , n80_a_seiko_9r65__1_3_1 turn n80_a_seiko_9r65__1_4_1_1 the n80_a_seiko_9r65__1_4_2_1 crown n80_a_seiko_9r65__1_5_1_1 at n80_a_seiko_9r65__1_5_2_1_1 the n80_a_seiko_9r65__1_5_2_2_1_1 normal n80_a_seiko_9r65__1_5_2_3_1 position n80_a_seiko_9r65__1_6_1_1 clockwise n80_a_seiko_9r65__1_6_2_1 -LRB- n80_a_seiko_9r65__1_6_3_1_1_1 12 n80_a_seiko_9r65__1_6_3_1_2_1_1 o'clock n80_a_seiko_9r65__1_6_3_1_3_1 direction n80_a_seiko_9r65__1_6_4_1 -RRB- n80_a_seiko_9r65__1_7_1_1 slowly n80_a_seiko_9r65__1_8_1 . n80_a_seiko_9r65__1 IP-IMP n80_a_seiko_9r65__1_1 PP-SCON n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_1 n80_a_seiko_9r65__1_2 PUNC n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_2 n80_a_seiko_9r65__1_3 VB;_Cn.a_ n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_3 n80_a_seiko_9r65__1_4 NP-OB1 n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_4 n80_a_seiko_9r65__1_5 PP-NIM n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_5 n80_a_seiko_9r65__1_6 ADJP-PRD n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_6 n80_a_seiko_9r65__1_7 ADVP-NIM n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_7 n80_a_seiko_9r65__1_8 PUNC n80_a_seiko_9r65__1->n80_a_seiko_9r65__1_8 n80_a_seiko_9r65__1_1_1 IP-INF n80_a_seiko_9r65__1_1->n80_a_seiko_9r65__1_1_1 n80_a_seiko_9r65__1_1_1_1 TO n80_a_seiko_9r65__1_1_1->n80_a_seiko_9r65__1_1_1_1 n80_a_seiko_9r65__1_1_1_2 VB;_Tn_ n80_a_seiko_9r65__1_1_1->n80_a_seiko_9r65__1_1_1_2 n80_a_seiko_9r65__1_1_1_3 NP-OB1 n80_a_seiko_9r65__1_1_1->n80_a_seiko_9r65__1_1_1_3 n80_a_seiko_9r65__1_1_1_1->n80_a_seiko_9r65__1_1_1_1_1 n80_a_seiko_9r65__1_1_1_2->n80_a_seiko_9r65__1_1_1_2_1 n80_a_seiko_9r65__1_1_1_3_1 D n80_a_seiko_9r65__1_1_1_3->n80_a_seiko_9r65__1_1_1_3_1 n80_a_seiko_9r65__1_1_1_3_2 N n80_a_seiko_9r65__1_1_1_3->n80_a_seiko_9r65__1_1_1_3_2 n80_a_seiko_9r65__1_1_1_3_1->n80_a_seiko_9r65__1_1_1_3_1_1 n80_a_seiko_9r65__1_1_1_3_2->n80_a_seiko_9r65__1_1_1_3_2_1 n80_a_seiko_9r65__1_2->n80_a_seiko_9r65__1_2_1 n80_a_seiko_9r65__1_3->n80_a_seiko_9r65__1_3_1 n80_a_seiko_9r65__1_4_1 D n80_a_seiko_9r65__1_4->n80_a_seiko_9r65__1_4_1 n80_a_seiko_9r65__1_4_2 N n80_a_seiko_9r65__1_4->n80_a_seiko_9r65__1_4_2 n80_a_seiko_9r65__1_4_1->n80_a_seiko_9r65__1_4_1_1 n80_a_seiko_9r65__1_4_2->n80_a_seiko_9r65__1_4_2_1 n80_a_seiko_9r65__1_5_1 P-ROLE n80_a_seiko_9r65__1_5->n80_a_seiko_9r65__1_5_1 n80_a_seiko_9r65__1_5_2 NP n80_a_seiko_9r65__1_5->n80_a_seiko_9r65__1_5_2 n80_a_seiko_9r65__1_5_1->n80_a_seiko_9r65__1_5_1_1 n80_a_seiko_9r65__1_5_2_1 D n80_a_seiko_9r65__1_5_2->n80_a_seiko_9r65__1_5_2_1 n80_a_seiko_9r65__1_5_2_2 ADJP n80_a_seiko_9r65__1_5_2->n80_a_seiko_9r65__1_5_2_2 n80_a_seiko_9r65__1_5_2_3 N n80_a_seiko_9r65__1_5_2->n80_a_seiko_9r65__1_5_2_3 n80_a_seiko_9r65__1_5_2_1->n80_a_seiko_9r65__1_5_2_1_1 n80_a_seiko_9r65__1_5_2_2_1 ADJ n80_a_seiko_9r65__1_5_2_2->n80_a_seiko_9r65__1_5_2_2_1 n80_a_seiko_9r65__1_5_2_2_1->n80_a_seiko_9r65__1_5_2_2_1_1 n80_a_seiko_9r65__1_5_2_3->n80_a_seiko_9r65__1_5_2_3_1 n80_a_seiko_9r65__1_6_1 ADJ n80_a_seiko_9r65__1_6->n80_a_seiko_9r65__1_6_1 n80_a_seiko_9r65__1_6_2 PULB n80_a_seiko_9r65__1_6->n80_a_seiko_9r65__1_6_2 n80_a_seiko_9r65__1_6_3 PRN n80_a_seiko_9r65__1_6->n80_a_seiko_9r65__1_6_3 n80_a_seiko_9r65__1_6_4 PURB n80_a_seiko_9r65__1_6->n80_a_seiko_9r65__1_6_4 n80_a_seiko_9r65__1_6_1->n80_a_seiko_9r65__1_6_1_1 n80_a_seiko_9r65__1_6_2->n80_a_seiko_9r65__1_6_2_1 n80_a_seiko_9r65__1_6_3_1 NP n80_a_seiko_9r65__1_6_3->n80_a_seiko_9r65__1_6_3_1 n80_a_seiko_9r65__1_6_3_1_1 NUM n80_a_seiko_9r65__1_6_3_1->n80_a_seiko_9r65__1_6_3_1_1 n80_a_seiko_9r65__1_6_3_1_2 ADVP n80_a_seiko_9r65__1_6_3_1->n80_a_seiko_9r65__1_6_3_1_2 n80_a_seiko_9r65__1_6_3_1_3 N n80_a_seiko_9r65__1_6_3_1->n80_a_seiko_9r65__1_6_3_1_3 n80_a_seiko_9r65__1_6_3_1_1->n80_a_seiko_9r65__1_6_3_1_1_1 n80_a_seiko_9r65__1_6_3_1_2_1 ADV n80_a_seiko_9r65__1_6_3_1_2->n80_a_seiko_9r65__1_6_3_1_2_1 n80_a_seiko_9r65__1_6_3_1_2_1->n80_a_seiko_9r65__1_6_3_1_2_1_1 n80_a_seiko_9r65__1_6_3_1_3->n80_a_seiko_9r65__1_6_3_1_3_1 n80_a_seiko_9r65__1_6_4->n80_a_seiko_9r65__1_6_4_1 n80_a_seiko_9r65__1_7_1 ADV n80_a_seiko_9r65__1_7->n80_a_seiko_9r65__1_7_1 n80_a_seiko_9r65__1_7_1->n80_a_seiko_9r65__1_7_1_1 n80_a_seiko_9r65__1_8->n80_a_seiko_9r65__1_8_1 
( (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))