Before revision: The rules and key inferences are written down in short symbols next to the diagram, and where possible, marked on the diagram itself.
After revision: ,The rules and key inferences are written down in short symbols next to the diagram, and where possible, marked on the diagram itself.