A syllogism is constructed, for which the graphical display of the diagram is just a visual aid.
LyX automagically translates the codes to graphical display, providing visual feedback on-the-fly!
