SMS: Diagrammatic representation and inference :