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