Gestion de la relation location
Le motif X(location: Y)
doit conduire à l'interprétation suivante :
-
Y
est une instance de:Location
- si
X
est une classe avec des instances (x1, x2...), ses instances doivent être associées àY
(x1 hasLocation Y
) - si
X
n'a pas d'instance, une restriction est associée àX
Voir SSC-16.