a type of plaster that is used for covering ceilings and the outside walls of buildings （涂墙壁或天花板用的）拉毛灰泥