Um analista gerou as seguintes especificações para o dicionário de dados de um sistema:
Transferência = (estoque) + (loja) + transporte + {condição}
Transporte = [Carro | Caminhão]
Condição = [Ativa | Em Avaliação | Válida | Parada]
Para o referido sistema, com base apenas nessas especificações, é possível concluir que, uma transferência, em um determinado momento,
