Durante uma campanha de marketing, uma loja informa que a porcentagem de clientes satisfeitos é de pelo menos 80%. Se a porcentagem de clientes satisfeitos for menor que 80%, então a loja não atingiu sua meta de satisfação. Com base nessa afirmação, qual das alternativas expressa corretamente a relação lógica entre as proposições 'Clientes satisfeitos são pelo menos 80%' (S) e 'A loja atingiu sua meta' (M)?