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
Reasoning: InSight is part of the mission to mars.
Answer: yes