US9167672B2 - Method and System for Automatically Verifying the Possibility of Rendering a Lighting Atmosphere from an Abstract Description