TSPC 81_a_seiko

81_a_seiko_9r65
If you turn the crown counterclockwise (6 o'clock direction), it will turn free.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Cn.a_ turn;{turn})
                           (NP-OB1;{CROWN} (D the;{the})
                                           (N crown;{crown}))
                           (ADJP-PRD (ADJ counterclockwise;{counterclockwise})
                                     (PULB -LRB-)
                                     (PRN (NP (NLYR (NUM 6)
                                                    (ADVP (ADV o<apos>clock;{o<apos>clock})))
                                              (N direction;{direction})))
                                     (PURB -RRB-))))
          (PUNC ,)
          (NP-SBJ;{CROWN} (PRO it;{it}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_La_ turn;{turn})
                      (ADJP-PRD (ADJ free;{free})))
          (PUNC .))
  (ID 81_a_seiko_9r65))

arc(r_0081_0001__If,r_0081_0003__turn,restriction).
arc(r_0081_0001__If,r_0081_0014__will,scope).
arc(r_0081_0003__turn,r_0081_0002__you,arg0).
arc(r_0081_0003__turn,r_0081_0004__the_r_0081_0005__crown,arg1).
arc(r_0081_0003__turn,r_0081_0006__counterclockwise,prd).
arc(r_0081_0006__counterclockwise,r_0081_0010__direction,prn).
arc(r_0081_0008__6,r_0081_0009__o_apos_clock,qual).
arc(r_0081_0010__direction,r_0081_0008__6,nim).
arc(r_0081_0014__will,r_0081_0015__turn,scope).
arc(r_0081_0015__turn,r_0081_0004__the_r_0081_0005__crown,arg0).
arc(r_0081_0015__turn,r_0081_0016__free,prd).

fof(formula,axiom,
    ! [R_0081_0003__TURN,R_0081_0002__YOU,R_0081_0004__THE_R_0081_0005__CROWN,R_0081_0009__O_APOS_CLOCK,R_0081_0008__6,R_0081_0010__DIRECTION,R_0081_0006__COUNTERCLOCKWISE] :
      ( ( r_0081_0002__you(R_0081_0002__YOU)
        & r_0081_0004__the_r_0081_0005__crown(R_0081_0004__THE_R_0081_0005__CROWN)
        & r_0081_0009__o_apos_clock(R_0081_0009__O_APOS_CLOCK)
        & r_0081_0003__turn(R_0081_0003__TURN)
        & has_prd(R_0081_0003__TURN,R_0081_0006__COUNTERCLOCKWISE)
        & r_0081_0006__counterclockwise(R_0081_0006__COUNTERCLOCKWISE)
        & has_prn(R_0081_0006__COUNTERCLOCKWISE,R_0081_0010__DIRECTION)
        & r_0081_0010__direction(R_0081_0010__DIRECTION)
        & has_nim(R_0081_0010__DIRECTION,R_0081_0008__6)
        & r_0081_0008__6(R_0081_0008__6)
        & has_qual(R_0081_0008__6,R_0081_0009__O_APOS_CLOCK)
        & has_arg1(R_0081_0003__TURN,R_0081_0004__THE_R_0081_0005__CROWN)
        & has_arg0(R_0081_0003__TURN,R_0081_0002__YOU) )
     => ? [R_0081_0016__FREE,R_0081_0014__WILL_R_0081_0015__TURN] :
          ( r_0081_0016__free(R_0081_0016__FREE)
          & r_0081_0014__will_r_0081_0015__turn(R_0081_0014__WILL_R_0081_0015__TURN)
          & has_prd(R_0081_0014__WILL_R_0081_0015__TURN,R_0081_0016__FREE)
          & has_arg0(R_0081_0014__WILL_R_0081_0015__TURN,R_0081_0004__THE_R_0081_0005__CROWN) ) ) ).