Phase space interpretation of semiclassical theory