Context                Previous, Next                Top


79_a_seiko_9r65
<white circle> When starting to use a stopped watch, it is recommended that you turn the crown to wind the mainspring.

%3 r_0079_0001___white_circle__r_0079_0011__is white circle  is r_0079_0012__recommended recommended r_0079_0001___white_circle__r_0079_0011__is->r_0079_0012__recommended [scope] z_000_79_a_seiko_9r65_31 r_0079_0012__recommended->z_000_79_a_seiko_9r65_31 [arg0] z_000_79_a_seiko_9r65_49 r_0079_0012__recommended->z_000_79_a_seiko_9r65_49 [arg1] r_0079_0002__When When r_0079_0002__When->r_0079_0001___white_circle__r_0079_0011__is [scope] r_0079_0003__starting starting r_0079_0002__When->r_0079_0003__starting [restriction] r_0079_0004__to_r_0079_0005__use to use r_0079_0003__starting->r_0079_0004__to_r_0079_0005__use [scope] r_0079_0006__a_r_0079_0008__watch a watch r_0079_0004__to_r_0079_0005__use->r_0079_0006__a_r_0079_0008__watch [arg1] z_000_79_a_seiko_9r65_7 r_0079_0004__to_r_0079_0005__use->z_000_79_a_seiko_9r65_7 [arg0] r_0079_0007__stopped stopped r_0079_0006__a_r_0079_0008__watch->r_0079_0007__stopped [attrib] r_0079_0013__that_r_0079_0015__turn that turn z_000_79_a_seiko_9r65_49->r_0079_0013__that_r_0079_0015__turn [scope] r_0079_0018__to_r_0079_0019__wind to wind z_000_79_a_seiko_9r65_49->r_0079_0018__to_r_0079_0019__wind [restriction] r_0079_0014__you you r_0079_0013__that_r_0079_0015__turn->r_0079_0014__you [arg0] r_0079_0016__the_r_0079_0017__crown the crown r_0079_0013__that_r_0079_0015__turn->r_0079_0016__the_r_0079_0017__crown [arg1] r_0079_0018__to_r_0079_0019__wind->r_0079_0014__you [arg0] r_0079_0020__the_r_0079_0021__mainspring the mainspring r_0079_0018__to_r_0079_0019__wind->r_0079_0020__the_r_0079_0021__mainspring [arg1] 
arc(r_0079_0001___white_circle__r_0079_0011__is, r_0079_0012__recommended, scope).
arc(r_0079_0002__When, r_0079_0001___white_circle__r_0079_0011__is, scope).
arc(r_0079_0002__When, r_0079_0003__starting, restriction).
arc(r_0079_0003__starting, r_0079_0004__to_r_0079_0005__use, scope).
arc(r_0079_0004__to_r_0079_0005__use, r_0079_0006__a_r_0079_0008__watch, arg1).
arc(r_0079_0004__to_r_0079_0005__use, z_000_79_a_seiko_9r65_7, arg0).
arc(r_0079_0006__a_r_0079_0008__watch, r_0079_0007__stopped, attrib18).
arc(r_0079_0012__recommended, z_000_79_a_seiko_9r65_31, arg0).
arc(r_0079_0012__recommended, z_000_79_a_seiko_9r65_49, arg1).
arc(r_0079_0013__that_r_0079_0015__turn, r_0079_0014__you, arg0).
arc(r_0079_0013__that_r_0079_0015__turn, r_0079_0016__the_r_0079_0017__crown, arg1).
arc(r_0079_0018__to_r_0079_0019__wind, r_0079_0014__you, arg0).
arc(r_0079_0018__to_r_0079_0019__wind, r_0079_0020__the_r_0079_0021__mainspring, arg1).
arc(z_000_79_a_seiko_9r65_49, r_0079_0013__that_r_0079_0015__turn, scope).
arc(z_000_79_a_seiko_9r65_49, r_0079_0018__to_r_0079_0019__wind, restriction).


%3 r_0079_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended white circle  is recommended z_000_79_a_seiko_9r65_31 r_0079_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended->z_000_79_a_seiko_9r65_31 [arg0] z_000_79_a_seiko_9r65_49 r_0079_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended->z_000_79_a_seiko_9r65_49 [arg1] r_0079_0013__that_r_0079_0015__turn that turn z_000_79_a_seiko_9r65_49->r_0079_0013__that_r_0079_0015__turn [conj2] r_0079_0018__to_r_0079_0019__wind to wind z_000_79_a_seiko_9r65_49->r_0079_0018__to_r_0079_0019__wind [conj1] r_0079_0002__When When r_0079_0002__When->r_0079_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended [scope] r_0079_0003__starting_r_0079_0004__to_r_0079_0005__use starting to use r_0079_0002__When->r_0079_0003__starting_r_0079_0004__to_r_0079_0005__use [restriction] r_0079_0006__a_r_0079_0008__watch a watch r_0079_0003__starting_r_0079_0004__to_r_0079_0005__use->r_0079_0006__a_r_0079_0008__watch [arg1] z_000_79_a_seiko_9r65_7 r_0079_0003__starting_r_0079_0004__to_r_0079_0005__use->z_000_79_a_seiko_9r65_7 [arg0] r_0079_0007__stopped stopped r_0079_0006__a_r_0079_0008__watch->r_0079_0007__stopped [attrib] r_0079_0014__you you r_0079_0013__that_r_0079_0015__turn->r_0079_0014__you [arg0] r_0079_0016__the_r_0079_0017__crown the crown r_0079_0013__that_r_0079_0015__turn->r_0079_0016__the_r_0079_0017__crown [arg1] r_0079_0018__to_r_0079_0019__wind->r_0079_0014__you [arg0] r_0079_0020__the_r_0079_0021__mainspring the mainspring r_0079_0018__to_r_0079_0019__wind->r_0079_0020__the_r_0079_0021__mainspring [arg1] 
fof(formula,axiom,
    ! [R_79_3_STARTING_TO_USE,Z_79_A_SEIKO_9R65_7,R_79_6_A_WATCH,R_79_7_STOPPED] :
      ( ( stopped(R_79_7_STOPPED)
        & starting_to_use(R_79_3_STARTING_TO_USE,Z_79_A_SEIKO_9R65_7,R_79_6_A_WATCH)
        & a_watch(R_79_6_A_WATCH)
        & attrib18(R_79_6_A_WATCH,R_79_7_STOPPED) )
     => ? [R_79_1__WHITE_CIRCLE_IS_RECOMMENDED,Z_79_A_SEIKO_9R65_31,Z_79_A_SEIKO_9R65_49,R_79_18_TO_WIND,R_79_20_THE_MAINSPRING,R_79_13_THAT_TURN,R_79_14_YOU,R_79_16_THE_CROWN] :
          ( the_mainspring(R_79_20_THE_MAINSPRING)
          & you(R_79_14_YOU)
          & the_crown(R_79_16_THE_CROWN)
          & _white_circle_is_recommended(R_79_1__WHITE_CIRCLE_IS_RECOMMENDED,Z_79_A_SEIKO_9R65_31,Z_79_A_SEIKO_9R65_49)
          & z_79_a_seiko_9r65_49(Z_79_A_SEIKO_9R65_49)
          & conj1(Z_79_A_SEIKO_9R65_49,R_79_18_TO_WIND)
          & to_wind(R_79_18_TO_WIND,R_79_14_YOU,R_79_20_THE_MAINSPRING)
          & conj2(Z_79_A_SEIKO_9R65_49,R_79_13_THAT_TURN)
          & that_turn(R_79_13_THAT_TURN,R_79_14_YOU,R_79_16_THE_CROWN) ) ) ).


n79_a_seiko_9r65 n79_a_seiko_9r65_3 <white_circle> n79_a_seiko_9r65_6 When n79_a_seiko_9r65_9 starting n79_a_seiko_9r65_12 to n79_a_seiko_9r65_14 use n79_a_seiko_9r65_17 a n79_a_seiko_9r65_20 stopped n79_a_seiko_9r65_22 watch n79_a_seiko_9r65_24 , n79_a_seiko_9r65_27 it n79_a_seiko_9r65_29 is n79_a_seiko_9r65_32 * n79_a_seiko_9r65_34 recommended n79_a_seiko_9r65_38 that n79_a_seiko_9r65_41 you n79_a_seiko_9r65_43 turn n79_a_seiko_9r65_46 the n79_a_seiko_9r65_48 crown n79_a_seiko_9r65_52 to n79_a_seiko_9r65_54 wind n79_a_seiko_9r65_57 the n79_a_seiko_9r65_59 mainspring n79_a_seiko_9r65_61 . n79_a_seiko_9r65_1 IP-MAT n79_a_seiko_9r65_2 SYM n79_a_seiko_9r65_1->n79_a_seiko_9r65_2 n79_a_seiko_9r65_4 PP-SCON n79_a_seiko_9r65_1->n79_a_seiko_9r65_4 n79_a_seiko_9r65_23 PUNC n79_a_seiko_9r65_1->n79_a_seiko_9r65_23 n79_a_seiko_9r65_25 NP-SBJ n79_a_seiko_9r65_1->n79_a_seiko_9r65_25 n79_a_seiko_9r65_28 BEP;_cat_VePASS_ n79_a_seiko_9r65_1->n79_a_seiko_9r65_28 n79_a_seiko_9r65_30 IP-PPL-CAT n79_a_seiko_9r65_1->n79_a_seiko_9r65_30 n79_a_seiko_9r65_60 PUNC n79_a_seiko_9r65_1->n79_a_seiko_9r65_60 n79_a_seiko_9r65_2->n79_a_seiko_9r65_3 n79_a_seiko_9r65_5 P-CONN n79_a_seiko_9r65_4->n79_a_seiko_9r65_5 n79_a_seiko_9r65_7 IP-PPL3 n79_a_seiko_9r65_4->n79_a_seiko_9r65_7 n79_a_seiko_9r65_5->n79_a_seiko_9r65_6 n79_a_seiko_9r65_8 VAG;_cat_Vt_ n79_a_seiko_9r65_7->n79_a_seiko_9r65_8 n79_a_seiko_9r65_10 IP-INF-CAT n79_a_seiko_9r65_7->n79_a_seiko_9r65_10 n79_a_seiko_9r65_8->n79_a_seiko_9r65_9 n79_a_seiko_9r65_11 TO n79_a_seiko_9r65_10->n79_a_seiko_9r65_11 n79_a_seiko_9r65_13 VB;_Tn_ n79_a_seiko_9r65_10->n79_a_seiko_9r65_13 n79_a_seiko_9r65_15 NP-OB1 n79_a_seiko_9r65_10->n79_a_seiko_9r65_15 n79_a_seiko_9r65_11->n79_a_seiko_9r65_12 n79_a_seiko_9r65_13->n79_a_seiko_9r65_14 n79_a_seiko_9r65_16 D n79_a_seiko_9r65_15->n79_a_seiko_9r65_16 n79_a_seiko_9r65_18 ADJP n79_a_seiko_9r65_15->n79_a_seiko_9r65_18 n79_a_seiko_9r65_21 N n79_a_seiko_9r65_15->n79_a_seiko_9r65_21 n79_a_seiko_9r65_16->n79_a_seiko_9r65_17 n79_a_seiko_9r65_19 ADJ n79_a_seiko_9r65_18->n79_a_seiko_9r65_19 n79_a_seiko_9r65_19->n79_a_seiko_9r65_20 n79_a_seiko_9r65_21->n79_a_seiko_9r65_22 n79_a_seiko_9r65_23->n79_a_seiko_9r65_24 n79_a_seiko_9r65_26 PRO;_provisional_ n79_a_seiko_9r65_25->n79_a_seiko_9r65_26 n79_a_seiko_9r65_26->n79_a_seiko_9r65_27 n79_a_seiko_9r65_28->n79_a_seiko_9r65_29 n79_a_seiko_9r65_31 NP-LGS n79_a_seiko_9r65_30->n79_a_seiko_9r65_31 n79_a_seiko_9r65_33 VVN;_Tn_ n79_a_seiko_9r65_30->n79_a_seiko_9r65_33 n79_a_seiko_9r65_35 CP-THT-NSBJ n79_a_seiko_9r65_30->n79_a_seiko_9r65_35 n79_a_seiko_9r65_31->n79_a_seiko_9r65_32 n79_a_seiko_9r65_33->n79_a_seiko_9r65_34 n79_a_seiko_9r65_36 IP-SUB n79_a_seiko_9r65_35->n79_a_seiko_9r65_36 n79_a_seiko_9r65_37 C n79_a_seiko_9r65_36->n79_a_seiko_9r65_37 n79_a_seiko_9r65_39 NP-SBJ n79_a_seiko_9r65_36->n79_a_seiko_9r65_39 n79_a_seiko_9r65_42 VBP;_Tn_ n79_a_seiko_9r65_36->n79_a_seiko_9r65_42 n79_a_seiko_9r65_44 NP-OB1 n79_a_seiko_9r65_36->n79_a_seiko_9r65_44 n79_a_seiko_9r65_49 PP-SCON n79_a_seiko_9r65_36->n79_a_seiko_9r65_49 n79_a_seiko_9r65_37->n79_a_seiko_9r65_38 n79_a_seiko_9r65_40 PRO n79_a_seiko_9r65_39->n79_a_seiko_9r65_40 n79_a_seiko_9r65_40->n79_a_seiko_9r65_41 n79_a_seiko_9r65_42->n79_a_seiko_9r65_43 n79_a_seiko_9r65_45 D n79_a_seiko_9r65_44->n79_a_seiko_9r65_45 n79_a_seiko_9r65_47 N n79_a_seiko_9r65_44->n79_a_seiko_9r65_47 n79_a_seiko_9r65_45->n79_a_seiko_9r65_46 n79_a_seiko_9r65_47->n79_a_seiko_9r65_48 n79_a_seiko_9r65_50 IP-INF2 n79_a_seiko_9r65_49->n79_a_seiko_9r65_50 n79_a_seiko_9r65_51 TO n79_a_seiko_9r65_50->n79_a_seiko_9r65_51 n79_a_seiko_9r65_53 VB;_Tn_ n79_a_seiko_9r65_50->n79_a_seiko_9r65_53 n79_a_seiko_9r65_55 NP-OB1 n79_a_seiko_9r65_50->n79_a_seiko_9r65_55 n79_a_seiko_9r65_51->n79_a_seiko_9r65_52 n79_a_seiko_9r65_53->n79_a_seiko_9r65_54 n79_a_seiko_9r65_56 D n79_a_seiko_9r65_55->n79_a_seiko_9r65_56 n79_a_seiko_9r65_58 N n79_a_seiko_9r65_55->n79_a_seiko_9r65_58 n79_a_seiko_9r65_56->n79_a_seiko_9r65_57 n79_a_seiko_9r65_58->n79_a_seiko_9r65_59 n79_a_seiko_9r65_60->n79_a_seiko_9r65_61 
( (IP-MAT (SYM <white_circle>)
          (PP-SCON (P-CONN When;{when})
                   (IP-PPL3 (VAG;_cat_Vt_ starting;{start})
                            (IP-INF-CAT (TO to;{to})
                                        (VB;_Tn_ use;{use})
                                        (NP-OB1 (D a;{a})
                                                (ADJP (ADJ stopped;{stopped}))
                                                (N watch;{watch})))))
          (PUNC ,)
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ recommended;{recommend})
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ;{PURCHASER} (PRO you;{you}))
                                           (VBP;_Tn_ turn;{turn})
                                           (NP-OB1 (D the;{the})
                                                   (N crown;{crown}))
                                           (PP-SCON (IP-INF2 (TO to;{to})
                                                             (VB;_Tn_ wind;{wind})
                                                             (NP-OB1;{MAINSPRING} (D the;{the})
                                                                                  (N mainspring;{mainspring})))))))
          (PUNC .))
  (ID 79_a_seiko_9r65))