Give the rationale and then the answer. Claim: "A NASA mars space probe is called InSight."
Is the claim above correct, and can it be verified by human common sense and without a web search?
Options:
- yes
- no
InSight is part of the mission to mars. The final answer: yes.