Diagrammatic Representation And Inference door