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_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_r_0082_0008__provide will provide r_0082_0007__will_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_0007__will_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] 
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_4 Five n82_a_seiko_9r65_7 full n82_a_seiko_9r65_9 rotations n82_a_seiko_9r65_12 of n82_a_seiko_9r65_15 the n82_a_seiko_9r65_17 crown n82_a_seiko_9r65_19 will n82_a_seiko_9r65_22 provide n82_a_seiko_9r65_25 the n82_a_seiko_9r65_27 power n82_a_seiko_9r65_30 *T* n82_a_seiko_9r65_32 to n82_a_seiko_9r65_34 run n82_a_seiko_9r65_37 the n82_a_seiko_9r65_39 watch n82_a_seiko_9r65_42 for n82_a_seiko_9r65_46 approximately n82_a_seiko_9r65_48 ten n82_a_seiko_9r65_50 hours n82_a_seiko_9r65_52 . n82_a_seiko_9r65_1 IP-MAT n82_a_seiko_9r65_2 NP-SBJ n82_a_seiko_9r65_1->n82_a_seiko_9r65_2 n82_a_seiko_9r65_18 MD;_cat_Vi_ n82_a_seiko_9r65_1->n82_a_seiko_9r65_18 n82_a_seiko_9r65_20 IP-INF-CAT n82_a_seiko_9r65_1->n82_a_seiko_9r65_20 n82_a_seiko_9r65_51 PUNC n82_a_seiko_9r65_1->n82_a_seiko_9r65_51 n82_a_seiko_9r65_3 NUM n82_a_seiko_9r65_2->n82_a_seiko_9r65_3 n82_a_seiko_9r65_5 ADJP n82_a_seiko_9r65_2->n82_a_seiko_9r65_5 n82_a_seiko_9r65_8 NS n82_a_seiko_9r65_2->n82_a_seiko_9r65_8 n82_a_seiko_9r65_10 PP n82_a_seiko_9r65_2->n82_a_seiko_9r65_10 n82_a_seiko_9r65_3->n82_a_seiko_9r65_4 n82_a_seiko_9r65_6 ADJ n82_a_seiko_9r65_5->n82_a_seiko_9r65_6 n82_a_seiko_9r65_6->n82_a_seiko_9r65_7 n82_a_seiko_9r65_8->n82_a_seiko_9r65_9 n82_a_seiko_9r65_11 P-ROLE n82_a_seiko_9r65_10->n82_a_seiko_9r65_11 n82_a_seiko_9r65_13 NP n82_a_seiko_9r65_10->n82_a_seiko_9r65_13 n82_a_seiko_9r65_11->n82_a_seiko_9r65_12 n82_a_seiko_9r65_14 D n82_a_seiko_9r65_13->n82_a_seiko_9r65_14 n82_a_seiko_9r65_16 N n82_a_seiko_9r65_13->n82_a_seiko_9r65_16 n82_a_seiko_9r65_14->n82_a_seiko_9r65_15 n82_a_seiko_9r65_16->n82_a_seiko_9r65_17 n82_a_seiko_9r65_18->n82_a_seiko_9r65_19 n82_a_seiko_9r65_21 VB;_Tn_ n82_a_seiko_9r65_20->n82_a_seiko_9r65_21 n82_a_seiko_9r65_23 NP-OB1 n82_a_seiko_9r65_20->n82_a_seiko_9r65_23 n82_a_seiko_9r65_21->n82_a_seiko_9r65_22 n82_a_seiko_9r65_24 D n82_a_seiko_9r65_23->n82_a_seiko_9r65_24 n82_a_seiko_9r65_26 N n82_a_seiko_9r65_23->n82_a_seiko_9r65_26 n82_a_seiko_9r65_28 IP-INF-REL n82_a_seiko_9r65_23->n82_a_seiko_9r65_28 n82_a_seiko_9r65_24->n82_a_seiko_9r65_25 n82_a_seiko_9r65_26->n82_a_seiko_9r65_27 n82_a_seiko_9r65_29 NP-SBJ n82_a_seiko_9r65_28->n82_a_seiko_9r65_29 n82_a_seiko_9r65_31 TO n82_a_seiko_9r65_28->n82_a_seiko_9r65_31 n82_a_seiko_9r65_33 VB;_Tn.pr_ n82_a_seiko_9r65_28->n82_a_seiko_9r65_33 n82_a_seiko_9r65_35 NP-OB1 n82_a_seiko_9r65_28->n82_a_seiko_9r65_35 n82_a_seiko_9r65_40 PP-NIM n82_a_seiko_9r65_28->n82_a_seiko_9r65_40 n82_a_seiko_9r65_29->n82_a_seiko_9r65_30 n82_a_seiko_9r65_31->n82_a_seiko_9r65_32 n82_a_seiko_9r65_33->n82_a_seiko_9r65_34 n82_a_seiko_9r65_36 D n82_a_seiko_9r65_35->n82_a_seiko_9r65_36 n82_a_seiko_9r65_38 N n82_a_seiko_9r65_35->n82_a_seiko_9r65_38 n82_a_seiko_9r65_36->n82_a_seiko_9r65_37 n82_a_seiko_9r65_38->n82_a_seiko_9r65_39 n82_a_seiko_9r65_41 P-ROLE n82_a_seiko_9r65_40->n82_a_seiko_9r65_41 n82_a_seiko_9r65_43 NP n82_a_seiko_9r65_40->n82_a_seiko_9r65_43 n82_a_seiko_9r65_41->n82_a_seiko_9r65_42 n82_a_seiko_9r65_44 ADVP n82_a_seiko_9r65_43->n82_a_seiko_9r65_44 n82_a_seiko_9r65_47 NUM n82_a_seiko_9r65_43->n82_a_seiko_9r65_47 n82_a_seiko_9r65_49 NS n82_a_seiko_9r65_43->n82_a_seiko_9r65_49 n82_a_seiko_9r65_45 ADV n82_a_seiko_9r65_44->n82_a_seiko_9r65_45 n82_a_seiko_9r65_45->n82_a_seiko_9r65_46 n82_a_seiko_9r65_47->n82_a_seiko_9r65_48 n82_a_seiko_9r65_49->n82_a_seiko_9r65_50 n82_a_seiko_9r65_51->n82_a_seiko_9r65_52 
( (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))