TSPC 80_a_seiko

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

( (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 (NLYR (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))

arc(r_0080_0002__wind,r_0080_0003__the_r_0080_0004__mainspring,arg1).
arc(r_0080_0002__wind,r_0080_0007__the_r_0080_0008__crown,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__nim).
arc(r_0080_0006__turn,r_0080_0013__clockwise,prd).
arc(r_0080_0006__turn,r_0080_0019__slowly,nim).
arc(r_0080_0006__turn,z_0080_5002,arg0).
arc(r_0080_0010__the_r_0080_0012__position,r_0080_0011__normal,attrib).
arc(r_0080_0013__clockwise,r_0080_0017__direction,prn).
arc(r_0080_0015__12,r_0080_0016__o_apos_clock,qual).
arc(r_0080_0017__direction,r_0080_0015__12,nim).
arc(z_0080_5011,r_0080_0002__wind,restriction).
arc(z_0080_5011,r_0080_0006__turn,scope).

fof(formula,axiom,
    ? [R_0080_0003__THE_R_0080_0004__MAINSPRING,R_0080_0007__THE_R_0080_0008__CROWN,R_0080_0002__WIND,R_0080_0011__NORMAL,R_0080_0010__THE_R_0080_0012__POSITION,R_0080_0016__O_APOS_CLOCK,R_0080_0015__12,R_0080_0017__DIRECTION,R_0080_0013__CLOCKWISE,R_0080_0019__SLOWLY,Z_0080_5002,R_0080_0006__TURN,Z_0080_5011] :
      ( r_0080_0003__the_r_0080_0004__mainspring(R_0080_0003__THE_R_0080_0004__MAINSPRING)
      & r_0080_0007__the_r_0080_0008__crown(R_0080_0007__THE_R_0080_0008__CROWN)
      & r_0080_0011__normal(R_0080_0011__NORMAL)
      & r_0080_0016__o_apos_clock(R_0080_0016__O_APOS_CLOCK)
      & r_0080_0019__slowly(R_0080_0019__SLOWLY)
      & z_0080_5002(Z_0080_5002)
      & z_0080_5011(Z_0080_5011)
      & has_conj2(Z_0080_5011,R_0080_0006__TURN)
      & r_0080_0006__turn(R_0080_0006__TURN)
      & has_arg0(R_0080_0006__TURN,Z_0080_5002)
      & has_nim(R_0080_0006__TURN,R_0080_0019__SLOWLY)
      & has_prd(R_0080_0006__TURN,R_0080_0013__CLOCKWISE)
      & r_0080_0013__clockwise(R_0080_0013__CLOCKWISE)
      & has_prn(R_0080_0013__CLOCKWISE,R_0080_0017__DIRECTION)
      & r_0080_0017__direction(R_0080_0017__DIRECTION)
      & has_nim(R_0080_0017__DIRECTION,R_0080_0015__12)
      & r_0080_0015__12(R_0080_0015__12)
      & has_qual(R_0080_0015__12,R_0080_0016__O_APOS_CLOCK)
      & has_r_0080_0009__at__nim(R_0080_0006__TURN,R_0080_0010__THE_R_0080_0012__POSITION)
      & r_0080_0010__the_r_0080_0012__position(R_0080_0010__THE_R_0080_0012__POSITION)
      & has_attrib(R_0080_0010__THE_R_0080_0012__POSITION,R_0080_0011__NORMAL)
      & has_arg1(R_0080_0006__TURN,R_0080_0007__THE_R_0080_0008__CROWN)
      & has_conj1(Z_0080_5011,R_0080_0002__WIND)
      & r_0080_0002__wind(R_0080_0002__WIND)
      & has_arg0(R_0080_0002__WIND,R_0080_0007__THE_R_0080_0008__CROWN)
      & has_arg1(R_0080_0002__WIND,R_0080_0003__THE_R_0080_0004__MAINSPRING) ) ).