Além disso, o facto não provado n 10 é contraditório com o reconhecimento implícito) dos autores de que as portas estão em linhas divisórias dos dois "conjuntos prediais”, como é contraditório com o facto provado sob o artigo 15 dos factos provados e o dispositivo da alínea B de cada uma das decisões.