Verificado o incumprimento, a demandante resolveu o contrato e intentou acção declarativa, tendo depois, executado a sentença ali proferida, nos autos que correram termos sob o n. 10184/1... dos Juízos de Execução ....