(*
     Domains in Address definition

     - street : d_street
     - city   : d_city

*)

Assume_Address_Domains ==
                      Assume_CorrectDomain( t_Address, "street", d_street )
                   /\ Assume_CorrectDomain( t_Address, "city", d_city )