La relation mod pointe toujours une caractéristique
La relation :mod
doit toujours pointer vers une caractéristique, que celle-ci soit une classe ou une propriété.
Voir SSC-11
où point(mod: melt)
doit donner la classe melt-point
avec une restriction associant la caractéristique melt
.