They are mining for coal.

• 他们在开采煤矿。