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.
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).
fof(formula,axiom,
? [R_0076_0002__THE_R_0076_0003__MAINSPRING,R_0076_0006__SUFFICIENTLY,R_0076_0008__AUTOMATICALLY,R_0076_0010__NATURAL,R_0076_0013__THE_R_0076_0014__ARM,R_0076_0011__MOVEMENT,R_0076_0001___WHITE_CIRCLE__R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0016__IT,R_0076_0020__THE_R_0076_0021__WRIST,Z_000_76_A_SEIKO_9R65_50,R_0076_0017__IS_R_0076_0018__WORN,R_0076_0015__WHILE] :
( r_0076_0002__The_r_0076_0003__mainspring(R_0076_0002__THE_R_0076_0003__MAINSPRING)
& r_0076_0006__sufficiently(R_0076_0006__SUFFICIENTLY)
& r_0076_0008__automatically(R_0076_0008__AUTOMATICALLY)
& r_0076_0010__natural(R_0076_0010__NATURAL)
& r_0076_0013__the_r_0076_0014__arm(R_0076_0013__THE_R_0076_0014__ARM)
& r_0076_0016__it(R_0076_0016__IT)
& r_0076_0020__the_r_0076_0021__wrist(R_0076_0020__THE_R_0076_0021__WRIST)
& z_000_76_a_seiko_9r65_50(Z_000_76_A_SEIKO_9R65_50)
& r_0076_0015__while(R_0076_0015__WHILE)
& has_conj1(R_0076_0015__WHILE,R_0076_0017__IS_R_0076_0018__WORN)
& r_0076_0017__is_r_0076_0018__worn(R_0076_0017__IS_R_0076_0018__WORN)
& has_arg0(R_0076_0017__IS_R_0076_0018__WORN,Z_000_76_A_SEIKO_9R65_50)
& has_r_0076_0019__on_nim57(R_0076_0017__IS_R_0076_0018__WORN,R_0076_0020__THE_R_0076_0021__WRIST)
& has_arg1(R_0076_0017__IS_R_0076_0018__WORN,R_0076_0016__IT)
& has_conj2(R_0076_0015__WHILE,R_0076_0001___WHITE_CIRCLE__R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND)
& r_0076_0001___white_circle__r_0076_0004__can_r_0076_0005__be_r_0076_0007__wound(R_0076_0001___WHITE_CIRCLE__R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND)
& has_arg0(R_0076_0001___WHITE_CIRCLE__R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0011__MOVEMENT)
& r_0076_0011__movement(R_0076_0011__MOVEMENT)
& has_r_0076_0012__of(R_0076_0011__MOVEMENT,R_0076_0013__THE_R_0076_0014__ARM)
& has_attrib27(R_0076_0011__MOVEMENT,R_0076_0010__NATURAL)
& has_nim20(R_0076_0001___WHITE_CIRCLE__R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0008__AUTOMATICALLY)
& has_nim15(R_0076_0001___WHITE_CIRCLE__R_0076_0004__CAN_R_0076_0005__BE_R_0076_0007__WOUND,R_0076_0006__SUFFICIENTLY)
& has_arg1(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) ) ).
( (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))