12476
Miami  Mayor  Manny Diaz  said the event planned at the Orange Bowl is part of the local government's plan to accommodate overflow crowds in the event of Castro's death but he said there will not be a city-funded celebration .
 cities of residence: Miami, Manny Diaz
Given options, please tell me the relationships of all the listed entity pairs.Output format is "relation1: word1, word2; relation2: word3, word4". 
Option: cities of residence, top members employees, members, alternate names, origin, state or provinces of residence, title of person, spouse, city of headquarters, NA, founded by, state or province of headquarters, employee of, countries of residence, country of birth, founded, subsidiaries, country of headquarters 
Text: {0} 
 Entity Pairs:  Miami, Manny Diaz 
Answer:
 cities of residence: Miami, Manny Diaz