Context                Previous, Next                Top


82_a_seiko_9r65
Five full rotations of the crown will provide the power to run the watch for approximately ten hours.

%3 r_0082_0001__Five_r_0082_0003__rotations Five rotations r_0082_0002__full full r_0082_0001__Five_r_0082_0003__rotations->r_0082_0002__full [attrib] r_0082_0005__the_r_0082_0006__crown the crown r_0082_0001__Five_r_0082_0003__rotations->r_0082_0005__the_r_0082_0006__crown of r_0082_0007__will will r_0082_0008__provide provide r_0082_0007__will->r_0082_0008__provide [scope] r_0082_0008__provide->r_0082_0001__Five_r_0082_0003__rotations [arg0] r_0082_0009__the_r_0082_0010__power the power r_0082_0008__provide->r_0082_0009__the_r_0082_0010__power [arg1] r_0082_0011__to_r_0082_0012__run to run r_0082_0011__to_r_0082_0012__run->r_0082_0009__the_r_0082_0010__power [arg0] r_0082_0013__the_r_0082_0014__watch the watch r_0082_0011__to_r_0082_0012__run->r_0082_0013__the_r_0082_0014__watch [arg1] r_0082_0017__ten_r_0082_0018__hours ten hours r_0082_0011__to_r_0082_0012__run->r_0082_0017__ten_r_0082_0018__hours for [nim] r_0082_0016__approximately approximately r_0082_0017__ten_r_0082_0018__hours->r_0082_0016__approximately [qual] 
arc(r_0082_0001__Five_r_0082_0003__rotations, r_0082_0002__full, attrib5).
arc(r_0082_0001__Five_r_0082_0003__rotations, r_0082_0005__the_r_0082_0006__crown, r_0082_0004__of).
arc(r_0082_0007__will, r_0082_0008__provide, scope).
arc(r_0082_0008__provide, r_0082_0001__Five_r_0082_0003__rotations, arg0).
arc(r_0082_0008__provide, r_0082_0009__the_r_0082_0010__power, arg1).
arc(r_0082_0011__to_r_0082_0012__run, r_0082_0009__the_r_0082_0010__power, arg0).
arc(r_0082_0011__to_r_0082_0012__run, r_0082_0013__the_r_0082_0014__watch, arg1).
arc(r_0082_0011__to_r_0082_0012__run, r_0082_0017__ten_r_0082_0018__hours, r_0082_0015__for_nim43).
arc(r_0082_0017__ten_r_0082_0018__hours, r_0082_0016__approximately, qual44).


%3 r_0082_0017__ten_r_0082_0018__hours ten hours r_0082_0016__approximately approximately r_0082_0017__ten_r_0082_0018__hours->r_0082_0016__approximately [qual] r_0082_0011__to_r_0082_0012__run to run r_0082_0011__to_r_0082_0012__run->r_0082_0017__ten_r_0082_0018__hours for [nim] r_0082_0013__the_r_0082_0014__watch the watch r_0082_0011__to_r_0082_0012__run->r_0082_0013__the_r_0082_0014__watch [arg1] r_0082_0009__the_r_0082_0010__power the power r_0082_0011__to_r_0082_0012__run->r_0082_0009__the_r_0082_0010__power [arg0] r_0082_0007__will_r_0082_0008__provide will provide r_0082_0007__will_r_0082_0008__provide->r_0082_0009__the_r_0082_0010__power [arg1] r_0082_0001__Five_r_0082_0003__rotations Five rotations r_0082_0007__will_r_0082_0008__provide->r_0082_0001__Five_r_0082_0003__rotations [arg0] r_0082_0005__the_r_0082_0006__crown the crown r_0082_0001__Five_r_0082_0003__rotations->r_0082_0005__the_r_0082_0006__crown of r_0082_0002__full full r_0082_0001__Five_r_0082_0003__rotations->r_0082_0002__full [attrib] 
fof(formula,axiom,
    ? [R_82_7_WILL_PROVIDE,R_82_1_FIVE_ROTATIONS,R_82_2_FULL,R_82_5_THE_CROWN,R_82_11_TO_RUN,R_82_9_THE_POWER,R_82_13_THE_WATCH,R_82_17_TEN_HOURS,R_82_16_APPROXIMATELY] :
      ( full(R_82_2_FULL)
      & the_crown(R_82_5_THE_CROWN)
      & the_power(R_82_9_THE_POWER)
      & the_watch(R_82_13_THE_WATCH)
      & approximately(R_82_16_APPROXIMATELY)
      & will_provide(R_82_7_WILL_PROVIDE,R_82_1_FIVE_ROTATIONS,R_82_9_THE_POWER)
      & five_rotations(R_82_1_FIVE_ROTATIONS)
      & attrib5(R_82_1_FIVE_ROTATIONS,R_82_2_FULL)
      & of(R_82_1_FIVE_ROTATIONS,R_82_5_THE_CROWN)
      & to_run(R_82_11_TO_RUN,R_82_9_THE_POWER,R_82_13_THE_WATCH)
      & for_nim43(R_82_11_TO_RUN,R_82_17_TEN_HOURS)
      & ten_hours(R_82_17_TEN_HOURS)
      & qual44(R_82_17_TEN_HOURS,R_82_16_APPROXIMATELY) ) ).


n82_a_seiko_9r65 n82_a_seiko_9r65__1_1_1_1 Five n82_a_seiko_9r65__1_1_2_1_1 full n82_a_seiko_9r65__1_1_3_1 rotations n82_a_seiko_9r65__1_1_4_1_1 of n82_a_seiko_9r65__1_1_4_2_1_1 the n82_a_seiko_9r65__1_1_4_2_2_1 crown n82_a_seiko_9r65__1_2_1 will n82_a_seiko_9r65__1_3_1_1 provide n82_a_seiko_9r65__1_3_2_1_1 the n82_a_seiko_9r65__1_3_2_2_1 power n82_a_seiko_9r65__1_3_2_3_1_1 *T* n82_a_seiko_9r65__1_3_2_3_2_1 to n82_a_seiko_9r65__1_3_2_3_3_1 run n82_a_seiko_9r65__1_3_2_3_4_1_1 the n82_a_seiko_9r65__1_3_2_3_4_2_1 watch n82_a_seiko_9r65__1_3_2_3_5_1_1 for n82_a_seiko_9r65__1_3_2_3_5_2_1_1_1 approximately n82_a_seiko_9r65__1_3_2_3_5_2_2_1 ten n82_a_seiko_9r65__1_3_2_3_5_2_3_1 hours n82_a_seiko_9r65__1_4_1 . n82_a_seiko_9r65__1 IP-MAT n82_a_seiko_9r65__1_1 NP-SBJ n82_a_seiko_9r65__1->n82_a_seiko_9r65__1_1 n82_a_seiko_9r65__1_2 MD;_cat_Vi_ n82_a_seiko_9r65__1->n82_a_seiko_9r65__1_2 n82_a_seiko_9r65__1_3 IP-INF-CAT n82_a_seiko_9r65__1->n82_a_seiko_9r65__1_3 n82_a_seiko_9r65__1_4 PUNC n82_a_seiko_9r65__1->n82_a_seiko_9r65__1_4 n82_a_seiko_9r65__1_1_1 NUM n82_a_seiko_9r65__1_1->n82_a_seiko_9r65__1_1_1 n82_a_seiko_9r65__1_1_2 ADJP n82_a_seiko_9r65__1_1->n82_a_seiko_9r65__1_1_2 n82_a_seiko_9r65__1_1_3 NS n82_a_seiko_9r65__1_1->n82_a_seiko_9r65__1_1_3 n82_a_seiko_9r65__1_1_4 PP n82_a_seiko_9r65__1_1->n82_a_seiko_9r65__1_1_4 n82_a_seiko_9r65__1_1_1->n82_a_seiko_9r65__1_1_1_1 n82_a_seiko_9r65__1_1_2_1 ADJ n82_a_seiko_9r65__1_1_2->n82_a_seiko_9r65__1_1_2_1 n82_a_seiko_9r65__1_1_2_1->n82_a_seiko_9r65__1_1_2_1_1 n82_a_seiko_9r65__1_1_3->n82_a_seiko_9r65__1_1_3_1 n82_a_seiko_9r65__1_1_4_1 P-ROLE n82_a_seiko_9r65__1_1_4->n82_a_seiko_9r65__1_1_4_1 n82_a_seiko_9r65__1_1_4_2 NP n82_a_seiko_9r65__1_1_4->n82_a_seiko_9r65__1_1_4_2 n82_a_seiko_9r65__1_1_4_1->n82_a_seiko_9r65__1_1_4_1_1 n82_a_seiko_9r65__1_1_4_2_1 D n82_a_seiko_9r65__1_1_4_2->n82_a_seiko_9r65__1_1_4_2_1 n82_a_seiko_9r65__1_1_4_2_2 N n82_a_seiko_9r65__1_1_4_2->n82_a_seiko_9r65__1_1_4_2_2 n82_a_seiko_9r65__1_1_4_2_1->n82_a_seiko_9r65__1_1_4_2_1_1 n82_a_seiko_9r65__1_1_4_2_2->n82_a_seiko_9r65__1_1_4_2_2_1 n82_a_seiko_9r65__1_2->n82_a_seiko_9r65__1_2_1 n82_a_seiko_9r65__1_3_1 VB;_Tn_ n82_a_seiko_9r65__1_3->n82_a_seiko_9r65__1_3_1 n82_a_seiko_9r65__1_3_2 NP-OB1 n82_a_seiko_9r65__1_3->n82_a_seiko_9r65__1_3_2 n82_a_seiko_9r65__1_3_1->n82_a_seiko_9r65__1_3_1_1 n82_a_seiko_9r65__1_3_2_1 D n82_a_seiko_9r65__1_3_2->n82_a_seiko_9r65__1_3_2_1 n82_a_seiko_9r65__1_3_2_2 N n82_a_seiko_9r65__1_3_2->n82_a_seiko_9r65__1_3_2_2 n82_a_seiko_9r65__1_3_2_3 IP-INF-REL n82_a_seiko_9r65__1_3_2->n82_a_seiko_9r65__1_3_2_3 n82_a_seiko_9r65__1_3_2_1->n82_a_seiko_9r65__1_3_2_1_1 n82_a_seiko_9r65__1_3_2_2->n82_a_seiko_9r65__1_3_2_2_1 n82_a_seiko_9r65__1_3_2_3_1 NP-SBJ n82_a_seiko_9r65__1_3_2_3->n82_a_seiko_9r65__1_3_2_3_1 n82_a_seiko_9r65__1_3_2_3_2 TO n82_a_seiko_9r65__1_3_2_3->n82_a_seiko_9r65__1_3_2_3_2 n82_a_seiko_9r65__1_3_2_3_3 VB;_Tn.pr_ n82_a_seiko_9r65__1_3_2_3->n82_a_seiko_9r65__1_3_2_3_3 n82_a_seiko_9r65__1_3_2_3_4 NP-OB1 n82_a_seiko_9r65__1_3_2_3->n82_a_seiko_9r65__1_3_2_3_4 n82_a_seiko_9r65__1_3_2_3_5 PP-NIM n82_a_seiko_9r65__1_3_2_3->n82_a_seiko_9r65__1_3_2_3_5 n82_a_seiko_9r65__1_3_2_3_1->n82_a_seiko_9r65__1_3_2_3_1_1 n82_a_seiko_9r65__1_3_2_3_2->n82_a_seiko_9r65__1_3_2_3_2_1 n82_a_seiko_9r65__1_3_2_3_3->n82_a_seiko_9r65__1_3_2_3_3_1 n82_a_seiko_9r65__1_3_2_3_4_1 D n82_a_seiko_9r65__1_3_2_3_4->n82_a_seiko_9r65__1_3_2_3_4_1 n82_a_seiko_9r65__1_3_2_3_4_2 N n82_a_seiko_9r65__1_3_2_3_4->n82_a_seiko_9r65__1_3_2_3_4_2 n82_a_seiko_9r65__1_3_2_3_4_1->n82_a_seiko_9r65__1_3_2_3_4_1_1 n82_a_seiko_9r65__1_3_2_3_4_2->n82_a_seiko_9r65__1_3_2_3_4_2_1 n82_a_seiko_9r65__1_3_2_3_5_1 P-ROLE n82_a_seiko_9r65__1_3_2_3_5->n82_a_seiko_9r65__1_3_2_3_5_1 n82_a_seiko_9r65__1_3_2_3_5_2 NP n82_a_seiko_9r65__1_3_2_3_5->n82_a_seiko_9r65__1_3_2_3_5_2 n82_a_seiko_9r65__1_3_2_3_5_1->n82_a_seiko_9r65__1_3_2_3_5_1_1 n82_a_seiko_9r65__1_3_2_3_5_2_1 ADVP n82_a_seiko_9r65__1_3_2_3_5_2->n82_a_seiko_9r65__1_3_2_3_5_2_1 n82_a_seiko_9r65__1_3_2_3_5_2_2 NUM n82_a_seiko_9r65__1_3_2_3_5_2->n82_a_seiko_9r65__1_3_2_3_5_2_2 n82_a_seiko_9r65__1_3_2_3_5_2_3 NS n82_a_seiko_9r65__1_3_2_3_5_2->n82_a_seiko_9r65__1_3_2_3_5_2_3 n82_a_seiko_9r65__1_3_2_3_5_2_1_1 ADV n82_a_seiko_9r65__1_3_2_3_5_2_1->n82_a_seiko_9r65__1_3_2_3_5_2_1_1 n82_a_seiko_9r65__1_3_2_3_5_2_1_1->n82_a_seiko_9r65__1_3_2_3_5_2_1_1_1 n82_a_seiko_9r65__1_3_2_3_5_2_2->n82_a_seiko_9r65__1_3_2_3_5_2_2_1 n82_a_seiko_9r65__1_3_2_3_5_2_3->n82_a_seiko_9r65__1_3_2_3_5_2_3_1 n82_a_seiko_9r65__1_4->n82_a_seiko_9r65__1_4_1 
( (IP-MAT (NP-SBJ (NUM Five;{five})
                  (ADJP (ADJ full;{full}))
                  (NS rotations;{rotation})
                  (PP (P-ROLE of;{of})
                      (NP;{CROWN} (D the;{the})
                                  (N crown;{crown}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ provide;{provide})
                      (NP-OB1 (D the;{the})
                              (N power;{power})
                              (IP-INF-REL (NP-SBJ *T*)
                                          (TO to;{to})
                                          (VB;_Tn.pr_ run;{run})
                                          (NP-OB1 (D the;{the})
                                                  (N watch;{watch}))
                                          (PP-NIM (P-ROLE for;{for})
                                                  (NP (ADVP (ADV approximately;{approximately}))
                                                      (NUM ten;{ten})
                                                      (NS hours;{hour}))))))
          (PUNC .))
  (ID 82_a_seiko_9r65))