SNOMED CT Expression Constraints can be automatically validated to ensure that they conform to a variety of rules, including:
All concept references used to refer to attribute names must be a descendant of ;
All concept references to which a memberOf function is applied must be a descendant of ;
Please note that some of these rules may not apply in all environments.