what streams have a 80 bit rate?
(AND broadcast.internet_stream (JOIN broadcast.internet_stream.stream_bitrate 80^^http://www.w3.org/2001/XMLSchema#integer))