the radio format used by wlxg is used by what student radio station?
(AND education.student_radio_station (JOIN broadcast.radio_station.format (JOIN (R broadcast.radio_station.format) m.0h5s4_)))