Importava, portanto, apurar dos factos provados na ação declarativa e da fundamentação de direito que deles fez o Juiz que redigiu a sentença em que medida concreta tinham os executados que repor o imóvel da Exequente.