You might also know this place by the following names:
Igreja da Graça ou de Santo Agostinho, Igreja da Graca ou de Santo Agostinho