The workers gravelled the parking lot for better traction.

gravelled 是动词 gravel 的过去式，gravel 意思是"铺碎石"。gravel 本身是名词指"碎石、砾石"，这里用作动词表示"用碎石铺设"。 gravel 作为动词时，在英国英语中过去式和过去分词是 gravelled（双写l加ed），而在美国英语中是 graveled（单l加ed）。这里使用的是英式拼写形式。