Os factos em causa, considerados provados sob os pontos 1 a 7, têm a redação seguinte:  O sistema da Ria Formosa constitui uma unidade morfológica, que engloba duas penínsulas e cinco ilhas barreira, Ilhas da Barreta, Culatra, Armona, Tavira e Cabanas, individualizadas por seis barras de maré.