# Logical Record Architecture for Health and Social Care
## Discharge Summary Release 0.02

Contents
The content of this release is not comprehensive and is not fully validated and must not be used in live system implementations.
# Reference Model Class: SctExpressionSpecification
The value of or a reference to a constraint expression restricts the possible meanings or literal values of an instance of a SNOMED CT expression. ## Specializes ## ValueSpaceSpecification ## Attributes
Name | Data type | Occurs | Description
--- | --- | --- | ---
value | SnomedCtExpression | 0..1 | The SNOMED CT constraint expression specified by this OclExpression.
## 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-&gt;forAll(c: Class | c.oclIsType(Primitive) and c.qualifiedName = "lra::datatypes::uml::derived::SnomedCtExpression")
## Reference Model Type ##