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.
( (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))
arc(r_0079_0002__When,r_0079_0003__starting,restriction).
arc(r_0079_0002__When,r_0079_0011__is,scope).
arc(r_0079_0003__starting,r_0079_0005__use,scope).
arc(r_0079_0005__use,r_0079_0006__a_r_0079_0008__watch,arg1).
arc(r_0079_0005__use,z_0079_5003,arg0).
arc(r_0079_0006__a_r_0079_0008__watch,r_0079_0007__stopped,attrib).
arc(r_0079_0011__is,r_0079_0012__recommended,scope).
arc(r_0079_0012__recommended,z_0079_5013,arg1).
arc(r_0079_0012__recommended,z_0079_5018___star_,arg0).
arc(r_0079_0015__turn,r_0079_0014__you,arg0).
arc(r_0079_0015__turn,r_0079_0016__the_r_0079_0017__crown,arg1).
arc(r_0079_0019__wind,r_0079_0014__you,arg0).
arc(r_0079_0019__wind,r_0079_0020__the_r_0079_0021__mainspring,arg1).
arc(z_0079_5013,r_0079_0015__turn,scope).
arc(z_0079_5013,r_0079_0019__wind,restriction).
fof(formula,axiom,
! [R_0079_0003__STARTING_R_0079_0005__USE,R_0079_0007__STOPPED,R_0079_0006__A_R_0079_0008__WATCH,Z_0079_5003] :
( ( r_0079_0007__stopped(R_0079_0007__STOPPED)
& z_0079_5003(Z_0079_5003)
& r_0079_0003__starting_r_0079_0005__use(R_0079_0003__STARTING_R_0079_0005__USE)
& has_arg0(R_0079_0003__STARTING_R_0079_0005__USE,Z_0079_5003)
& has_arg1(R_0079_0003__STARTING_R_0079_0005__USE,R_0079_0006__A_R_0079_0008__WATCH)
& r_0079_0006__a_r_0079_0008__watch(R_0079_0006__A_R_0079_0008__WATCH)
& has_attrib(R_0079_0006__A_R_0079_0008__WATCH,R_0079_0007__STOPPED) )
=> ? [R_0079_0014__YOU,R_0079_0016__THE_R_0079_0017__CROWN,R_0079_0015__TURN,R_0079_0020__THE_R_0079_0021__MAINSPRING,R_0079_0019__WIND,Z_0079_5013,Z_0079_5018___STAR_,R_0079_0011__IS_R_0079_0012__RECOMMENDED] :
( r_0079_0014__you(R_0079_0014__YOU)
& r_0079_0016__the_r_0079_0017__crown(R_0079_0016__THE_R_0079_0017__CROWN)
& r_0079_0020__the_r_0079_0021__mainspring(R_0079_0020__THE_R_0079_0021__MAINSPRING)
& z_0079_5018___star_(Z_0079_5018___STAR_)
& r_0079_0011__is_r_0079_0012__recommended(R_0079_0011__IS_R_0079_0012__RECOMMENDED)
& has_arg0(R_0079_0011__IS_R_0079_0012__RECOMMENDED,Z_0079_5018___STAR_)
& has_arg1(R_0079_0011__IS_R_0079_0012__RECOMMENDED,Z_0079_5013)
& z_0079_5013(Z_0079_5013)
& has_conj1(Z_0079_5013,R_0079_0019__WIND)
& r_0079_0019__wind(R_0079_0019__WIND)
& has_arg1(R_0079_0019__WIND,R_0079_0020__THE_R_0079_0021__MAINSPRING)
& has_arg0(R_0079_0019__WIND,R_0079_0014__YOU)
& has_conj2(Z_0079_5013,R_0079_0015__TURN)
& r_0079_0015__turn(R_0079_0015__TURN)
& has_arg1(R_0079_0015__TURN,R_0079_0016__THE_R_0079_0017__CROWN)
& has_arg0(R_0079_0015__TURN,R_0079_0014__YOU) ) ) ).