Ajoute une grammaire du datamodel. Cela permet d'avoir une vue global.
Je ne suis pas d'accord avec "the trees ( a, b, c ∩ d) and ( a, b, c) ∧ ( a, b, d) have the same meaning".
Par exemple, ( France, president, François Hollande) ∧ ( France, president, Nicolas Sarkozy) est vrai, alors que ( France, president, François Hollande ∩ Nicolas Sarkozy) est faux.
Je ne suis pas d'accord avec "the trees
( a, b, c ∩ d)and( a, b, c) ∧ ( a, b, d)have the same meaning". Par exemple,( France, president, François Hollande) ∧ ( France, president, Nicolas Sarkozy)est vrai, alors que( France, president, François Hollande ∩ Nicolas Sarkozy)est faux.