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_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound white circle  can be wound 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_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_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_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_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_r_0076_0005__be_r_0076_0007__wound [conj2] r_0076_0017__is_r_0076_0018__worn is worn r_0076_0015__while->r_0076_0017__is_r_0076_0018__worn [conj1] r_0076_0016__it it r_0076_0017__is_r_0076_0018__worn->r_0076_0016__it [arg1] 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] z_000_76_a_seiko_9r65_50 r_0076_0017__is_r_0076_0018__worn->z_000_76_a_seiko_9r65_50 [arg0] 
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_3 <white_circle> n76_a_seiko_9r65_6 The n76_a_seiko_9r65_8 mainspring n76_a_seiko_9r65_10 can n76_a_seiko_9r65_13 be n76_a_seiko_9r65_17 sufficiently n76_a_seiko_9r65_19 wound n76_a_seiko_9r65_22 automatically n76_a_seiko_9r65_25 by n76_a_seiko_9r65_29 natural n76_a_seiko_9r65_31 movement n76_a_seiko_9r65_34 of n76_a_seiko_9r65_37 the n76_a_seiko_9r65_39 arm n76_a_seiko_9r65_42 while n76_a_seiko_9r65_46 it n76_a_seiko_9r65_48 is n76_a_seiko_9r65_51 * n76_a_seiko_9r65_53 worn n76_a_seiko_9r65_56 on n76_a_seiko_9r65_59 the n76_a_seiko_9r65_61 wrist n76_a_seiko_9r65_63 . n76_a_seiko_9r65_1 IP-MAT n76_a_seiko_9r65_2 SYM n76_a_seiko_9r65_1->n76_a_seiko_9r65_2 n76_a_seiko_9r65_4 NP-SBJ n76_a_seiko_9r65_1->n76_a_seiko_9r65_4 n76_a_seiko_9r65_9 MD;_cat_Vi_ n76_a_seiko_9r65_1->n76_a_seiko_9r65_9 n76_a_seiko_9r65_11 IP-INF-CAT n76_a_seiko_9r65_1->n76_a_seiko_9r65_11 n76_a_seiko_9r65_40 PP-SCON n76_a_seiko_9r65_1->n76_a_seiko_9r65_40 n76_a_seiko_9r65_62 PUNC n76_a_seiko_9r65_1->n76_a_seiko_9r65_62 n76_a_seiko_9r65_2->n76_a_seiko_9r65_3 n76_a_seiko_9r65_5 D n76_a_seiko_9r65_4->n76_a_seiko_9r65_5 n76_a_seiko_9r65_7 N n76_a_seiko_9r65_4->n76_a_seiko_9r65_7 n76_a_seiko_9r65_5->n76_a_seiko_9r65_6 n76_a_seiko_9r65_7->n76_a_seiko_9r65_8 n76_a_seiko_9r65_9->n76_a_seiko_9r65_10 n76_a_seiko_9r65_12 BE;_cat_VePASS_ n76_a_seiko_9r65_11->n76_a_seiko_9r65_12 n76_a_seiko_9r65_14 IP-PPL-CAT n76_a_seiko_9r65_11->n76_a_seiko_9r65_14 n76_a_seiko_9r65_12->n76_a_seiko_9r65_13 n76_a_seiko_9r65_15 ADVP-NIM n76_a_seiko_9r65_14->n76_a_seiko_9r65_15 n76_a_seiko_9r65_18 VVN;_Tn_ n76_a_seiko_9r65_14->n76_a_seiko_9r65_18 n76_a_seiko_9r65_20 ADVP-NIM n76_a_seiko_9r65_14->n76_a_seiko_9r65_20 n76_a_seiko_9r65_23 PP-LGS n76_a_seiko_9r65_14->n76_a_seiko_9r65_23 n76_a_seiko_9r65_16 ADV n76_a_seiko_9r65_15->n76_a_seiko_9r65_16 n76_a_seiko_9r65_16->n76_a_seiko_9r65_17 n76_a_seiko_9r65_18->n76_a_seiko_9r65_19 n76_a_seiko_9r65_21 ADV n76_a_seiko_9r65_20->n76_a_seiko_9r65_21 n76_a_seiko_9r65_21->n76_a_seiko_9r65_22 n76_a_seiko_9r65_24 P-ROLE;_lgs_ n76_a_seiko_9r65_23->n76_a_seiko_9r65_24 n76_a_seiko_9r65_26 NP n76_a_seiko_9r65_23->n76_a_seiko_9r65_26 n76_a_seiko_9r65_24->n76_a_seiko_9r65_25 n76_a_seiko_9r65_27 ADJP n76_a_seiko_9r65_26->n76_a_seiko_9r65_27 n76_a_seiko_9r65_30 N n76_a_seiko_9r65_26->n76_a_seiko_9r65_30 n76_a_seiko_9r65_32 PP n76_a_seiko_9r65_26->n76_a_seiko_9r65_32 n76_a_seiko_9r65_28 ADJ n76_a_seiko_9r65_27->n76_a_seiko_9r65_28 n76_a_seiko_9r65_28->n76_a_seiko_9r65_29 n76_a_seiko_9r65_30->n76_a_seiko_9r65_31 n76_a_seiko_9r65_33 P-ROLE n76_a_seiko_9r65_32->n76_a_seiko_9r65_33 n76_a_seiko_9r65_35 NP n76_a_seiko_9r65_32->n76_a_seiko_9r65_35 n76_a_seiko_9r65_33->n76_a_seiko_9r65_34 n76_a_seiko_9r65_36 D n76_a_seiko_9r65_35->n76_a_seiko_9r65_36 n76_a_seiko_9r65_38 N n76_a_seiko_9r65_35->n76_a_seiko_9r65_38 n76_a_seiko_9r65_36->n76_a_seiko_9r65_37 n76_a_seiko_9r65_38->n76_a_seiko_9r65_39 n76_a_seiko_9r65_41 P-CONN n76_a_seiko_9r65_40->n76_a_seiko_9r65_41 n76_a_seiko_9r65_43 IP-ADV n76_a_seiko_9r65_40->n76_a_seiko_9r65_43 n76_a_seiko_9r65_41->n76_a_seiko_9r65_42 n76_a_seiko_9r65_44 NP-SBJ n76_a_seiko_9r65_43->n76_a_seiko_9r65_44 n76_a_seiko_9r65_47 BEP;_cat_VePASS_ n76_a_seiko_9r65_43->n76_a_seiko_9r65_47 n76_a_seiko_9r65_49 IP-PPL-CAT n76_a_seiko_9r65_43->n76_a_seiko_9r65_49 n76_a_seiko_9r65_45 PRO n76_a_seiko_9r65_44->n76_a_seiko_9r65_45 n76_a_seiko_9r65_45->n76_a_seiko_9r65_46 n76_a_seiko_9r65_47->n76_a_seiko_9r65_48 n76_a_seiko_9r65_50 NP-LGS n76_a_seiko_9r65_49->n76_a_seiko_9r65_50 n76_a_seiko_9r65_52 VVN;_Tn.pr_ n76_a_seiko_9r65_49->n76_a_seiko_9r65_52 n76_a_seiko_9r65_54 PP-NIM n76_a_seiko_9r65_49->n76_a_seiko_9r65_54 n76_a_seiko_9r65_50->n76_a_seiko_9r65_51 n76_a_seiko_9r65_52->n76_a_seiko_9r65_53 n76_a_seiko_9r65_55 P-ROLE n76_a_seiko_9r65_54->n76_a_seiko_9r65_55 n76_a_seiko_9r65_57 NP n76_a_seiko_9r65_54->n76_a_seiko_9r65_57 n76_a_seiko_9r65_55->n76_a_seiko_9r65_56 n76_a_seiko_9r65_58 D n76_a_seiko_9r65_57->n76_a_seiko_9r65_58 n76_a_seiko_9r65_60 N n76_a_seiko_9r65_57->n76_a_seiko_9r65_60 n76_a_seiko_9r65_58->n76_a_seiko_9r65_59 n76_a_seiko_9r65_60->n76_a_seiko_9r65_61 n76_a_seiko_9r65_62->n76_a_seiko_9r65_63 
( (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))