find telescope whose type is infra-red telescope.
(AND astronomy.telescope (JOIN astronomy.telescope.type_of_telescope m.02qkxqz))