Suppose Mount Everest, also known by the Tibetan name Chomolungma, is Earth's highest mountain. It is located in the Himalayas and has a peak elevation of 8,848.86 meters.
Can we infer that "Mount Everest is the tallest mountain on Mars."? Yes, no, or maybe?