which beer has an original gravity of 12.5?
(AND food.beer (JOIN food.beer.original_gravity 12.5^^http://www.w3.org/2001/XMLSchema#float))