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_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_81_3_TURN,R_81_2_YOU,R_81_4_THE_CROWN,R_81_6_COUNTERCLOCKWISE] :
      ( ( you(R_81_2_YOU)
        & the_crown(R_81_4_THE_CROWN)
        & counterclockwise(R_81_6_COUNTERCLOCKWISE)
        & turn(R_81_3_TURN,R_81_2_YOU,R_81_4_THE_CROWN,R_81_6_COUNTERCLOCKWISE) )
     => ? [R_81_14_WILL_TURN,R_81_16_FREE] :
          ( free(R_81_16_FREE)
          & will_turn(R_81_14_WILL_TURN,R_81_4_THE_CROWN,R_81_16_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 (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))