what's the recommended approach to enforcing a uniqueness constraint on a relation? I.e given

definition sometype {
    relation container: othertype
}

how would I enforce that any

sometype

instance only has one

container

relation? use preconditions?