Context                Previous, Next                Top


83_a_seiko_9r65
<white circle> If you wear the watch for twelve hours per day consecutively for three to five days, the watch will be fully wound.

%3 r_0083_0001___white_circle__r_0083_0021__will white circle  will r_0083_0022__be be r_0083_0001___white_circle__r_0083_0021__will->r_0083_0022__be [scope] r_0083_0024__wound wound r_0083_0022__be->r_0083_0024__wound [scope] r_0083_0002__If If r_0083_0002__If->r_0083_0001___white_circle__r_0083_0021__will [scope] r_0083_0004__wear wear r_0083_0002__If->r_0083_0004__wear [restriction] r_0083_0003__you you r_0083_0004__wear->r_0083_0003__you [arg0] r_0083_0005__the_r_0083_0006__watch the watch r_0083_0004__wear->r_0083_0005__the_r_0083_0006__watch [arg1] r_0083_0008__twelve_r_0083_0009__hours twelve hours r_0083_0004__wear->r_0083_0008__twelve_r_0083_0009__hours for [nim] r_0083_0012__consecutively consecutively r_0083_0004__wear->r_0083_0012__consecutively [nim] r_0083_0014__three_r_0083_0017__days three days r_0083_0004__wear->r_0083_0014__three_r_0083_0017__days for [nim] r_0083_0011__day day r_0083_0008__twelve_r_0083_0009__hours->r_0083_0011__day per r_0083_0016__five five r_0083_0014__three_r_0083_0017__days->r_0083_0016__five to r_0083_0019__the_r_0083_0020__watch the watch r_0083_0024__wound->r_0083_0019__the_r_0083_0020__watch [arg1] r_0083_0023__fully fully r_0083_0024__wound->r_0083_0023__fully [nim] z_000_83_a_seiko_9r65_62 r_0083_0024__wound->z_000_83_a_seiko_9r65_62 [arg0] 
arc(r_0083_0001___white_circle__r_0083_0021__will, r_0083_0022__be, scope).
arc(r_0083_0002__If, r_0083_0001___white_circle__r_0083_0021__will, scope).
arc(r_0083_0002__If, r_0083_0004__wear, restriction).
arc(r_0083_0004__wear, r_0083_0003__you, arg0).
arc(r_0083_0004__wear, r_0083_0005__the_r_0083_0006__watch, arg1).
arc(r_0083_0004__wear, r_0083_0008__twelve_r_0083_0009__hours, r_0083_0007__for_nim21).
arc(r_0083_0004__wear, r_0083_0012__consecutively, nim32).
arc(r_0083_0004__wear, r_0083_0014__three_r_0083_0017__days, r_0083_0013__for_nim38).
arc(r_0083_0008__twelve_r_0083_0009__hours, r_0083_0011__day, r_0083_0010__per).
arc(r_0083_0014__three_r_0083_0017__days, r_0083_0016__five, r_0083_0015__to).
arc(r_0083_0022__be, r_0083_0024__wound, scope).
arc(r_0083_0024__wound, r_0083_0019__the_r_0083_0020__watch, arg1).
arc(r_0083_0024__wound, r_0083_0023__fully, nim64).
arc(r_0083_0024__wound, z_000_83_a_seiko_9r65_62, arg0).


%3 r_0083_0001___white_circle__r_0083_0021__will_r_0083_0022__be_r_0083_0024__wound white circle  will be wound r_0083_0019__the_r_0083_0020__watch the watch r_0083_0001___white_circle__r_0083_0021__will_r_0083_0022__be_r_0083_0024__wound->r_0083_0019__the_r_0083_0020__watch [arg1] r_0083_0023__fully fully r_0083_0001___white_circle__r_0083_0021__will_r_0083_0022__be_r_0083_0024__wound->r_0083_0023__fully [nim] z_000_83_a_seiko_9r65_62 r_0083_0001___white_circle__r_0083_0021__will_r_0083_0022__be_r_0083_0024__wound->z_000_83_a_seiko_9r65_62 [arg0] r_0083_0002__If If r_0083_0002__If->r_0083_0001___white_circle__r_0083_0021__will_r_0083_0022__be_r_0083_0024__wound [scope] r_0083_0004__wear wear r_0083_0002__If->r_0083_0004__wear [restriction] r_0083_0003__you you r_0083_0004__wear->r_0083_0003__you [arg0] r_0083_0005__the_r_0083_0006__watch the watch r_0083_0004__wear->r_0083_0005__the_r_0083_0006__watch [arg1] r_0083_0008__twelve_r_0083_0009__hours twelve hours r_0083_0004__wear->r_0083_0008__twelve_r_0083_0009__hours for [nim] r_0083_0012__consecutively consecutively r_0083_0004__wear->r_0083_0012__consecutively [nim] r_0083_0014__three_r_0083_0017__days three days r_0083_0004__wear->r_0083_0014__three_r_0083_0017__days for [nim] r_0083_0011__day day r_0083_0008__twelve_r_0083_0009__hours->r_0083_0011__day per r_0083_0016__five five r_0083_0014__three_r_0083_0017__days->r_0083_0016__five to 
fof(formula,axiom,
    ! [R_83_4_WEAR,R_83_3_YOU,R_83_5_THE_WATCH,R_83_12_CONSECUTIVELY,R_83_8_TWELVE_HOURS,R_83_11_DAY,R_83_14_THREE_DAYS,R_83_16_FIVE] :
      ( ( you(R_83_3_YOU)
        & the_watch(R_83_5_THE_WATCH)
        & consecutively(R_83_12_CONSECUTIVELY)
        & day(R_83_11_DAY)
        & five(R_83_16_FIVE)
        & wear(R_83_4_WEAR,R_83_3_YOU,R_83_5_THE_WATCH)
        & nim32(R_83_4_WEAR,R_83_12_CONSECUTIVELY)
        & for_nim21(R_83_4_WEAR,R_83_8_TWELVE_HOURS)
        & twelve_hours(R_83_8_TWELVE_HOURS)
        & per(R_83_8_TWELVE_HOURS,R_83_11_DAY)
        & for_nim38(R_83_4_WEAR,R_83_14_THREE_DAYS)
        & three_days(R_83_14_THREE_DAYS)
        & to(R_83_14_THREE_DAYS,R_83_16_FIVE) )
     => ? [R_83_1__WHITE_CIRCLE_WILL_BE_WOUND,Z_83_A_SEIKO_9R65_62,R_83_19_THE_WATCH,R_83_23_FULLY] :
          ( the_watch(R_83_19_THE_WATCH)
          & fully(R_83_23_FULLY)
          & _white_circle_will_be_wound(R_83_1__WHITE_CIRCLE_WILL_BE_WOUND,Z_83_A_SEIKO_9R65_62,R_83_19_THE_WATCH)
          & nim64(R_83_1__WHITE_CIRCLE_WILL_BE_WOUND,R_83_23_FULLY) ) ) ).


n83_a_seiko_9r65 n83_a_seiko_9r65_3 <white_circle> n83_a_seiko_9r65_6 If n83_a_seiko_9r65_10 you n83_a_seiko_9r65_12 wear n83_a_seiko_9r65_15 the n83_a_seiko_9r65_17 watch n83_a_seiko_9r65_20 for n83_a_seiko_9r65_23 twelve n83_a_seiko_9r65_25 hours n83_a_seiko_9r65_28 per n83_a_seiko_9r65_31 day n83_a_seiko_9r65_34 consecutively n83_a_seiko_9r65_37 for n83_a_seiko_9r65_40 three n83_a_seiko_9r65_43 to n83_a_seiko_9r65_46 five n83_a_seiko_9r65_48 days n83_a_seiko_9r65_50 , n83_a_seiko_9r65_53 the n83_a_seiko_9r65_55 watch n83_a_seiko_9r65_57 will n83_a_seiko_9r65_60 be n83_a_seiko_9r65_63 * n83_a_seiko_9r65_66 fully n83_a_seiko_9r65_68 wound n83_a_seiko_9r65_70 . n83_a_seiko_9r65_1 IP-MAT n83_a_seiko_9r65_2 SYM n83_a_seiko_9r65_1->n83_a_seiko_9r65_2 n83_a_seiko_9r65_4 PP-SCON n83_a_seiko_9r65_1->n83_a_seiko_9r65_4 n83_a_seiko_9r65_49 PUNC n83_a_seiko_9r65_1->n83_a_seiko_9r65_49 n83_a_seiko_9r65_51 NP-SBJ n83_a_seiko_9r65_1->n83_a_seiko_9r65_51 n83_a_seiko_9r65_56 MD;_cat_Vi_ n83_a_seiko_9r65_1->n83_a_seiko_9r65_56 n83_a_seiko_9r65_58 IP-INF-CAT n83_a_seiko_9r65_1->n83_a_seiko_9r65_58 n83_a_seiko_9r65_69 PUNC n83_a_seiko_9r65_1->n83_a_seiko_9r65_69 n83_a_seiko_9r65_2->n83_a_seiko_9r65_3 n83_a_seiko_9r65_5 P-CONN n83_a_seiko_9r65_4->n83_a_seiko_9r65_5 n83_a_seiko_9r65_7 IP-ADV n83_a_seiko_9r65_4->n83_a_seiko_9r65_7 n83_a_seiko_9r65_5->n83_a_seiko_9r65_6 n83_a_seiko_9r65_8 NP-SBJ n83_a_seiko_9r65_7->n83_a_seiko_9r65_8 n83_a_seiko_9r65_11 VBP;_Tn_ n83_a_seiko_9r65_7->n83_a_seiko_9r65_11 n83_a_seiko_9r65_13 NP-OB1 n83_a_seiko_9r65_7->n83_a_seiko_9r65_13 n83_a_seiko_9r65_18 PP-NIM n83_a_seiko_9r65_7->n83_a_seiko_9r65_18 n83_a_seiko_9r65_32 ADVP-NIM n83_a_seiko_9r65_7->n83_a_seiko_9r65_32 n83_a_seiko_9r65_35 PP-NIM n83_a_seiko_9r65_7->n83_a_seiko_9r65_35 n83_a_seiko_9r65_9 PRO n83_a_seiko_9r65_8->n83_a_seiko_9r65_9 n83_a_seiko_9r65_9->n83_a_seiko_9r65_10 n83_a_seiko_9r65_11->n83_a_seiko_9r65_12 n83_a_seiko_9r65_14 D n83_a_seiko_9r65_13->n83_a_seiko_9r65_14 n83_a_seiko_9r65_16 N n83_a_seiko_9r65_13->n83_a_seiko_9r65_16 n83_a_seiko_9r65_14->n83_a_seiko_9r65_15 n83_a_seiko_9r65_16->n83_a_seiko_9r65_17 n83_a_seiko_9r65_19 P-ROLE n83_a_seiko_9r65_18->n83_a_seiko_9r65_19 n83_a_seiko_9r65_21 NP n83_a_seiko_9r65_18->n83_a_seiko_9r65_21 n83_a_seiko_9r65_19->n83_a_seiko_9r65_20 n83_a_seiko_9r65_22 NUM n83_a_seiko_9r65_21->n83_a_seiko_9r65_22 n83_a_seiko_9r65_24 NS n83_a_seiko_9r65_21->n83_a_seiko_9r65_24 n83_a_seiko_9r65_26 PP n83_a_seiko_9r65_21->n83_a_seiko_9r65_26 n83_a_seiko_9r65_22->n83_a_seiko_9r65_23 n83_a_seiko_9r65_24->n83_a_seiko_9r65_25 n83_a_seiko_9r65_27 P-ROLE n83_a_seiko_9r65_26->n83_a_seiko_9r65_27 n83_a_seiko_9r65_29 NP n83_a_seiko_9r65_26->n83_a_seiko_9r65_29 n83_a_seiko_9r65_27->n83_a_seiko_9r65_28 n83_a_seiko_9r65_30 N n83_a_seiko_9r65_29->n83_a_seiko_9r65_30 n83_a_seiko_9r65_30->n83_a_seiko_9r65_31 n83_a_seiko_9r65_33 ADV n83_a_seiko_9r65_32->n83_a_seiko_9r65_33 n83_a_seiko_9r65_33->n83_a_seiko_9r65_34 n83_a_seiko_9r65_36 P-ROLE n83_a_seiko_9r65_35->n83_a_seiko_9r65_36 n83_a_seiko_9r65_38 NP n83_a_seiko_9r65_35->n83_a_seiko_9r65_38 n83_a_seiko_9r65_36->n83_a_seiko_9r65_37 n83_a_seiko_9r65_39 NUM n83_a_seiko_9r65_38->n83_a_seiko_9r65_39 n83_a_seiko_9r65_41 PP n83_a_seiko_9r65_38->n83_a_seiko_9r65_41 n83_a_seiko_9r65_47 NS n83_a_seiko_9r65_38->n83_a_seiko_9r65_47 n83_a_seiko_9r65_39->n83_a_seiko_9r65_40 n83_a_seiko_9r65_42 P-ROLE n83_a_seiko_9r65_41->n83_a_seiko_9r65_42 n83_a_seiko_9r65_44 NP n83_a_seiko_9r65_41->n83_a_seiko_9r65_44 n83_a_seiko_9r65_42->n83_a_seiko_9r65_43 n83_a_seiko_9r65_45 NUM n83_a_seiko_9r65_44->n83_a_seiko_9r65_45 n83_a_seiko_9r65_45->n83_a_seiko_9r65_46 n83_a_seiko_9r65_47->n83_a_seiko_9r65_48 n83_a_seiko_9r65_49->n83_a_seiko_9r65_50 n83_a_seiko_9r65_52 D n83_a_seiko_9r65_51->n83_a_seiko_9r65_52 n83_a_seiko_9r65_54 N n83_a_seiko_9r65_51->n83_a_seiko_9r65_54 n83_a_seiko_9r65_52->n83_a_seiko_9r65_53 n83_a_seiko_9r65_54->n83_a_seiko_9r65_55 n83_a_seiko_9r65_56->n83_a_seiko_9r65_57 n83_a_seiko_9r65_59 BE;_cat_VePASS_ n83_a_seiko_9r65_58->n83_a_seiko_9r65_59 n83_a_seiko_9r65_61 IP-PPL-CAT n83_a_seiko_9r65_58->n83_a_seiko_9r65_61 n83_a_seiko_9r65_59->n83_a_seiko_9r65_60 n83_a_seiko_9r65_62 NP-LGS n83_a_seiko_9r65_61->n83_a_seiko_9r65_62 n83_a_seiko_9r65_64 ADVP-NIM n83_a_seiko_9r65_61->n83_a_seiko_9r65_64 n83_a_seiko_9r65_67 VVN;_Tn_ n83_a_seiko_9r65_61->n83_a_seiko_9r65_67 n83_a_seiko_9r65_62->n83_a_seiko_9r65_63 n83_a_seiko_9r65_65 ADV n83_a_seiko_9r65_64->n83_a_seiko_9r65_65 n83_a_seiko_9r65_65->n83_a_seiko_9r65_66 n83_a_seiko_9r65_67->n83_a_seiko_9r65_68 n83_a_seiko_9r65_69->n83_a_seiko_9r65_70 
( (IP-MAT (SYM <white_circle>)
          (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Tn_ wear;{wear})
                           (NP-OB1;{WATCH} (D the;{the})
                                           (N watch;{watch}))
                           (PP-NIM (P-ROLE for;{for})
                                   (NP (NUM twelve;{twelve})
                                       (NS hours;{hour})
                                       (PP (P-ROLE per;{per})
                                           (NP (N day;{day})))))
                           (ADVP-NIM (ADV consecutively;{consecutively}))
                           (PP-NIM (P-ROLE for;{for})
                                   (NP (NUM three;{three})
                                       (PP (P-ROLE to;{to})
                                           (NP (NUM five;{five})))
                                       (NS days;{day})))))
          (PUNC ,)
          (NP-SBJ;{WATCH} (D the;{the})
                          (N watch;{watch}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (ADVP-NIM (ADV fully;{fully}))
                                  (VVN;_Tn_ wound;{wind})))
          (PUNC .))
  (ID 83_a_seiko_9r65))