mare cognitum is a part of what extraterrestrial location?
(AND astronomy.extraterrestrial_location (JOIN astronomy.extraterrestrial_location.contains m.01d7v9))