the srm color of 15 belongs to what animal?
(AND food.beer (JOIN food.beer.color_srm 15^^http://www.w3.org/2001/XMLSchema#integer))