Input: a crater formed on the moon because a massive collision with the planet
Output: plausible