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 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_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] 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_0014__three_r_0083_0017__days three days r_0083_0016__five five r_0083_0014__three_r_0083_0017__days->r_0083_0016__five to r_0083_0008__twelve_r_0083_0009__hours twelve hours r_0083_0011__day day r_0083_0008__twelve_r_0083_0009__hours->r_0083_0011__day per r_0083_0004__wear wear r_0083_0004__wear->r_0083_0014__three_r_0083_0017__days for [nim] 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_0005__the_r_0083_0006__watch the watch r_0083_0004__wear->r_0083_0005__the_r_0083_0006__watch [arg1] r_0083_0003__you you r_0083_0004__wear->r_0083_0003__you [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_0002__If->r_0083_0004__wear [restriction] 
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__1_1_1 <white_circle> n83_a_seiko_9r65__1_2_1_1 If n83_a_seiko_9r65__1_2_2_1_1_1 you n83_a_seiko_9r65__1_2_2_2_1 wear n83_a_seiko_9r65__1_2_2_3_1_1 the n83_a_seiko_9r65__1_2_2_3_2_1 watch n83_a_seiko_9r65__1_2_2_4_1_1 for n83_a_seiko_9r65__1_2_2_4_2_1_1 twelve n83_a_seiko_9r65__1_2_2_4_2_2_1 hours n83_a_seiko_9r65__1_2_2_4_2_3_1_1 per n83_a_seiko_9r65__1_2_2_4_2_3_2_1_1 day n83_a_seiko_9r65__1_2_2_5_1_1 consecutively n83_a_seiko_9r65__1_2_2_6_1_1 for n83_a_seiko_9r65__1_2_2_6_2_1_1 three n83_a_seiko_9r65__1_2_2_6_2_2_1_1 to n83_a_seiko_9r65__1_2_2_6_2_2_2_1_1 five n83_a_seiko_9r65__1_2_2_6_2_3_1 days n83_a_seiko_9r65__1_3_1 , n83_a_seiko_9r65__1_4_1_1 the n83_a_seiko_9r65__1_4_2_1 watch n83_a_seiko_9r65__1_5_1 will n83_a_seiko_9r65__1_6_1_1 be n83_a_seiko_9r65__1_6_2_1_1 * n83_a_seiko_9r65__1_6_2_2_1_1 fully n83_a_seiko_9r65__1_6_2_3_1 wound n83_a_seiko_9r65__1_7_1 . n83_a_seiko_9r65__1 IP-MAT n83_a_seiko_9r65__1_1 SYM n83_a_seiko_9r65__1->n83_a_seiko_9r65__1_1 n83_a_seiko_9r65__1_2 PP-SCON n83_a_seiko_9r65__1->n83_a_seiko_9r65__1_2 n83_a_seiko_9r65__1_3 PUNC n83_a_seiko_9r65__1->n83_a_seiko_9r65__1_3 n83_a_seiko_9r65__1_4 NP-SBJ n83_a_seiko_9r65__1->n83_a_seiko_9r65__1_4 n83_a_seiko_9r65__1_5 MD;_cat_Vi_ n83_a_seiko_9r65__1->n83_a_seiko_9r65__1_5 n83_a_seiko_9r65__1_6 IP-INF-CAT n83_a_seiko_9r65__1->n83_a_seiko_9r65__1_6 n83_a_seiko_9r65__1_7 PUNC n83_a_seiko_9r65__1->n83_a_seiko_9r65__1_7 n83_a_seiko_9r65__1_1->n83_a_seiko_9r65__1_1_1 n83_a_seiko_9r65__1_2_1 P-CONN n83_a_seiko_9r65__1_2->n83_a_seiko_9r65__1_2_1 n83_a_seiko_9r65__1_2_2 IP-ADV n83_a_seiko_9r65__1_2->n83_a_seiko_9r65__1_2_2 n83_a_seiko_9r65__1_2_1->n83_a_seiko_9r65__1_2_1_1 n83_a_seiko_9r65__1_2_2_1 NP-SBJ n83_a_seiko_9r65__1_2_2->n83_a_seiko_9r65__1_2_2_1 n83_a_seiko_9r65__1_2_2_2 VBP;_Tn_ n83_a_seiko_9r65__1_2_2->n83_a_seiko_9r65__1_2_2_2 n83_a_seiko_9r65__1_2_2_3 NP-OB1 n83_a_seiko_9r65__1_2_2->n83_a_seiko_9r65__1_2_2_3 n83_a_seiko_9r65__1_2_2_4 PP-NIM n83_a_seiko_9r65__1_2_2->n83_a_seiko_9r65__1_2_2_4 n83_a_seiko_9r65__1_2_2_5 ADVP-NIM n83_a_seiko_9r65__1_2_2->n83_a_seiko_9r65__1_2_2_5 n83_a_seiko_9r65__1_2_2_6 PP-NIM n83_a_seiko_9r65__1_2_2->n83_a_seiko_9r65__1_2_2_6 n83_a_seiko_9r65__1_2_2_1_1 PRO n83_a_seiko_9r65__1_2_2_1->n83_a_seiko_9r65__1_2_2_1_1 n83_a_seiko_9r65__1_2_2_1_1->n83_a_seiko_9r65__1_2_2_1_1_1 n83_a_seiko_9r65__1_2_2_2->n83_a_seiko_9r65__1_2_2_2_1 n83_a_seiko_9r65__1_2_2_3_1 D n83_a_seiko_9r65__1_2_2_3->n83_a_seiko_9r65__1_2_2_3_1 n83_a_seiko_9r65__1_2_2_3_2 N n83_a_seiko_9r65__1_2_2_3->n83_a_seiko_9r65__1_2_2_3_2 n83_a_seiko_9r65__1_2_2_3_1->n83_a_seiko_9r65__1_2_2_3_1_1 n83_a_seiko_9r65__1_2_2_3_2->n83_a_seiko_9r65__1_2_2_3_2_1 n83_a_seiko_9r65__1_2_2_4_1 P-ROLE n83_a_seiko_9r65__1_2_2_4->n83_a_seiko_9r65__1_2_2_4_1 n83_a_seiko_9r65__1_2_2_4_2 NP n83_a_seiko_9r65__1_2_2_4->n83_a_seiko_9r65__1_2_2_4_2 n83_a_seiko_9r65__1_2_2_4_1->n83_a_seiko_9r65__1_2_2_4_1_1 n83_a_seiko_9r65__1_2_2_4_2_1 NUM n83_a_seiko_9r65__1_2_2_4_2->n83_a_seiko_9r65__1_2_2_4_2_1 n83_a_seiko_9r65__1_2_2_4_2_2 NS n83_a_seiko_9r65__1_2_2_4_2->n83_a_seiko_9r65__1_2_2_4_2_2 n83_a_seiko_9r65__1_2_2_4_2_3 PP n83_a_seiko_9r65__1_2_2_4_2->n83_a_seiko_9r65__1_2_2_4_2_3 n83_a_seiko_9r65__1_2_2_4_2_1->n83_a_seiko_9r65__1_2_2_4_2_1_1 n83_a_seiko_9r65__1_2_2_4_2_2->n83_a_seiko_9r65__1_2_2_4_2_2_1 n83_a_seiko_9r65__1_2_2_4_2_3_1 P-ROLE n83_a_seiko_9r65__1_2_2_4_2_3->n83_a_seiko_9r65__1_2_2_4_2_3_1 n83_a_seiko_9r65__1_2_2_4_2_3_2 NP n83_a_seiko_9r65__1_2_2_4_2_3->n83_a_seiko_9r65__1_2_2_4_2_3_2 n83_a_seiko_9r65__1_2_2_4_2_3_1->n83_a_seiko_9r65__1_2_2_4_2_3_1_1 n83_a_seiko_9r65__1_2_2_4_2_3_2_1 N n83_a_seiko_9r65__1_2_2_4_2_3_2->n83_a_seiko_9r65__1_2_2_4_2_3_2_1 n83_a_seiko_9r65__1_2_2_4_2_3_2_1->n83_a_seiko_9r65__1_2_2_4_2_3_2_1_1 n83_a_seiko_9r65__1_2_2_5_1 ADV n83_a_seiko_9r65__1_2_2_5->n83_a_seiko_9r65__1_2_2_5_1 n83_a_seiko_9r65__1_2_2_5_1->n83_a_seiko_9r65__1_2_2_5_1_1 n83_a_seiko_9r65__1_2_2_6_1 P-ROLE n83_a_seiko_9r65__1_2_2_6->n83_a_seiko_9r65__1_2_2_6_1 n83_a_seiko_9r65__1_2_2_6_2 NP n83_a_seiko_9r65__1_2_2_6->n83_a_seiko_9r65__1_2_2_6_2 n83_a_seiko_9r65__1_2_2_6_1->n83_a_seiko_9r65__1_2_2_6_1_1 n83_a_seiko_9r65__1_2_2_6_2_1 NUM n83_a_seiko_9r65__1_2_2_6_2->n83_a_seiko_9r65__1_2_2_6_2_1 n83_a_seiko_9r65__1_2_2_6_2_2 PP n83_a_seiko_9r65__1_2_2_6_2->n83_a_seiko_9r65__1_2_2_6_2_2 n83_a_seiko_9r65__1_2_2_6_2_3 NS n83_a_seiko_9r65__1_2_2_6_2->n83_a_seiko_9r65__1_2_2_6_2_3 n83_a_seiko_9r65__1_2_2_6_2_1->n83_a_seiko_9r65__1_2_2_6_2_1_1 n83_a_seiko_9r65__1_2_2_6_2_2_1 P-ROLE n83_a_seiko_9r65__1_2_2_6_2_2->n83_a_seiko_9r65__1_2_2_6_2_2_1 n83_a_seiko_9r65__1_2_2_6_2_2_2 NP n83_a_seiko_9r65__1_2_2_6_2_2->n83_a_seiko_9r65__1_2_2_6_2_2_2 n83_a_seiko_9r65__1_2_2_6_2_2_1->n83_a_seiko_9r65__1_2_2_6_2_2_1_1 n83_a_seiko_9r65__1_2_2_6_2_2_2_1 NUM n83_a_seiko_9r65__1_2_2_6_2_2_2->n83_a_seiko_9r65__1_2_2_6_2_2_2_1 n83_a_seiko_9r65__1_2_2_6_2_2_2_1->n83_a_seiko_9r65__1_2_2_6_2_2_2_1_1 n83_a_seiko_9r65__1_2_2_6_2_3->n83_a_seiko_9r65__1_2_2_6_2_3_1 n83_a_seiko_9r65__1_3->n83_a_seiko_9r65__1_3_1 n83_a_seiko_9r65__1_4_1 D n83_a_seiko_9r65__1_4->n83_a_seiko_9r65__1_4_1 n83_a_seiko_9r65__1_4_2 N n83_a_seiko_9r65__1_4->n83_a_seiko_9r65__1_4_2 n83_a_seiko_9r65__1_4_1->n83_a_seiko_9r65__1_4_1_1 n83_a_seiko_9r65__1_4_2->n83_a_seiko_9r65__1_4_2_1 n83_a_seiko_9r65__1_5->n83_a_seiko_9r65__1_5_1 n83_a_seiko_9r65__1_6_1 BE;_cat_VePASS_ n83_a_seiko_9r65__1_6->n83_a_seiko_9r65__1_6_1 n83_a_seiko_9r65__1_6_2 IP-PPL-CAT n83_a_seiko_9r65__1_6->n83_a_seiko_9r65__1_6_2 n83_a_seiko_9r65__1_6_1->n83_a_seiko_9r65__1_6_1_1 n83_a_seiko_9r65__1_6_2_1 NP-LGS n83_a_seiko_9r65__1_6_2->n83_a_seiko_9r65__1_6_2_1 n83_a_seiko_9r65__1_6_2_2 ADVP-NIM n83_a_seiko_9r65__1_6_2->n83_a_seiko_9r65__1_6_2_2 n83_a_seiko_9r65__1_6_2_3 VVN;_Tn_ n83_a_seiko_9r65__1_6_2->n83_a_seiko_9r65__1_6_2_3 n83_a_seiko_9r65__1_6_2_1->n83_a_seiko_9r65__1_6_2_1_1 n83_a_seiko_9r65__1_6_2_2_1 ADV n83_a_seiko_9r65__1_6_2_2->n83_a_seiko_9r65__1_6_2_2_1 n83_a_seiko_9r65__1_6_2_2_1->n83_a_seiko_9r65__1_6_2_2_1_1 n83_a_seiko_9r65__1_6_2_3->n83_a_seiko_9r65__1_6_2_3_1 n83_a_seiko_9r65__1_7->n83_a_seiko_9r65__1_7_1 
( (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))