Instruct: What is Time, when Jockey is John Velazquez, and when Trainer is Todd A. Pletcher?
Output: SELECT Time FROM table WHERE Jockey = john velazquez AND Trainer = todd a. pletcher