lava lake is part of which extraterrestrial location?
(AND astronomy.extraterrestrial_location (JOIN astronomy.extraterrestrial_location.contains m.0b75gd))