sirius xm channel 12 would be what radio station?
(AND base.lightweight.radio_station (JOIN base.lightweight.radio_station.sirius_xm_channel 12^^http://www.w3.org/2001/XMLSchema#integer))