#                                                             -*- coding: utf-8 -*-
# Le modele est un dictionnaire, les cles sont les noms des predicats,
# les valeurs sont des ensembles de tuples (meme pour les predicats
# unaires).
# N.B.: les tuples "singletons" doivent comporter une virgule: ('j',)
# pour etre correctement analyses comme des tuples

{
'H': {('a',), ('c',), ('e',), ('g',), ('i',)},
'A': {('a', 'b'), ('b', 'a')},
'F': {('d',), ('b',), ('h',), ('f',), ('j',)},
'M': {('d',), ('f',), ('j',), ('e',), ('c',), ('h',), ('g',), ('i',), ('b',), ('a',)},
'D': {('d', 'a', 'c'), ('h', 'e', 'i')},
}