it is to be welcomed that ... - Spanish English Dictionary