A reference to a constraint expression which restricts the possible ways that an instance of a SNOMED CT terminology expression may be constructed to represent a given meaning.
Specializes
ValueSpaceSpecification
Constraints
| Type | Name | Specification |
|---|---|---|
| Instance is specification for constraint that binds to a PrimitiveType instance of type SnomedCtExpression | LRA Invariant | inv: constraint.contraintBinding.instance.type->forAll(c: Class | c.oclIsType(Primitive) and c.qualifiedName = "lra::datatypes::uml::derived::SnomedCtExpression") |