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).

fof(formula,axiom,
    ! [R_0079_0003__STARTING_R_0079_0004__TO_R_0079_0005__USE,R_0079_0007__STOPPED,R_0079_0006__A_R_0079_0008__WATCH,Z_000_79_A_SEIKO_9R65_7] :
      ( ( r_0079_0007__stopped(R_0079_0007__STOPPED)
        & z_000_79_a_seiko_9r65_7(Z_000_79_A_SEIKO_9R65_7)
        & r_0079_0003__starting_r_0079_0004__to_r_0079_0005__use(R_0079_0003__STARTING_R_0079_0004__TO_R_0079_0005__USE)
        & has_arg0(R_0079_0003__STARTING_R_0079_0004__TO_R_0079_0005__USE,Z_000_79_A_SEIKO_9R65_7)
        & has_arg1(R_0079_0003__STARTING_R_0079_0004__TO_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_attrib18(R_0079_0006__A_R_0079_0008__WATCH,R_0079_0007__STOPPED) )
     => ? [Z_000_79_A_SEIKO_9R65_31,R_0079_0014__YOU,R_0079_0016__THE_R_0079_0017__CROWN,R_0079_0013__THAT_R_0079_0015__TURN,R_0079_0020__THE_R_0079_0021__MAINSPRING,R_0079_0018__TO_R_0079_0019__WIND,Z_000_79_A_SEIKO_9R65_49,R_0079_0001___WHITE_CIRCLE__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_000_79_a_seiko_9r65_31(Z_000_79_A_SEIKO_9R65_31)
          & r_0079_0001___white_circle__r_0079_0011__is_r_0079_0012__recommended(R_0079_0001___WHITE_CIRCLE__R_0079_0011__IS_R_0079_0012__RECOMMENDED)
          & has_arg1(R_0079_0001___WHITE_CIRCLE__R_0079_0011__IS_R_0079_0012__RECOMMENDED,Z_000_79_A_SEIKO_9R65_49)
          & z_000_79_a_seiko_9r65_49(Z_000_79_A_SEIKO_9R65_49)
          & has_conj1(Z_000_79_A_SEIKO_9R65_49,R_0079_0018__TO_R_0079_0019__WIND)
          & r_0079_0018__to_r_0079_0019__wind(R_0079_0018__TO_R_0079_0019__WIND)
          & has_arg1(R_0079_0018__TO_R_0079_0019__WIND,R_0079_0020__THE_R_0079_0021__MAINSPRING)
          & has_arg0(R_0079_0018__TO_R_0079_0019__WIND,R_0079_0014__YOU)
          & has_conj2(Z_000_79_A_SEIKO_9R65_49,R_0079_0013__THAT_R_0079_0015__TURN)
          & r_0079_0013__that_r_0079_0015__turn(R_0079_0013__THAT_R_0079_0015__TURN)
          & has_arg1(R_0079_0013__THAT_R_0079_0015__TURN,R_0079_0016__THE_R_0079_0017__CROWN)
          & has_arg0(R_0079_0013__THAT_R_0079_0015__TURN,R_0079_0014__YOU)
          & has_arg0(R_0079_0001___WHITE_CIRCLE__R_0079_0011__IS_R_0079_0012__RECOMMENDED,Z_000_79_A_SEIKO_9R65_31) ) ) ).

( (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))