562
During the legal proceedings leading up to the divorce , a judge ruled that Nathan could not visit Gracie Mansion , the official mayoral residence , as long as Giuliani ' s children lived there .
 None
Given event type and trigger, please tell me the arguments of all the listed option. Output format is "name1: role1; name2: role2". 
Event type: divorce 
  Option: person, place 
Text: {0} 
Answer:
 None