Inference Rules and T-diagrams with the semantic Package

Some examples of typesetting inference rules and T-diagrams using the semantic package.