Diagram used in "Logic and Meaning in Conceptual Models". Warwick Business School Research Paper No 62.