No mesmo domínio da contradição lógica, a Recorrente divisou e descreveu, nas suas alegações, a exclusão recíproca de dois outros blocos da fundamentação de facto. O primeiro seria constituído pelas seguintes cristalizações fácticas: