Christopher Columbus visited Porto Santo in the second half of the 15th century, marrying the local governor's daughter.
The people of Porto Santo were excited that Christopher Columbus visited.
mnli hypothesis: The people of Porto Santo were excited that Christopher Columbus visited. premise: Christopher Columbus visited Porto Santo in the second half of the 15th century, marrying the local governor's daughter.