description: Defines formal computational semantics for the feature if it is asserted. This is typically only required if the case feature is of a different type than the profile (e.g. a boolean feature). package_name: hl7.fhir.uv.cpg.r4 derivation: constraint name: CPGAssertionExpression type: Extension elements: extension: {index: 0} url: pattern: {type: Uri, value: 'http://hl7.org/fhir/uv/cpg/StructureDefinition/cpg-assertionExpression'} index: 1 value: choices: [valueExpression] index: 3 valueExpression: {type: Expression, choiceOf: value, index: 4} package_version: 2.0.0 extensions: {} class: extension kind: complex-type url: http://hl7.org/fhir/uv/cpg/StructureDefinition/cpg-assertionExpression base: http://hl7.org/fhir/StructureDefinition/Extension version: 2.0.0