what distilled spirit has an alcohol content less than or equal to 40.0?
(AND distilled_spirits.distilled_spirit (le distilled_spirits.distilled_spirit.abv 40.0^^http://www.w3.org/2001/XMLSchema#float))