Seol mar théacs é seo: Diagrammatic representation and inference :