what beer brands make beer of type scottish export 80/~?
(AND food.brewery_brand_of_beer (JOIN food.brewery_brand_of_beer.beers_produced (JOIN food.beer.beer_style m.02hv1rh)))