He ran the mile in record time, ie faster than any previous runner.

• 他跑一英里的时间已创记录.