double time, n.
a doubled wage (for working overtime)
<noun.possession>
double time
semantic pointers
hypernym
a fast marching pace (180 steps/min) or slow jog
<noun.time>
double time
semantic pointers
hypernym