Suppose Barack Obama is an American politician who served as the 44th President of the United States from 2009 to 2017. He is a member of the Democratic Party and was the first African American to be elected to the presidency.
Can we infer that "Barack Obama was the 45th President of the United States."? Yes, no, or maybe?