About Structural Reasoner
Overview of the User Interface
Creating Venn diagrams
Viewing Venn diagrams