which telescope is housed in roque de los muchachos observatory?
(AND astronomy.telescope (JOIN astronomy.telescope.housed_in m.0582v4))