Inference rules take "extra argument" of context

Previous slide

Back to first slide

View graphic version