Question
Traduisez les phrases élémentaires du schéma suivant :
Expression des relations topologiques entre un local et un mur
Indice
Expression de deux idées utilisant la contrainte d'exclusion
Solution
Tout local à la droite d'un mur ne peut être également à sa gauche. Tout mur possède obligatoirement sur sa droite et sur sa gauche un local.