[计]一种程序验证系统(科罗拉多大学)
Dave was in a hurry to get back to work.
戴夫急于回到工作岗位。
Dave pulled a back muscle and could barely kick the ball.
戴夫背部拉伤,几乎没法踢球。
Dave, the pianist, played it over a couple of times.
演奏钢琴的戴夫将这支曲子反复弹了两三遍。