Context                Previous, Next                Top


76_a_seiko_9r65
<white circle> The mainspring can be sufficiently wound automatically by natural movement of the arm while it is worn on the wrist.

%3 r_0076_0001___white_circle__r_0076_0004__can white circle  can r_0076_0005__be be r_0076_0001___white_circle__r_0076_0004__can->r_0076_0005__be [scope] r_0076_0007__wound wound r_0076_0005__be->r_0076_0007__wound [scope] r_0076_0002__The_r_0076_0003__mainspring The mainspring r_0076_0007__wound->r_0076_0002__The_r_0076_0003__mainspring [arg1] r_0076_0006__sufficiently sufficiently r_0076_0007__wound->r_0076_0006__sufficiently [nim] r_0076_0008__automatically automatically r_0076_0007__wound->r_0076_0008__automatically [nim] r_0076_0011__movement movement r_0076_0007__wound->r_0076_0011__movement [arg0] r_0076_0010__natural natural r_0076_0011__movement->r_0076_0010__natural [attrib] r_0076_0013__the_r_0076_0014__arm the arm r_0076_0011__movement->r_0076_0013__the_r_0076_0014__arm of r_0076_0015__while while r_0076_0015__while->r_0076_0001___white_circle__r_0076_0004__can [scope] r_0076_0017__is is r_0076_0015__while->r_0076_0017__is [restriction] r_0076_0018__worn worn r_0076_0017__is->r_0076_0018__worn [scope] r_0076_0016__it it r_0076_0018__worn->r_0076_0016__it [arg1] r_0076_0020__the_r_0076_0021__wrist the wrist r_0076_0018__worn->r_0076_0020__the_r_0076_0021__wrist on [nim] z_000_76_a_seiko_9r65_50 r_0076_0018__worn->z_000_76_a_seiko_9r65_50 [arg0] 
arc(r_0076_0001___white_circle__r_0076_0004__can, r_0076_0005__be, scope).
arc(r_0076_0005__be, r_0076_0007__wound, scope).
arc(r_0076_0007__wound, r_0076_0002__The_r_0076_0003__mainspring, arg1).
arc(r_0076_0007__wound, r_0076_0006__sufficiently, nim15).
arc(r_0076_0007__wound, r_0076_0008__automatically, nim20).
arc(r_0076_0007__wound, r_0076_0011__movement, arg0).
arc(r_0076_0011__movement, r_0076_0010__natural, attrib27).
arc(r_0076_0011__movement, r_0076_0013__the_r_0076_0014__arm, r_0076_0012__of).
arc(r_0076_0015__while, r_0076_0001___white_circle__r_0076_0004__can, scope).
arc(r_0076_0015__while, r_0076_0017__is, restriction).
arc(r_0076_0017__is, r_0076_0018__worn, scope).
arc(r_0076_0018__worn, r_0076_0016__it, arg1).
arc(r_0076_0018__worn, r_0076_0020__the_r_0076_0021__wrist, r_0076_0019__on_nim57).
arc(r_0076_0018__worn, z_000_76_a_seiko_9r65_50, arg0).


%3 r_0076_0017__is_r_0076_0018__worn is worn z_000_76_a_seiko_9r65_50 r_0076_0017__is_r_0076_0018__worn->z_000_76_a_seiko_9r65_50 [arg0] r_0076_0020__the_r_0076_0021__wrist the wrist r_0076_0017__is_r_0076_0018__worn->r_0076_0020__the_r_0076_0021__wrist on [nim] r_0076_0016__it it r_0076_0017__is_r_0076_0018__worn->r_0076_0016__it [arg1] r_0076_0015__while while r_0076_0015__while->r_0076_0017__is_r_0076_0018__worn [conj1] r_0076_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound white circle  can be wound r_0076_0015__while->r_0076_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound [conj2] r_0076_0011__movement movement r_0076_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound->r_0076_0011__movement [arg0] r_0076_0008__automatically automatically r_0076_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound->r_0076_0008__automatically [nim] r_0076_0006__sufficiently sufficiently r_0076_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound->r_0076_0006__sufficiently [nim] r_0076_0002__The_r_0076_0003__mainspring The mainspring r_0076_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound->r_0076_0002__The_r_0076_0003__mainspring [arg1] r_0076_0013__the_r_0076_0014__arm the arm r_0076_0011__movement->r_0076_0013__the_r_0076_0014__arm of r_0076_0010__natural natural r_0076_0011__movement->r_0076_0010__natural [attrib] 
fof(formula,axiom,
    ? [R_76_15_WHILE,R_76_17_IS_WORN,Z_76_A_SEIKO_9R65_50,R_76_16_IT,R_76_20_THE_WRIST,R_76_1__WHITE_CIRCLE_CAN_BE_WOUND,R_76_11_MOVEMENT,R_76_10_NATURAL,R_76_13_THE_ARM,R_76_2_THE_MAINSPRING,R_76_6_SUFFICIENTLY,R_76_8_AUTOMATICALLY] :
      ( it(R_76_16_IT)
      & the_wrist(R_76_20_THE_WRIST)
      & natural(R_76_10_NATURAL)
      & the_arm(R_76_13_THE_ARM)
      & the_mainspring(R_76_2_THE_MAINSPRING)
      & sufficiently(R_76_6_SUFFICIENTLY)
      & automatically(R_76_8_AUTOMATICALLY)
      & while(R_76_15_WHILE)
      & conj1(R_76_15_WHILE,R_76_17_IS_WORN)
      & is_worn(R_76_17_IS_WORN,Z_76_A_SEIKO_9R65_50,R_76_16_IT)
      & on_nim57(R_76_17_IS_WORN,R_76_20_THE_WRIST)
      & conj2(R_76_15_WHILE,R_76_1__WHITE_CIRCLE_CAN_BE_WOUND)
      & _white_circle_can_be_wound(R_76_1__WHITE_CIRCLE_CAN_BE_WOUND,R_76_11_MOVEMENT,R_76_2_THE_MAINSPRING)
      & movement(R_76_11_MOVEMENT)
      & attrib27(R_76_11_MOVEMENT,R_76_10_NATURAL)
      & of(R_76_11_MOVEMENT,R_76_13_THE_ARM)
      & nim15(R_76_1__WHITE_CIRCLE_CAN_BE_WOUND,R_76_6_SUFFICIENTLY)
      & nim20(R_76_1__WHITE_CIRCLE_CAN_BE_WOUND,R_76_8_AUTOMATICALLY) ) ).


n76_a_seiko_9r65 n76_a_seiko_9r65__1_1_1 <white_circle> n76_a_seiko_9r65__1_2_1_1 The n76_a_seiko_9r65__1_2_2_1 mainspring n76_a_seiko_9r65__1_3_1 can n76_a_seiko_9r65__1_4_1_1 be n76_a_seiko_9r65__1_4_2_1_1_1 sufficiently n76_a_seiko_9r65__1_4_2_2_1 wound n76_a_seiko_9r65__1_4_2_3_1_1 automatically n76_a_seiko_9r65__1_4_2_4_1_1 by n76_a_seiko_9r65__1_4_2_4_2_1_1_1 natural n76_a_seiko_9r65__1_4_2_4_2_2_1 movement n76_a_seiko_9r65__1_4_2_4_2_3_1_1 of n76_a_seiko_9r65__1_4_2_4_2_3_2_1_1 the n76_a_seiko_9r65__1_4_2_4_2_3_2_2_1 arm n76_a_seiko_9r65__1_5_1_1 while n76_a_seiko_9r65__1_5_2_1_1_1 it n76_a_seiko_9r65__1_5_2_2_1 is n76_a_seiko_9r65__1_5_2_3_1_1 * n76_a_seiko_9r65__1_5_2_3_2_1 worn n76_a_seiko_9r65__1_5_2_3_3_1_1 on n76_a_seiko_9r65__1_5_2_3_3_2_1_1 the n76_a_seiko_9r65__1_5_2_3_3_2_2_1 wrist n76_a_seiko_9r65__1_6_1 . n76_a_seiko_9r65__1 IP-MAT n76_a_seiko_9r65__1_1 SYM n76_a_seiko_9r65__1->n76_a_seiko_9r65__1_1 n76_a_seiko_9r65__1_2 NP-SBJ n76_a_seiko_9r65__1->n76_a_seiko_9r65__1_2 n76_a_seiko_9r65__1_3 MD;_cat_Vi_ n76_a_seiko_9r65__1->n76_a_seiko_9r65__1_3 n76_a_seiko_9r65__1_4 IP-INF-CAT n76_a_seiko_9r65__1->n76_a_seiko_9r65__1_4 n76_a_seiko_9r65__1_5 PP-SCON n76_a_seiko_9r65__1->n76_a_seiko_9r65__1_5 n76_a_seiko_9r65__1_6 PUNC n76_a_seiko_9r65__1->n76_a_seiko_9r65__1_6 n76_a_seiko_9r65__1_1->n76_a_seiko_9r65__1_1_1 n76_a_seiko_9r65__1_2_1 D n76_a_seiko_9r65__1_2->n76_a_seiko_9r65__1_2_1 n76_a_seiko_9r65__1_2_2 N n76_a_seiko_9r65__1_2->n76_a_seiko_9r65__1_2_2 n76_a_seiko_9r65__1_2_1->n76_a_seiko_9r65__1_2_1_1 n76_a_seiko_9r65__1_2_2->n76_a_seiko_9r65__1_2_2_1 n76_a_seiko_9r65__1_3->n76_a_seiko_9r65__1_3_1 n76_a_seiko_9r65__1_4_1 BE;_cat_VePASS_ n76_a_seiko_9r65__1_4->n76_a_seiko_9r65__1_4_1 n76_a_seiko_9r65__1_4_2 IP-PPL-CAT n76_a_seiko_9r65__1_4->n76_a_seiko_9r65__1_4_2 n76_a_seiko_9r65__1_4_1->n76_a_seiko_9r65__1_4_1_1 n76_a_seiko_9r65__1_4_2_1 ADVP-NIM n76_a_seiko_9r65__1_4_2->n76_a_seiko_9r65__1_4_2_1 n76_a_seiko_9r65__1_4_2_2 VVN;_Tn_ n76_a_seiko_9r65__1_4_2->n76_a_seiko_9r65__1_4_2_2 n76_a_seiko_9r65__1_4_2_3 ADVP-NIM n76_a_seiko_9r65__1_4_2->n76_a_seiko_9r65__1_4_2_3 n76_a_seiko_9r65__1_4_2_4 PP-LGS n76_a_seiko_9r65__1_4_2->n76_a_seiko_9r65__1_4_2_4 n76_a_seiko_9r65__1_4_2_1_1 ADV n76_a_seiko_9r65__1_4_2_1->n76_a_seiko_9r65__1_4_2_1_1 n76_a_seiko_9r65__1_4_2_1_1->n76_a_seiko_9r65__1_4_2_1_1_1 n76_a_seiko_9r65__1_4_2_2->n76_a_seiko_9r65__1_4_2_2_1 n76_a_seiko_9r65__1_4_2_3_1 ADV n76_a_seiko_9r65__1_4_2_3->n76_a_seiko_9r65__1_4_2_3_1 n76_a_seiko_9r65__1_4_2_3_1->n76_a_seiko_9r65__1_4_2_3_1_1 n76_a_seiko_9r65__1_4_2_4_1 P-ROLE;_lgs_ n76_a_seiko_9r65__1_4_2_4->n76_a_seiko_9r65__1_4_2_4_1 n76_a_seiko_9r65__1_4_2_4_2 NP n76_a_seiko_9r65__1_4_2_4->n76_a_seiko_9r65__1_4_2_4_2 n76_a_seiko_9r65__1_4_2_4_1->n76_a_seiko_9r65__1_4_2_4_1_1 n76_a_seiko_9r65__1_4_2_4_2_1 ADJP n76_a_seiko_9r65__1_4_2_4_2->n76_a_seiko_9r65__1_4_2_4_2_1 n76_a_seiko_9r65__1_4_2_4_2_2 N n76_a_seiko_9r65__1_4_2_4_2->n76_a_seiko_9r65__1_4_2_4_2_2 n76_a_seiko_9r65__1_4_2_4_2_3 PP n76_a_seiko_9r65__1_4_2_4_2->n76_a_seiko_9r65__1_4_2_4_2_3 n76_a_seiko_9r65__1_4_2_4_2_1_1 ADJ n76_a_seiko_9r65__1_4_2_4_2_1->n76_a_seiko_9r65__1_4_2_4_2_1_1 n76_a_seiko_9r65__1_4_2_4_2_1_1->n76_a_seiko_9r65__1_4_2_4_2_1_1_1 n76_a_seiko_9r65__1_4_2_4_2_2->n76_a_seiko_9r65__1_4_2_4_2_2_1 n76_a_seiko_9r65__1_4_2_4_2_3_1 P-ROLE n76_a_seiko_9r65__1_4_2_4_2_3->n76_a_seiko_9r65__1_4_2_4_2_3_1 n76_a_seiko_9r65__1_4_2_4_2_3_2 NP n76_a_seiko_9r65__1_4_2_4_2_3->n76_a_seiko_9r65__1_4_2_4_2_3_2 n76_a_seiko_9r65__1_4_2_4_2_3_1->n76_a_seiko_9r65__1_4_2_4_2_3_1_1 n76_a_seiko_9r65__1_4_2_4_2_3_2_1 D n76_a_seiko_9r65__1_4_2_4_2_3_2->n76_a_seiko_9r65__1_4_2_4_2_3_2_1 n76_a_seiko_9r65__1_4_2_4_2_3_2_2 N n76_a_seiko_9r65__1_4_2_4_2_3_2->n76_a_seiko_9r65__1_4_2_4_2_3_2_2 n76_a_seiko_9r65__1_4_2_4_2_3_2_1->n76_a_seiko_9r65__1_4_2_4_2_3_2_1_1 n76_a_seiko_9r65__1_4_2_4_2_3_2_2->n76_a_seiko_9r65__1_4_2_4_2_3_2_2_1 n76_a_seiko_9r65__1_5_1 P-CONN n76_a_seiko_9r65__1_5->n76_a_seiko_9r65__1_5_1 n76_a_seiko_9r65__1_5_2 IP-ADV n76_a_seiko_9r65__1_5->n76_a_seiko_9r65__1_5_2 n76_a_seiko_9r65__1_5_1->n76_a_seiko_9r65__1_5_1_1 n76_a_seiko_9r65__1_5_2_1 NP-SBJ n76_a_seiko_9r65__1_5_2->n76_a_seiko_9r65__1_5_2_1 n76_a_seiko_9r65__1_5_2_2 BEP;_cat_VePASS_ n76_a_seiko_9r65__1_5_2->n76_a_seiko_9r65__1_5_2_2 n76_a_seiko_9r65__1_5_2_3 IP-PPL-CAT n76_a_seiko_9r65__1_5_2->n76_a_seiko_9r65__1_5_2_3 n76_a_seiko_9r65__1_5_2_1_1 PRO n76_a_seiko_9r65__1_5_2_1->n76_a_seiko_9r65__1_5_2_1_1 n76_a_seiko_9r65__1_5_2_1_1->n76_a_seiko_9r65__1_5_2_1_1_1 n76_a_seiko_9r65__1_5_2_2->n76_a_seiko_9r65__1_5_2_2_1 n76_a_seiko_9r65__1_5_2_3_1 NP-LGS n76_a_seiko_9r65__1_5_2_3->n76_a_seiko_9r65__1_5_2_3_1 n76_a_seiko_9r65__1_5_2_3_2 VVN;_Tn.pr_ n76_a_seiko_9r65__1_5_2_3->n76_a_seiko_9r65__1_5_2_3_2 n76_a_seiko_9r65__1_5_2_3_3 PP-NIM n76_a_seiko_9r65__1_5_2_3->n76_a_seiko_9r65__1_5_2_3_3 n76_a_seiko_9r65__1_5_2_3_1->n76_a_seiko_9r65__1_5_2_3_1_1 n76_a_seiko_9r65__1_5_2_3_2->n76_a_seiko_9r65__1_5_2_3_2_1 n76_a_seiko_9r65__1_5_2_3_3_1 P-ROLE n76_a_seiko_9r65__1_5_2_3_3->n76_a_seiko_9r65__1_5_2_3_3_1 n76_a_seiko_9r65__1_5_2_3_3_2 NP n76_a_seiko_9r65__1_5_2_3_3->n76_a_seiko_9r65__1_5_2_3_3_2 n76_a_seiko_9r65__1_5_2_3_3_1->n76_a_seiko_9r65__1_5_2_3_3_1_1 n76_a_seiko_9r65__1_5_2_3_3_2_1 D n76_a_seiko_9r65__1_5_2_3_3_2->n76_a_seiko_9r65__1_5_2_3_3_2_1 n76_a_seiko_9r65__1_5_2_3_3_2_2 N n76_a_seiko_9r65__1_5_2_3_3_2->n76_a_seiko_9r65__1_5_2_3_3_2_2 n76_a_seiko_9r65__1_5_2_3_3_2_1->n76_a_seiko_9r65__1_5_2_3_3_2_1_1 n76_a_seiko_9r65__1_5_2_3_3_2_2->n76_a_seiko_9r65__1_5_2_3_3_2_2_1 n76_a_seiko_9r65__1_6->n76_a_seiko_9r65__1_6_1 
( (IP-MAT (SYM <white_circle>)
          (NP-SBJ;{MAINSPRING} (D The;{the})
                               (N mainspring;{mainspring}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (ADVP-NIM (ADV sufficiently;{sufficiently}))
                                  (VVN;_Tn_ wound;{wind})
                                  (ADVP-NIM (ADV automatically;{automatically}))
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (ADJP (ADJ natural;{natural}))
                                              (N movement;{movement})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D the;{the})
                                                      (N arm;{arm})))))))
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ;{WATCH} (PRO it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn.pr_ worn;{wear})
                                       (PP-NIM (P-ROLE on;{on})
                                               (NP (D the;{the})
                                                   (N wrist;{wrist}))))))
          (PUNC .))
  (ID 76_a_seiko_9r65))