Question: How long is the highway that runs from the top of the highest mountain in Kentucky?
Sentence (from "Tatamailau"): While East Timor was a Portuguese colony it was called the highest mountain of Portugal in the twentieth century, since the highest mountain of Portugal proper is of a more modest height.
Relevant evidence: No