which distilled spirit has alcohol content of no more than 40.0?
(AND distilled_spirits.distilled_spirit (le distilled_spirits.distilled_spirit.abv 40.0^^http://www.w3.org/2001/XMLSchema#float))