Context                Previous, Next                Top


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

%3 r_0081_0001__If If r_0081_0003__turn turn r_0081_0001__If->r_0081_0003__turn [restriction] r_0081_0014__will will r_0081_0001__If->r_0081_0014__will [scope] r_0081_0002__you you r_0081_0003__turn->r_0081_0002__you [arg0] r_0081_0004__the_r_0081_0005__crown the crown r_0081_0003__turn->r_0081_0004__the_r_0081_0005__crown [arg1] r_0081_0006__counterclockwise counterclockwise r_0081_0003__turn->r_0081_0006__counterclockwise [prd] r_0081_0015__turn turn r_0081_0014__will->r_0081_0015__turn [scope] r_0081_0015__turn->r_0081_0004__the_r_0081_0005__crown [arg0] r_0081_0016__free free r_0081_0015__turn->r_0081_0016__free [prd] 
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).


%3 r_0081_0001__If If r_0081_0003__turn turn r_0081_0001__If->r_0081_0003__turn [restriction] r_0081_0014__will_r_0081_0015__turn will turn r_0081_0001__If->r_0081_0014__will_r_0081_0015__turn [scope] r_0081_0002__you you r_0081_0003__turn->r_0081_0002__you [arg0] r_0081_0004__the_r_0081_0005__crown the crown r_0081_0003__turn->r_0081_0004__the_r_0081_0005__crown [arg1] r_0081_0006__counterclockwise counterclockwise r_0081_0003__turn->r_0081_0006__counterclockwise [prd] r_0081_0014__will_r_0081_0015__turn->r_0081_0004__the_r_0081_0005__crown [arg0] r_0081_0016__free free r_0081_0014__will_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) ) ) ).


n81_a_seiko_9r65 n81_a_seiko_9r65_4 If n81_a_seiko_9r65_8 you n81_a_seiko_9r65_10 turn n81_a_seiko_9r65_13 the n81_a_seiko_9r65_15 crown n81_a_seiko_9r65_18 counterclockwise n81_a_seiko_9r65_20 -LRB- n81_a_seiko_9r65_24 6 n81_a_seiko_9r65_27 o'clock n81_a_seiko_9r65_29 direction n81_a_seiko_9r65_31 -RRB- n81_a_seiko_9r65_33 , n81_a_seiko_9r65_36 it n81_a_seiko_9r65_38 will n81_a_seiko_9r65_41 turn n81_a_seiko_9r65_44 free n81_a_seiko_9r65_46 . n81_a_seiko_9r65_1 IP-MAT n81_a_seiko_9r65_2 PP-SCON n81_a_seiko_9r65_1->n81_a_seiko_9r65_2 n81_a_seiko_9r65_32 PUNC n81_a_seiko_9r65_1->n81_a_seiko_9r65_32 n81_a_seiko_9r65_34 NP-SBJ n81_a_seiko_9r65_1->n81_a_seiko_9r65_34 n81_a_seiko_9r65_37 MD;_cat_Vi_ n81_a_seiko_9r65_1->n81_a_seiko_9r65_37 n81_a_seiko_9r65_39 IP-INF-CAT n81_a_seiko_9r65_1->n81_a_seiko_9r65_39 n81_a_seiko_9r65_45 PUNC n81_a_seiko_9r65_1->n81_a_seiko_9r65_45 n81_a_seiko_9r65_3 P-CONN n81_a_seiko_9r65_2->n81_a_seiko_9r65_3 n81_a_seiko_9r65_5 IP-ADV n81_a_seiko_9r65_2->n81_a_seiko_9r65_5 n81_a_seiko_9r65_3->n81_a_seiko_9r65_4 n81_a_seiko_9r65_6 NP-SBJ n81_a_seiko_9r65_5->n81_a_seiko_9r65_6 n81_a_seiko_9r65_9 VBP;_Cn.a_ n81_a_seiko_9r65_5->n81_a_seiko_9r65_9 n81_a_seiko_9r65_11 NP-OB1 n81_a_seiko_9r65_5->n81_a_seiko_9r65_11 n81_a_seiko_9r65_16 ADJP-PRD n81_a_seiko_9r65_5->n81_a_seiko_9r65_16 n81_a_seiko_9r65_7 PRO n81_a_seiko_9r65_6->n81_a_seiko_9r65_7 n81_a_seiko_9r65_7->n81_a_seiko_9r65_8 n81_a_seiko_9r65_9->n81_a_seiko_9r65_10 n81_a_seiko_9r65_12 D n81_a_seiko_9r65_11->n81_a_seiko_9r65_12 n81_a_seiko_9r65_14 N n81_a_seiko_9r65_11->n81_a_seiko_9r65_14 n81_a_seiko_9r65_12->n81_a_seiko_9r65_13 n81_a_seiko_9r65_14->n81_a_seiko_9r65_15 n81_a_seiko_9r65_17 ADJ n81_a_seiko_9r65_16->n81_a_seiko_9r65_17 n81_a_seiko_9r65_19 PULB n81_a_seiko_9r65_16->n81_a_seiko_9r65_19 n81_a_seiko_9r65_21 PRN n81_a_seiko_9r65_16->n81_a_seiko_9r65_21 n81_a_seiko_9r65_30 PURB n81_a_seiko_9r65_16->n81_a_seiko_9r65_30 n81_a_seiko_9r65_17->n81_a_seiko_9r65_18 n81_a_seiko_9r65_19->n81_a_seiko_9r65_20 n81_a_seiko_9r65_22 NP n81_a_seiko_9r65_21->n81_a_seiko_9r65_22 n81_a_seiko_9r65_23 NUM n81_a_seiko_9r65_22->n81_a_seiko_9r65_23 n81_a_seiko_9r65_25 ADVP n81_a_seiko_9r65_22->n81_a_seiko_9r65_25 n81_a_seiko_9r65_28 N n81_a_seiko_9r65_22->n81_a_seiko_9r65_28 n81_a_seiko_9r65_23->n81_a_seiko_9r65_24 n81_a_seiko_9r65_26 ADV n81_a_seiko_9r65_25->n81_a_seiko_9r65_26 n81_a_seiko_9r65_26->n81_a_seiko_9r65_27 n81_a_seiko_9r65_28->n81_a_seiko_9r65_29 n81_a_seiko_9r65_30->n81_a_seiko_9r65_31 n81_a_seiko_9r65_32->n81_a_seiko_9r65_33 n81_a_seiko_9r65_35 PRO n81_a_seiko_9r65_34->n81_a_seiko_9r65_35 n81_a_seiko_9r65_35->n81_a_seiko_9r65_36 n81_a_seiko_9r65_37->n81_a_seiko_9r65_38 n81_a_seiko_9r65_40 VB;_La_ n81_a_seiko_9r65_39->n81_a_seiko_9r65_40 n81_a_seiko_9r65_42 ADJP-PRD n81_a_seiko_9r65_39->n81_a_seiko_9r65_42 n81_a_seiko_9r65_40->n81_a_seiko_9r65_41 n81_a_seiko_9r65_43 ADJ n81_a_seiko_9r65_42->n81_a_seiko_9r65_43 n81_a_seiko_9r65_43->n81_a_seiko_9r65_44 n81_a_seiko_9r65_45->n81_a_seiko_9r65_46 
( (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))