Seguiu-se a prolação da sentença em cujo dispositivo designadamente se consignou:  "Pelo exposto, o Tribunal julga a ação procedente por provada e consequentemente: A) Declara resolvido o contrato promessa de compra e venda celebrado entre os AA.