double time 1noundomain: timePrinceton WordNet [ver.3.1]EnglishDefinitiona fast marching pace (180 steps/min) or slow jogReport errorPath to highest hypernymMorphologySynset graph