Assim, sem para já se colocar em crise parte dos factos constantes da reconvenção, que foram dados como provados e que deviam ter sido dados como não provados, e factos constantes da petição inicial e replica que foram dados como não provados e que deveriam ter sido dados como provados. Resulta dos factos dados como provados que a acção deveria ter sido dada totalmente como procedente e o pedido reconvencional para além do reconhecimento dos RR. como proprietários do prédio identificado em, como improcedente.