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 z_000_79_a_seiko_9r65_49 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_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_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] r_0079_0014__you you r_0079_0018__to_r_0079_0019__wind->r_0079_0014__you [arg0] 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_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended white circle  is recommended r_0079_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended->z_000_79_a_seiko_9r65_49 [arg1] 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] r_0079_0006__a_r_0079_0008__watch a watch r_0079_0007__stopped stopped r_0079_0006__a_r_0079_0008__watch->r_0079_0007__stopped [attrib] r_0079_0003__starting_r_0079_0004__to_r_0079_0005__use starting to use 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_0002__When When r_0079_0002__When->r_0079_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended [scope] r_0079_0002__When->r_0079_0003__starting_r_0079_0004__to_r_0079_0005__use [restriction] 
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__1_1_1 <white_circle> n79_a_seiko_9r65__1_2_1_1 When n79_a_seiko_9r65__1_2_2_1_1 starting n79_a_seiko_9r65__1_2_2_2_1_1 to n79_a_seiko_9r65__1_2_2_2_2_1 use n79_a_seiko_9r65__1_2_2_2_3_1_1 a n79_a_seiko_9r65__1_2_2_2_3_2_1_1 stopped n79_a_seiko_9r65__1_2_2_2_3_3_1 watch n79_a_seiko_9r65__1_3_1 , n79_a_seiko_9r65__1_4_1_1 it n79_a_seiko_9r65__1_5_1 is n79_a_seiko_9r65__1_6_1_1 * n79_a_seiko_9r65__1_6_2_1 recommended n79_a_seiko_9r65__1_6_3_1_1_1 that n79_a_seiko_9r65__1_6_3_1_2_1_1 you n79_a_seiko_9r65__1_6_3_1_3_1 turn n79_a_seiko_9r65__1_6_3_1_4_1_1 the n79_a_seiko_9r65__1_6_3_1_4_2_1 crown n79_a_seiko_9r65__1_6_3_1_5_1_1_1 to n79_a_seiko_9r65__1_6_3_1_5_1_2_1 wind n79_a_seiko_9r65__1_6_3_1_5_1_3_1_1 the n79_a_seiko_9r65__1_6_3_1_5_1_3_2_1 mainspring n79_a_seiko_9r65__1_7_1 . n79_a_seiko_9r65__1 IP-MAT n79_a_seiko_9r65__1_1 SYM n79_a_seiko_9r65__1->n79_a_seiko_9r65__1_1 n79_a_seiko_9r65__1_2 PP-SCON n79_a_seiko_9r65__1->n79_a_seiko_9r65__1_2 n79_a_seiko_9r65__1_3 PUNC n79_a_seiko_9r65__1->n79_a_seiko_9r65__1_3 n79_a_seiko_9r65__1_4 NP-SBJ n79_a_seiko_9r65__1->n79_a_seiko_9r65__1_4 n79_a_seiko_9r65__1_5 BEP;_cat_VePASS_ n79_a_seiko_9r65__1->n79_a_seiko_9r65__1_5 n79_a_seiko_9r65__1_6 IP-PPL-CAT n79_a_seiko_9r65__1->n79_a_seiko_9r65__1_6 n79_a_seiko_9r65__1_7 PUNC n79_a_seiko_9r65__1->n79_a_seiko_9r65__1_7 n79_a_seiko_9r65__1_1->n79_a_seiko_9r65__1_1_1 n79_a_seiko_9r65__1_2_1 P-CONN n79_a_seiko_9r65__1_2->n79_a_seiko_9r65__1_2_1 n79_a_seiko_9r65__1_2_2 IP-PPL3 n79_a_seiko_9r65__1_2->n79_a_seiko_9r65__1_2_2 n79_a_seiko_9r65__1_2_1->n79_a_seiko_9r65__1_2_1_1 n79_a_seiko_9r65__1_2_2_1 VAG;_cat_Vt_ n79_a_seiko_9r65__1_2_2->n79_a_seiko_9r65__1_2_2_1 n79_a_seiko_9r65__1_2_2_2 IP-INF-CAT n79_a_seiko_9r65__1_2_2->n79_a_seiko_9r65__1_2_2_2 n79_a_seiko_9r65__1_2_2_1->n79_a_seiko_9r65__1_2_2_1_1 n79_a_seiko_9r65__1_2_2_2_1 TO n79_a_seiko_9r65__1_2_2_2->n79_a_seiko_9r65__1_2_2_2_1 n79_a_seiko_9r65__1_2_2_2_2 VB;_Tn_ n79_a_seiko_9r65__1_2_2_2->n79_a_seiko_9r65__1_2_2_2_2 n79_a_seiko_9r65__1_2_2_2_3 NP-OB1 n79_a_seiko_9r65__1_2_2_2->n79_a_seiko_9r65__1_2_2_2_3 n79_a_seiko_9r65__1_2_2_2_1->n79_a_seiko_9r65__1_2_2_2_1_1 n79_a_seiko_9r65__1_2_2_2_2->n79_a_seiko_9r65__1_2_2_2_2_1 n79_a_seiko_9r65__1_2_2_2_3_1 D n79_a_seiko_9r65__1_2_2_2_3->n79_a_seiko_9r65__1_2_2_2_3_1 n79_a_seiko_9r65__1_2_2_2_3_2 ADJP n79_a_seiko_9r65__1_2_2_2_3->n79_a_seiko_9r65__1_2_2_2_3_2 n79_a_seiko_9r65__1_2_2_2_3_3 N n79_a_seiko_9r65__1_2_2_2_3->n79_a_seiko_9r65__1_2_2_2_3_3 n79_a_seiko_9r65__1_2_2_2_3_1->n79_a_seiko_9r65__1_2_2_2_3_1_1 n79_a_seiko_9r65__1_2_2_2_3_2_1 ADJ n79_a_seiko_9r65__1_2_2_2_3_2->n79_a_seiko_9r65__1_2_2_2_3_2_1 n79_a_seiko_9r65__1_2_2_2_3_2_1->n79_a_seiko_9r65__1_2_2_2_3_2_1_1 n79_a_seiko_9r65__1_2_2_2_3_3->n79_a_seiko_9r65__1_2_2_2_3_3_1 n79_a_seiko_9r65__1_3->n79_a_seiko_9r65__1_3_1 n79_a_seiko_9r65__1_4_1 PRO;_provisional_ n79_a_seiko_9r65__1_4->n79_a_seiko_9r65__1_4_1 n79_a_seiko_9r65__1_4_1->n79_a_seiko_9r65__1_4_1_1 n79_a_seiko_9r65__1_5->n79_a_seiko_9r65__1_5_1 n79_a_seiko_9r65__1_6_1 NP-LGS n79_a_seiko_9r65__1_6->n79_a_seiko_9r65__1_6_1 n79_a_seiko_9r65__1_6_2 VVN;_Tn_ n79_a_seiko_9r65__1_6->n79_a_seiko_9r65__1_6_2 n79_a_seiko_9r65__1_6_3 CP-THT-NSBJ n79_a_seiko_9r65__1_6->n79_a_seiko_9r65__1_6_3 n79_a_seiko_9r65__1_6_1->n79_a_seiko_9r65__1_6_1_1 n79_a_seiko_9r65__1_6_2->n79_a_seiko_9r65__1_6_2_1 n79_a_seiko_9r65__1_6_3_1 IP-SUB n79_a_seiko_9r65__1_6_3->n79_a_seiko_9r65__1_6_3_1 n79_a_seiko_9r65__1_6_3_1_1 C n79_a_seiko_9r65__1_6_3_1->n79_a_seiko_9r65__1_6_3_1_1 n79_a_seiko_9r65__1_6_3_1_2 NP-SBJ n79_a_seiko_9r65__1_6_3_1->n79_a_seiko_9r65__1_6_3_1_2 n79_a_seiko_9r65__1_6_3_1_3 VBP;_Tn_ n79_a_seiko_9r65__1_6_3_1->n79_a_seiko_9r65__1_6_3_1_3 n79_a_seiko_9r65__1_6_3_1_4 NP-OB1 n79_a_seiko_9r65__1_6_3_1->n79_a_seiko_9r65__1_6_3_1_4 n79_a_seiko_9r65__1_6_3_1_5 PP-SCON n79_a_seiko_9r65__1_6_3_1->n79_a_seiko_9r65__1_6_3_1_5 n79_a_seiko_9r65__1_6_3_1_1->n79_a_seiko_9r65__1_6_3_1_1_1 n79_a_seiko_9r65__1_6_3_1_2_1 PRO n79_a_seiko_9r65__1_6_3_1_2->n79_a_seiko_9r65__1_6_3_1_2_1 n79_a_seiko_9r65__1_6_3_1_2_1->n79_a_seiko_9r65__1_6_3_1_2_1_1 n79_a_seiko_9r65__1_6_3_1_3->n79_a_seiko_9r65__1_6_3_1_3_1 n79_a_seiko_9r65__1_6_3_1_4_1 D n79_a_seiko_9r65__1_6_3_1_4->n79_a_seiko_9r65__1_6_3_1_4_1 n79_a_seiko_9r65__1_6_3_1_4_2 N n79_a_seiko_9r65__1_6_3_1_4->n79_a_seiko_9r65__1_6_3_1_4_2 n79_a_seiko_9r65__1_6_3_1_4_1->n79_a_seiko_9r65__1_6_3_1_4_1_1 n79_a_seiko_9r65__1_6_3_1_4_2->n79_a_seiko_9r65__1_6_3_1_4_2_1 n79_a_seiko_9r65__1_6_3_1_5_1 IP-INF2 n79_a_seiko_9r65__1_6_3_1_5->n79_a_seiko_9r65__1_6_3_1_5_1 n79_a_seiko_9r65__1_6_3_1_5_1_1 TO n79_a_seiko_9r65__1_6_3_1_5_1->n79_a_seiko_9r65__1_6_3_1_5_1_1 n79_a_seiko_9r65__1_6_3_1_5_1_2 VB;_Tn_ n79_a_seiko_9r65__1_6_3_1_5_1->n79_a_seiko_9r65__1_6_3_1_5_1_2 n79_a_seiko_9r65__1_6_3_1_5_1_3 NP-OB1 n79_a_seiko_9r65__1_6_3_1_5_1->n79_a_seiko_9r65__1_6_3_1_5_1_3 n79_a_seiko_9r65__1_6_3_1_5_1_1->n79_a_seiko_9r65__1_6_3_1_5_1_1_1 n79_a_seiko_9r65__1_6_3_1_5_1_2->n79_a_seiko_9r65__1_6_3_1_5_1_2_1 n79_a_seiko_9r65__1_6_3_1_5_1_3_1 D n79_a_seiko_9r65__1_6_3_1_5_1_3->n79_a_seiko_9r65__1_6_3_1_5_1_3_1 n79_a_seiko_9r65__1_6_3_1_5_1_3_2 N n79_a_seiko_9r65__1_6_3_1_5_1_3->n79_a_seiko_9r65__1_6_3_1_5_1_3_2 n79_a_seiko_9r65__1_6_3_1_5_1_3_1->n79_a_seiko_9r65__1_6_3_1_5_1_3_1_1 n79_a_seiko_9r65__1_6_3_1_5_1_3_2->n79_a_seiko_9r65__1_6_3_1_5_1_3_2_1 n79_a_seiko_9r65__1_7->n79_a_seiko_9r65__1_7_1 
( (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))