Visualizing logical aspects of conceptual structures