premise: Prime Minister Jos Manuel Duro Barroso resigns. He is to assume the presidency of the European Commission later in the year (the European Parliament approves him on July 22).
hypothesis: New Portuguese prime minister is elected.