Context                Previous, Next                Top


94_a_seiko_9r65
<white circle> When your watch is inspected and adjusted by disassembly and cleaning (overhauled), the movement of your watch may be replaced.

%3 r_0094_0001___white_circle__r_0094_0022__may white circle  may r_0094_0023__be be r_0094_0001___white_circle__r_0094_0022__may->r_0094_0023__be [scope] r_0094_0024__replaced replaced r_0094_0023__be->r_0094_0024__replaced [scope] r_0094_0002__When When r_0094_0002__When->r_0094_0001___white_circle__r_0094_0022__may [scope] r_0094_0005__is is r_0094_0002__When->r_0094_0005__is [restriction] r_0094_0007__and and r_0094_0005__is->r_0094_0007__and [scope] r_0094_0004__watch watch r_0094_0003__your your r_0094_0004__watch->r_0094_0003__your [gen] r_0094_0006__inspected inspected r_0094_0007__and->r_0094_0006__inspected [conj1] r_0094_0008__adjusted adjusted r_0094_0007__and->r_0094_0008__adjusted [conj2] r_0094_0006__inspected->r_0094_0004__watch [arg1] r_0094_0011__and and r_0094_0006__inspected->r_0094_0011__and by [nim] z_000_94_a_seiko_9r65_19 r_0094_0006__inspected->z_000_94_a_seiko_9r65_19 [arg0] r_0094_0010__disassembly disassembly r_0094_0011__and->r_0094_0010__disassembly [conj1] r_0094_0012__cleaning cleaning r_0094_0011__and->r_0094_0012__cleaning [conj2] r_0094_0008__adjusted->r_0094_0004__watch [arg1] r_0094_0008__adjusted->r_0094_0011__and by [nim] z_000_94_a_seiko_9r65_27 r_0094_0008__adjusted->z_000_94_a_seiko_9r65_27 [arg0] r_0094_0014__overhauled overhauled r_0094_0014__overhauled->r_0094_0011__and [arg1] z_000_94_a_seiko_9r65_48 r_0094_0014__overhauled->z_000_94_a_seiko_9r65_48 [arg0] r_0094_0017__the_r_0094_0018__movement the movement r_0094_0021__watch watch r_0094_0017__the_r_0094_0018__movement->r_0094_0021__watch of r_0094_0021__watch->r_0094_0003__your [gen] r_0094_0024__replaced->r_0094_0017__the_r_0094_0018__movement [arg1] z_000_94_a_seiko_9r65_76 r_0094_0024__replaced->z_000_94_a_seiko_9r65_76 [arg0] 
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).


%3 r_0094_0001___white_circle__r_0094_0022__may_r_0094_0023__be_r_0094_0024__replaced white circle  may be replaced r_0094_0017__the_r_0094_0018__movement the movement 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 [arg1] 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 [arg0] r_0094_0021__watch watch r_0094_0017__the_r_0094_0018__movement->r_0094_0021__watch of r_0094_0002__When When r_0094_0002__When->r_0094_0001___white_circle__r_0094_0022__may_r_0094_0023__be_r_0094_0024__replaced [scope] r_0094_0005__is is r_0094_0002__When->r_0094_0005__is [restriction] r_0094_0007__and and r_0094_0005__is->r_0094_0007__and [keep_scope] r_0094_0004__watch watch r_0094_0003__your your r_0094_0004__watch->r_0094_0003__your [gen] r_0094_0006__inspected inspected r_0094_0007__and->r_0094_0006__inspected [conj1] r_0094_0008__adjusted adjusted r_0094_0007__and->r_0094_0008__adjusted [conj2] r_0094_0006__inspected->r_0094_0004__watch [arg1] r_0094_0011__and and r_0094_0006__inspected->r_0094_0011__and by [nim] z_000_94_a_seiko_9r65_19 r_0094_0006__inspected->z_000_94_a_seiko_9r65_19 [arg0] r_0094_0010__disassembly disassembly r_0094_0011__and->r_0094_0010__disassembly [conj1] r_0094_0012__cleaning cleaning r_0094_0011__and->r_0094_0012__cleaning [conj2] r_0094_0008__adjusted->r_0094_0004__watch [arg1] r_0094_0008__adjusted->r_0094_0011__and by [nim] z_000_94_a_seiko_9r65_27 r_0094_0008__adjusted->z_000_94_a_seiko_9r65_27 [arg0] r_0094_0014__overhauled overhauled r_0094_0014__overhauled->r_0094_0011__and [arg1] z_000_94_a_seiko_9r65_48 r_0094_0014__overhauled->z_000_94_a_seiko_9r65_48 [arg0] r_0094_0021__watch->r_0094_0003__your [gen] 
fof(formula,axiom,
    ? [R_94_14_OVERHAULED,Z_94_A_SEIKO_9R65_48,R_94_11_AND,R_94_10_DISASSEMBLY,R_94_12_CLEANING] :
      ( disassembly(R_94_10_DISASSEMBLY)
      & cleaning(R_94_12_CLEANING)
      & ( ~ ? [R_94_7_AND,R_94_6_INSPECTED,Z_94_A_SEIKO_9R65_19,R_94_8_ADJUSTED,Z_94_A_SEIKO_9R65_27,R_94_4_WATCH,R_94_3_YOUR] :
              ( your(R_94_3_YOUR)
              & and(R_94_7_AND)
              & conj1(R_94_7_AND,R_94_6_INSPECTED)
              & inspected(R_94_6_INSPECTED,Z_94_A_SEIKO_9R65_19,R_94_4_WATCH)
              & watch(R_94_4_WATCH)
              & gen(R_94_4_WATCH,R_94_3_YOUR)
              & by_nim34(R_94_6_INSPECTED,R_94_11_AND)
              & conj2(R_94_7_AND,R_94_8_ADJUSTED)
              & adjusted(R_94_8_ADJUSTED,Z_94_A_SEIKO_9R65_27,R_94_4_WATCH)
              & by_nim34(R_94_8_ADJUSTED,R_94_11_AND) )
       => ? [R_94_1__WHITE_CIRCLE_MAY_BE_REPLACED,Z_94_A_SEIKO_9R65_76,R_94_17_THE_MOVEMENT,R_94_21_WATCH,R_94_3_YOUR] :
            ( your(R_94_3_YOUR)
            & _white_circle_may_be_replaced(R_94_1__WHITE_CIRCLE_MAY_BE_REPLACED,Z_94_A_SEIKO_9R65_76,R_94_17_THE_MOVEMENT)
            & the_movement(R_94_17_THE_MOVEMENT)
            & of(R_94_17_THE_MOVEMENT,R_94_21_WATCH)
            & watch(R_94_21_WATCH)
            & gen(R_94_21_WATCH,R_94_3_YOUR) ) )
      & overhauled(R_94_14_OVERHAULED,Z_94_A_SEIKO_9R65_48,R_94_11_AND)
      & and(R_94_11_AND)
      & conj1(R_94_11_AND,R_94_10_DISASSEMBLY)
      & conj2(R_94_11_AND,R_94_12_CLEANING) ) ).


n94_a_seiko_9r65 n94_a_seiko_9r65_3 <white_circle> n94_a_seiko_9r65_6 When n94_a_seiko_9r65_11 your n94_a_seiko_9r65_13 watch n94_a_seiko_9r65_15 is n94_a_seiko_9r65_20 * n94_a_seiko_9r65_22 inspected n94_a_seiko_9r65_25 and n94_a_seiko_9r65_28 * n94_a_seiko_9r65_30 adjusted n94_a_seiko_9r65_33 by n94_a_seiko_9r65_38 disassembly n94_a_seiko_9r65_41 and n94_a_seiko_9r65_44 cleaning n94_a_seiko_9r65_46 -LRB- n94_a_seiko_9r65_49 * n94_a_seiko_9r65_51 overhauled n94_a_seiko_9r65_53 -RRB- n94_a_seiko_9r65_55 , n94_a_seiko_9r65_58 the n94_a_seiko_9r65_60 movement n94_a_seiko_9r65_63 of n94_a_seiko_9r65_67 your n94_a_seiko_9r65_69 watch n94_a_seiko_9r65_71 may n94_a_seiko_9r65_74 be n94_a_seiko_9r65_77 * n94_a_seiko_9r65_79 replaced n94_a_seiko_9r65_81 . n94_a_seiko_9r65_1 IP-MAT n94_a_seiko_9r65_2 SYM n94_a_seiko_9r65_1->n94_a_seiko_9r65_2 n94_a_seiko_9r65_4 PP-SCON n94_a_seiko_9r65_1->n94_a_seiko_9r65_4 n94_a_seiko_9r65_54 PUNC n94_a_seiko_9r65_1->n94_a_seiko_9r65_54 n94_a_seiko_9r65_56 NP-SBJ n94_a_seiko_9r65_1->n94_a_seiko_9r65_56 n94_a_seiko_9r65_70 MD;_cat_Vi_ n94_a_seiko_9r65_1->n94_a_seiko_9r65_70 n94_a_seiko_9r65_72 IP-INF-CAT n94_a_seiko_9r65_1->n94_a_seiko_9r65_72 n94_a_seiko_9r65_80 PUNC n94_a_seiko_9r65_1->n94_a_seiko_9r65_80 n94_a_seiko_9r65_2->n94_a_seiko_9r65_3 n94_a_seiko_9r65_5 P-CONN n94_a_seiko_9r65_4->n94_a_seiko_9r65_5 n94_a_seiko_9r65_7 IP-ADV n94_a_seiko_9r65_4->n94_a_seiko_9r65_7 n94_a_seiko_9r65_5->n94_a_seiko_9r65_6 n94_a_seiko_9r65_8 NP-SBJ n94_a_seiko_9r65_7->n94_a_seiko_9r65_8 n94_a_seiko_9r65_14 BEP;_cat_VePASS_ n94_a_seiko_9r65_7->n94_a_seiko_9r65_14 n94_a_seiko_9r65_16 IP-PPL-CAT n94_a_seiko_9r65_7->n94_a_seiko_9r65_16 n94_a_seiko_9r65_9 NP-GEN n94_a_seiko_9r65_8->n94_a_seiko_9r65_9 n94_a_seiko_9r65_12 N n94_a_seiko_9r65_8->n94_a_seiko_9r65_12 n94_a_seiko_9r65_10 PRO;_genm_ n94_a_seiko_9r65_9->n94_a_seiko_9r65_10 n94_a_seiko_9r65_10->n94_a_seiko_9r65_11 n94_a_seiko_9r65_12->n94_a_seiko_9r65_13 n94_a_seiko_9r65_14->n94_a_seiko_9r65_15 n94_a_seiko_9r65_17 ILYR n94_a_seiko_9r65_16->n94_a_seiko_9r65_17 n94_a_seiko_9r65_31 PP-NIM n94_a_seiko_9r65_16->n94_a_seiko_9r65_31 n94_a_seiko_9r65_18 ILYR n94_a_seiko_9r65_17->n94_a_seiko_9r65_18 n94_a_seiko_9r65_23 CONJP n94_a_seiko_9r65_17->n94_a_seiko_9r65_23 n94_a_seiko_9r65_19 NP-LGS n94_a_seiko_9r65_18->n94_a_seiko_9r65_19 n94_a_seiko_9r65_21 VVN;_Tn_ n94_a_seiko_9r65_18->n94_a_seiko_9r65_21 n94_a_seiko_9r65_19->n94_a_seiko_9r65_20 n94_a_seiko_9r65_21->n94_a_seiko_9r65_22 n94_a_seiko_9r65_24 CONJ n94_a_seiko_9r65_23->n94_a_seiko_9r65_24 n94_a_seiko_9r65_26 ILYR n94_a_seiko_9r65_23->n94_a_seiko_9r65_26 n94_a_seiko_9r65_24->n94_a_seiko_9r65_25 n94_a_seiko_9r65_27 NP-LGS n94_a_seiko_9r65_26->n94_a_seiko_9r65_27 n94_a_seiko_9r65_29 VVN;_Tn_ n94_a_seiko_9r65_26->n94_a_seiko_9r65_29 n94_a_seiko_9r65_27->n94_a_seiko_9r65_28 n94_a_seiko_9r65_29->n94_a_seiko_9r65_30 n94_a_seiko_9r65_32 P-ROLE n94_a_seiko_9r65_31->n94_a_seiko_9r65_32 n94_a_seiko_9r65_34 NP n94_a_seiko_9r65_31->n94_a_seiko_9r65_34 n94_a_seiko_9r65_32->n94_a_seiko_9r65_33 n94_a_seiko_9r65_35 NLYR n94_a_seiko_9r65_34->n94_a_seiko_9r65_35 n94_a_seiko_9r65_45 PULB n94_a_seiko_9r65_34->n94_a_seiko_9r65_45 n94_a_seiko_9r65_47 IP-PPL n94_a_seiko_9r65_34->n94_a_seiko_9r65_47 n94_a_seiko_9r65_52 PURB n94_a_seiko_9r65_34->n94_a_seiko_9r65_52 n94_a_seiko_9r65_36 NLYR n94_a_seiko_9r65_35->n94_a_seiko_9r65_36 n94_a_seiko_9r65_39 CONJP n94_a_seiko_9r65_35->n94_a_seiko_9r65_39 n94_a_seiko_9r65_37 N n94_a_seiko_9r65_36->n94_a_seiko_9r65_37 n94_a_seiko_9r65_37->n94_a_seiko_9r65_38 n94_a_seiko_9r65_40 CONJ n94_a_seiko_9r65_39->n94_a_seiko_9r65_40 n94_a_seiko_9r65_42 NLYR n94_a_seiko_9r65_39->n94_a_seiko_9r65_42 n94_a_seiko_9r65_40->n94_a_seiko_9r65_41 n94_a_seiko_9r65_43 N n94_a_seiko_9r65_42->n94_a_seiko_9r65_43 n94_a_seiko_9r65_43->n94_a_seiko_9r65_44 n94_a_seiko_9r65_45->n94_a_seiko_9r65_46 n94_a_seiko_9r65_48 NP-LGS n94_a_seiko_9r65_47->n94_a_seiko_9r65_48 n94_a_seiko_9r65_50 VVN;_Tn_ n94_a_seiko_9r65_47->n94_a_seiko_9r65_50 n94_a_seiko_9r65_48->n94_a_seiko_9r65_49 n94_a_seiko_9r65_50->n94_a_seiko_9r65_51 n94_a_seiko_9r65_52->n94_a_seiko_9r65_53 n94_a_seiko_9r65_54->n94_a_seiko_9r65_55 n94_a_seiko_9r65_57 D n94_a_seiko_9r65_56->n94_a_seiko_9r65_57 n94_a_seiko_9r65_59 N n94_a_seiko_9r65_56->n94_a_seiko_9r65_59 n94_a_seiko_9r65_61 PP n94_a_seiko_9r65_56->n94_a_seiko_9r65_61 n94_a_seiko_9r65_57->n94_a_seiko_9r65_58 n94_a_seiko_9r65_59->n94_a_seiko_9r65_60 n94_a_seiko_9r65_62 P-ROLE n94_a_seiko_9r65_61->n94_a_seiko_9r65_62 n94_a_seiko_9r65_64 NP n94_a_seiko_9r65_61->n94_a_seiko_9r65_64 n94_a_seiko_9r65_62->n94_a_seiko_9r65_63 n94_a_seiko_9r65_65 NP-GEN n94_a_seiko_9r65_64->n94_a_seiko_9r65_65 n94_a_seiko_9r65_68 N n94_a_seiko_9r65_64->n94_a_seiko_9r65_68 n94_a_seiko_9r65_66 PRO;_genm_ n94_a_seiko_9r65_65->n94_a_seiko_9r65_66 n94_a_seiko_9r65_66->n94_a_seiko_9r65_67 n94_a_seiko_9r65_68->n94_a_seiko_9r65_69 n94_a_seiko_9r65_70->n94_a_seiko_9r65_71 n94_a_seiko_9r65_73 BE;_cat_VePASS_ n94_a_seiko_9r65_72->n94_a_seiko_9r65_73 n94_a_seiko_9r65_75 IP-PPL-CAT n94_a_seiko_9r65_72->n94_a_seiko_9r65_75 n94_a_seiko_9r65_73->n94_a_seiko_9r65_74 n94_a_seiko_9r65_76 NP-LGS n94_a_seiko_9r65_75->n94_a_seiko_9r65_76 n94_a_seiko_9r65_78 VVN;_Tn_ n94_a_seiko_9r65_75->n94_a_seiko_9r65_78 n94_a_seiko_9r65_76->n94_a_seiko_9r65_77 n94_a_seiko_9r65_78->n94_a_seiko_9r65_79 n94_a_seiko_9r65_80->n94_a_seiko_9r65_81 
( (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))