arc(r_0094_0001___white_circle__r_0094_0022__may, r_0094_0023__be, scope).
arc(r_0094_0002__When, r_0094_0001___white_circle__r_0094_0022__may, scope).
arc(r_0094_0002__When, r_0094_0005__is, restriction).
arc(r_0094_0004__watch, r_0094_0003__your, gen).
arc(r_0094_0005__is, r_0094_0007__and, scope).
arc(r_0094_0006__inspected, r_0094_0004__watch, arg1).
arc(r_0094_0006__inspected, r_0094_0011__and, r_0094_0009__by_nim34).
arc(r_0094_0006__inspected, z_000_94_a_seiko_9r65_19, arg0).
arc(r_0094_0007__and, r_0094_0006__inspected, conj1).
arc(r_0094_0007__and, r_0094_0008__adjusted, conj2).
arc(r_0094_0008__adjusted, r_0094_0004__watch, arg1).
arc(r_0094_0008__adjusted, r_0094_0011__and, r_0094_0009__by_nim34).
arc(r_0094_0008__adjusted, z_000_94_a_seiko_9r65_27, arg0).
arc(r_0094_0011__and, r_0094_0010__disassembly, conj1).
arc(r_0094_0011__and, r_0094_0012__cleaning, conj2).
arc(r_0094_0014__overhauled, r_0094_0011__and, arg1).
arc(r_0094_0014__overhauled, z_000_94_a_seiko_9r65_48, arg0).
arc(r_0094_0017__the_r_0094_0018__movement, r_0094_0021__watch, r_0094_0019__of).
arc(r_0094_0021__watch, r_0094_0003__your, gen).
arc(r_0094_0023__be, r_0094_0024__replaced, scope).
arc(r_0094_0024__replaced, r_0094_0017__the_r_0094_0018__movement, arg1).
arc(r_0094_0024__replaced, z_000_94_a_seiko_9r65_76, arg0).

fof(formula,axiom,
    ? [R_0094_0010__DISASSEMBLY,R_0094_0012__CLEANING,R_0094_0011__AND,Z_000_94_A_SEIKO_9R65_48,R_0094_0014__OVERHAULED] :
      ( r_0094_0010__disassembly(R_0094_0010__DISASSEMBLY)
      & r_0094_0012__cleaning(R_0094_0012__CLEANING)
      & z_000_94_a_seiko_9r65_48(Z_000_94_A_SEIKO_9R65_48)
      & r_0094_0014__overhauled(R_0094_0014__OVERHAULED)
      & has_arg0(R_0094_0014__OVERHAULED,Z_000_94_A_SEIKO_9R65_48)
      & has_arg1(R_0094_0014__OVERHAULED,R_0094_0011__AND)
      & r_0094_0011__and(R_0094_0011__AND)
      & has_conj2(R_0094_0011__AND,R_0094_0012__CLEANING)
      & has_conj1(R_0094_0011__AND,R_0094_0010__DISASSEMBLY)
      & ! [R_0094_0005__IS,R_0094_0003__YOUR,R_0094_0004__WATCH,Z_000_94_A_SEIKO_9R65_19,R_0094_0006__INSPECTED,Z_000_94_A_SEIKO_9R65_27,R_0094_0008__ADJUSTED,R_0094_0007__AND] :
          ( ( r_0094_0003__your(R_0094_0003__YOUR)
            & z_000_94_a_seiko_9r65_19(Z_000_94_A_SEIKO_9R65_19)
            & z_000_94_a_seiko_9r65_27(Z_000_94_A_SEIKO_9R65_27)
            & r_0094_0005__is(R_0094_0005__IS)
            & has_keep_scope(R_0094_0005__IS,R_0094_0007__AND)
            & r_0094_0007__and(R_0094_0007__AND)
            & has_conj2(R_0094_0007__AND,R_0094_0008__ADJUSTED)
            & r_0094_0008__adjusted(R_0094_0008__ADJUSTED)
            & has_arg0(R_0094_0008__ADJUSTED,Z_000_94_A_SEIKO_9R65_27)
            & has_r_0094_0009__by_nim34(R_0094_0008__ADJUSTED,R_0094_0011__AND)
            & has_arg1(R_0094_0008__ADJUSTED,R_0094_0004__WATCH)
            & r_0094_0004__watch(R_0094_0004__WATCH)
            & has_gen(R_0094_0004__WATCH,R_0094_0003__YOUR)
            & has_conj1(R_0094_0007__AND,R_0094_0006__INSPECTED)
            & r_0094_0006__inspected(R_0094_0006__INSPECTED)
            & has_arg0(R_0094_0006__INSPECTED,Z_000_94_A_SEIKO_9R65_19)
            & has_r_0094_0009__by_nim34(R_0094_0006__INSPECTED,R_0094_0011__AND)
            & has_arg1(R_0094_0006__INSPECTED,R_0094_0004__WATCH) )
         => ? [R_0094_0021__WATCH,R_0094_0017__THE_R_0094_0018__MOVEMENT,Z_000_94_A_SEIKO_9R65_76,R_0094_0001___WHITE_CIRCLE__R_0094_0022__MAY_R_0094_0023__BE_R_0094_0024__REPLACED] :
              ( z_000_94_a_seiko_9r65_76(Z_000_94_A_SEIKO_9R65_76)
              & r_0094_0001___white_circle__r_0094_0022__may_r_0094_0023__be_r_0094_0024__replaced(R_0094_0001___WHITE_CIRCLE__R_0094_0022__MAY_R_0094_0023__BE_R_0094_0024__REPLACED)
              & has_arg0(R_0094_0001___WHITE_CIRCLE__R_0094_0022__MAY_R_0094_0023__BE_R_0094_0024__REPLACED,Z_000_94_A_SEIKO_9R65_76)
              & has_arg1(R_0094_0001___WHITE_CIRCLE__R_0094_0022__MAY_R_0094_0023__BE_R_0094_0024__REPLACED,R_0094_0017__THE_R_0094_0018__MOVEMENT)
              & r_0094_0017__the_r_0094_0018__movement(R_0094_0017__THE_R_0094_0018__MOVEMENT)
              & has_r_0094_0019__of(R_0094_0017__THE_R_0094_0018__MOVEMENT,R_0094_0021__WATCH)
              & r_0094_0021__watch(R_0094_0021__WATCH)
              & has_gen(R_0094_0021__WATCH,R_0094_0003__YOUR) ) ) ) ).

( (IP-MAT (SYM <white_circle>)
          (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
                                   (N watch;{watch}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                   (VVN;_Tn_ inspected;{inspect}))
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (NP-LGS *)
                                                          (VVN;_Tn_ adjusted;{adjust}))))
                                       (PP-NIM (P-ROLE by;{by})
                                               (NP (NLYR (NLYR (N disassembly;{disassembly}))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (N cleaning;{cleaning}))))
                                                   (PULB -LRB-)
                                                   (IP-PPL (NP-LGS *)
                                                           (VVN;_Tn_ overhauled;{overhaul}))
                                                   (PURB -RRB-))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N movement;{movement})
                  (PP (P-ROLE of;{of})
                      (NP (NP-GEN (PRO;_genm_ your;{your}))
                          (N watch;{watch}))))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ replaced;{replace})))
          (PUNC .))
  (ID 94_a_seiko_9r65))