1. (

• coal_gas

) gaseous mixture produced by distillation of bituminous coal and used for heating and lighting ;