If they have landed, and are still alive, where are they?
The plane landed at the airport on schedule.
mnli hypothesis: The plane landed at the airport on schedule. premise: If they have landed, and are still alive, where are they?