Entende o Tribunal a quo que a liquidação da sanção compulsória fixada na sentença declarativa não depende de simples calculo aritmético carecendo de prévio reconhecimento dos factos alegados pela exequente como factos geradores da obrigação de pagamento imposta na mesma.