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_0014__will_r_0081_0015__turn will turn r_0081_0016__free free r_0081_0014__will_r_0081_0015__turn->r_0081_0016__free [prd] r_0081_0004__the_r_0081_0005__crown the crown r_0081_0014__will_r_0081_0015__turn->r_0081_0004__the_r_0081_0005__crown [arg0] r_0081_0003__turn turn 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_0002__you you r_0081_0003__turn->r_0081_0002__you [arg0] r_0081_0001__If If r_0081_0001__If->r_0081_0014__will_r_0081_0015__turn [scope] r_0081_0001__If->r_0081_0003__turn [restriction] 
fof(formula,axiom,
    ! [R_0081_0003__TURN,R_0081_0002__YOU,R_0081_0004__THE_R_0081_0005__CROWN,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_0006__counterclockwise(R_0081_0006__COUNTERCLOCKWISE)
        & r_0081_0003__turn(R_0081_0003__TURN)
        & has_prd(R_0081_0003__TURN,R_0081_0006__COUNTERCLOCKWISE)
        & 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) ) ) ).


n81_a_seiko_9r65 n81_a_seiko_9r65__1_1_1_1 If n81_a_seiko_9r65__1_1_2_1_1_1 you n81_a_seiko_9r65__1_1_2_2_1 turn n81_a_seiko_9r65__1_1_2_3_1_1 the n81_a_seiko_9r65__1_1_2_3_2_1 crown n81_a_seiko_9r65__1_1_2_4_1_1 counterclockwise n81_a_seiko_9r65__1_1_2_4_2_1 -LRB- n81_a_seiko_9r65__1_1_2_4_3_1_1_1 6 n81_a_seiko_9r65__1_1_2_4_3_1_2_1_1 o'clock n81_a_seiko_9r65__1_1_2_4_3_1_3_1 direction n81_a_seiko_9r65__1_1_2_4_4_1 -RRB- n81_a_seiko_9r65__1_2_1 , n81_a_seiko_9r65__1_3_1_1 it n81_a_seiko_9r65__1_4_1 will n81_a_seiko_9r65__1_5_1_1 turn n81_a_seiko_9r65__1_5_2_1_1 free n81_a_seiko_9r65__1_6_1 . n81_a_seiko_9r65__1 IP-MAT n81_a_seiko_9r65__1_1 PP-SCON n81_a_seiko_9r65__1->n81_a_seiko_9r65__1_1 n81_a_seiko_9r65__1_2 PUNC n81_a_seiko_9r65__1->n81_a_seiko_9r65__1_2 n81_a_seiko_9r65__1_3 NP-SBJ n81_a_seiko_9r65__1->n81_a_seiko_9r65__1_3 n81_a_seiko_9r65__1_4 MD;_cat_Vi_ n81_a_seiko_9r65__1->n81_a_seiko_9r65__1_4 n81_a_seiko_9r65__1_5 IP-INF-CAT n81_a_seiko_9r65__1->n81_a_seiko_9r65__1_5 n81_a_seiko_9r65__1_6 PUNC n81_a_seiko_9r65__1->n81_a_seiko_9r65__1_6 n81_a_seiko_9r65__1_1_1 P-CONN n81_a_seiko_9r65__1_1->n81_a_seiko_9r65__1_1_1 n81_a_seiko_9r65__1_1_2 IP-ADV n81_a_seiko_9r65__1_1->n81_a_seiko_9r65__1_1_2 n81_a_seiko_9r65__1_1_1->n81_a_seiko_9r65__1_1_1_1 n81_a_seiko_9r65__1_1_2_1 NP-SBJ n81_a_seiko_9r65__1_1_2->n81_a_seiko_9r65__1_1_2_1 n81_a_seiko_9r65__1_1_2_2 VBP;_Cn.a_ n81_a_seiko_9r65__1_1_2->n81_a_seiko_9r65__1_1_2_2 n81_a_seiko_9r65__1_1_2_3 NP-OB1 n81_a_seiko_9r65__1_1_2->n81_a_seiko_9r65__1_1_2_3 n81_a_seiko_9r65__1_1_2_4 ADJP-PRD n81_a_seiko_9r65__1_1_2->n81_a_seiko_9r65__1_1_2_4 n81_a_seiko_9r65__1_1_2_1_1 PRO n81_a_seiko_9r65__1_1_2_1->n81_a_seiko_9r65__1_1_2_1_1 n81_a_seiko_9r65__1_1_2_1_1->n81_a_seiko_9r65__1_1_2_1_1_1 n81_a_seiko_9r65__1_1_2_2->n81_a_seiko_9r65__1_1_2_2_1 n81_a_seiko_9r65__1_1_2_3_1 D n81_a_seiko_9r65__1_1_2_3->n81_a_seiko_9r65__1_1_2_3_1 n81_a_seiko_9r65__1_1_2_3_2 N n81_a_seiko_9r65__1_1_2_3->n81_a_seiko_9r65__1_1_2_3_2 n81_a_seiko_9r65__1_1_2_3_1->n81_a_seiko_9r65__1_1_2_3_1_1 n81_a_seiko_9r65__1_1_2_3_2->n81_a_seiko_9r65__1_1_2_3_2_1 n81_a_seiko_9r65__1_1_2_4_1 ADJ n81_a_seiko_9r65__1_1_2_4->n81_a_seiko_9r65__1_1_2_4_1 n81_a_seiko_9r65__1_1_2_4_2 PULB n81_a_seiko_9r65__1_1_2_4->n81_a_seiko_9r65__1_1_2_4_2 n81_a_seiko_9r65__1_1_2_4_3 PRN n81_a_seiko_9r65__1_1_2_4->n81_a_seiko_9r65__1_1_2_4_3 n81_a_seiko_9r65__1_1_2_4_4 PURB n81_a_seiko_9r65__1_1_2_4->n81_a_seiko_9r65__1_1_2_4_4 n81_a_seiko_9r65__1_1_2_4_1->n81_a_seiko_9r65__1_1_2_4_1_1 n81_a_seiko_9r65__1_1_2_4_2->n81_a_seiko_9r65__1_1_2_4_2_1 n81_a_seiko_9r65__1_1_2_4_3_1 NP n81_a_seiko_9r65__1_1_2_4_3->n81_a_seiko_9r65__1_1_2_4_3_1 n81_a_seiko_9r65__1_1_2_4_3_1_1 NUM n81_a_seiko_9r65__1_1_2_4_3_1->n81_a_seiko_9r65__1_1_2_4_3_1_1 n81_a_seiko_9r65__1_1_2_4_3_1_2 ADVP n81_a_seiko_9r65__1_1_2_4_3_1->n81_a_seiko_9r65__1_1_2_4_3_1_2 n81_a_seiko_9r65__1_1_2_4_3_1_3 N n81_a_seiko_9r65__1_1_2_4_3_1->n81_a_seiko_9r65__1_1_2_4_3_1_3 n81_a_seiko_9r65__1_1_2_4_3_1_1->n81_a_seiko_9r65__1_1_2_4_3_1_1_1 n81_a_seiko_9r65__1_1_2_4_3_1_2_1 ADV n81_a_seiko_9r65__1_1_2_4_3_1_2->n81_a_seiko_9r65__1_1_2_4_3_1_2_1 n81_a_seiko_9r65__1_1_2_4_3_1_2_1->n81_a_seiko_9r65__1_1_2_4_3_1_2_1_1 n81_a_seiko_9r65__1_1_2_4_3_1_3->n81_a_seiko_9r65__1_1_2_4_3_1_3_1 n81_a_seiko_9r65__1_1_2_4_4->n81_a_seiko_9r65__1_1_2_4_4_1 n81_a_seiko_9r65__1_2->n81_a_seiko_9r65__1_2_1 n81_a_seiko_9r65__1_3_1 PRO n81_a_seiko_9r65__1_3->n81_a_seiko_9r65__1_3_1 n81_a_seiko_9r65__1_3_1->n81_a_seiko_9r65__1_3_1_1 n81_a_seiko_9r65__1_4->n81_a_seiko_9r65__1_4_1 n81_a_seiko_9r65__1_5_1 VB;_La_ n81_a_seiko_9r65__1_5->n81_a_seiko_9r65__1_5_1 n81_a_seiko_9r65__1_5_2 ADJP-PRD n81_a_seiko_9r65__1_5->n81_a_seiko_9r65__1_5_2 n81_a_seiko_9r65__1_5_1->n81_a_seiko_9r65__1_5_1_1 n81_a_seiko_9r65__1_5_2_1 ADJ n81_a_seiko_9r65__1_5_2->n81_a_seiko_9r65__1_5_2_1 n81_a_seiko_9r65__1_5_2_1->n81_a_seiko_9r65__1_5_2_1_1 n81_a_seiko_9r65__1_6->n81_a_seiko_9r65__1_6_1 
( (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))