Are you saying that a domain of {0,1} or {'T','F'}, or whatever, in the logical model should never be mapped to the semantic values true, false in the conceptual model ?
Tim Wilkinson
"If it doesn't work in practice, you're using the wrong theory"
- Immanuel Kant