Com o devido respeito, o Tribunal a quo não poderia decidir nos termos em que decidiu, tendo em conta um silogismo lógico-jurídico da submissão do artigo 583 n.1 do Código Civil aos factos dados como provados.