Enviar por SMS: Diagrammatic representation and inference :