EHI Export Implementation Guide
0.1.0 - ci-build

EHI Export Implementation Guide - Local Development build (v0.1.0) built by the FHIR (HL7® FHIR® Standard) Build Tools. See the Directory of published versions

Resource Profile: Coverage

Official URL: https://ehi-export.pointclickcare.com//StructureDefinition/coverage Version: 0.1.0
Draft as of 2025-12-10 Computable Name: EHICoverage

Insurance Coverage

Usages:

  • This Profile is not used by any profiles in this Implementation Guide

You can also check for usages in the FHIR IG Statistics

Formal Views of Profile Content

Description of Profiles, Differentials, Snapshots and how the different presentations work.

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Coverage 0..* Coverage Insurance or medical plan or a payment agreement
... Slices for extension 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:medicareAdvantagePlan 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-MedicareAdvantagePlan.html
.... extension:companyName 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-CompanyName.html
.... extension:providerNumber 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-ProviderNumber.html
.... extension:payerType 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerType.html
.... extension:payerDescription 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerDescription.html
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
... status ?!Σ 1..1 code active | cancelled | draft | entered-in-error
Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
... payor Σ 1..* Reference(Organization | Patient | RelatedPerson) Issuer of the policy
... Slices for class 0..* BackboneElement Additional coverage classifications
Slice: Unordered, Open by value:type
.... class:All Slices Content/Rules for all slices
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
..... value Σ 1..1 string Value associated with the type
.... class:group 0..* BackboneElement (USCDI) Group
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
...... coding Σ 1..* Coding Code defined by a terminology system
....... system Σ 0..1 uri Identity of the terminology system
Fixed Value: http://terminology.hl7.org/CodeSystem/coverage-class
....... code Σ 1..1 code Symbol in syntax defined by the system
Fixed Value: group
..... value Σ 1..1 string (USCDI) Group Number
..... name Σ 0..1 string (USCDI) Group Name

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Coverage.status Base required Financial Resource Status Codes 📍4.0.1 FHIR Std.
Coverage.class.type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.
Coverage.class:group.​type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
dom-2 error Coverage If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error Coverage If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4 error Coverage If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5 error Coverage If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice Coverage A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

This structure is derived from Coverage

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Coverage 0..* Coverage Insurance or medical plan or a payment agreement
... implicitRules 0..0 A set of rules under which this content was created
... language 0..0 Language of the resource content
... contained 0..0 Contained, inline Resources
.... extension:medicareAdvantagePlan 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-MedicareAdvantagePlan.html
.... extension:companyName 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-CompanyName.html
.... extension:providerNumber 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-ProviderNumber.html
.... extension:payerType 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerType.html
.... extension:payerDescription 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerDescription.html
... beneficiary 1..1 Reference(Patient) Plan beneficiary
... dependent 0..0 Dependent number
... Slices for class 0..* BackboneElement Additional coverage classifications
Slice: Unordered, Open by value:type
.... class:All Slices Content/Rules for all slices
..... type 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
.... class:group 0..* BackboneElement (USCDI) Group
..... type
...... coding 1..* Coding Code defined by a terminology system
....... system 0..1 uri Identity of the terminology system
Fixed Value: http://terminology.hl7.org/CodeSystem/coverage-class
....... code 1..1 code Symbol in syntax defined by the system
Fixed Value: group
..... value 1..1 string (USCDI) Group Number
..... name 0..1 string (USCDI) Group Name
... order 0..0 Relative order of the coverage
... network 0..0 Insurer network
... costToBeneficiary 0..0 Patient payments for services/products
... subrogation 0..0 Reimbursement to insurer
... contract 0..0 Contract details

doco Documentation for this format

Terminology Bindings (Differential)

Path Status Usage ValueSet Version Source
Coverage.class.type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.
NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Coverage 0..* Coverage Insurance or medical plan or a payment agreement
... id Σ 0..1 id Logical id of this artifact
... meta Σ 0..1 Meta Metadata about the resource
... text 0..1 Narrative Text summary of the resource, for human interpretation
This profile does not constrain the narrative in regard to content, language, or traceability to data elements
.... extension:medicareAdvantagePlan 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-MedicareAdvantagePlan.html
.... extension:companyName 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-CompanyName.html
.... extension:providerNumber 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-ProviderNumber.html
.... extension:payerType 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerType.html
.... extension:payerDescription 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerDescription.html
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
... identifier Σ 0..* Identifier Business Identifier for the coverage
... status ?!Σ 1..1 code active | cancelled | draft | entered-in-error
Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
... type Σ 0..1 CodeableConcept Coverage category such as medical or accident
Binding: CoverageTypeAndSelf-PayCodes (preferred): The type of insurance: public health, worker compensation; private accident, auto, private health, etc.) or a direct payment by an individual or organization.
... policyHolder Σ 0..1 Reference(Patient | RelatedPerson | Organization) Owner of the policy
... subscriber Σ 0..1 Reference(Patient | RelatedPerson) Subscriber to the policy
... subscriberId Σ 0..1 string ID assigned to the subscriber
... beneficiary Σ 1..1 Reference(Patient) Plan beneficiary
... relationship 0..1 CodeableConcept Beneficiary relationship to the subscriber
Binding: SubscriberRelationshipCodes (extensible): The relationship between the Subscriber and the Beneficiary (insured/covered party/patient).
... period Σ 0..1 Period Coverage start and end dates
... payor Σ 1..* Reference(Organization | Patient | RelatedPerson) Issuer of the policy
... Slices for class 0..* BackboneElement Additional coverage classifications
Slice: Unordered, Open by value:type
.... class:All Slices Content/Rules for all slices
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
..... value Σ 1..1 string Value associated with the type
..... name Σ 0..1 string Human readable description of the type and value
.... class:group 0..* BackboneElement (USCDI) Group
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
...... id 0..1 string Unique id for inter-element referencing
...... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
...... coding Σ 1..* Coding Code defined by a terminology system
....... id 0..1 string Unique id for inter-element referencing
....... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
....... system Σ 0..1 uri Identity of the terminology system
Fixed Value: http://terminology.hl7.org/CodeSystem/coverage-class
....... version Σ 0..1 string Version of the system - if relevant
....... code Σ 1..1 code Symbol in syntax defined by the system
Fixed Value: group
....... display Σ 0..1 string Representation defined by the system
....... userSelected Σ 0..1 boolean If this coding was chosen directly by the user
...... text Σ 0..1 string Plain text representation of the concept
..... value Σ 1..1 string (USCDI) Group Number
..... name Σ 0..1 string (USCDI) Group Name

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Coverage.status Base required Financial Resource Status Codes 📍4.0.1 FHIR Std.
Coverage.type Base preferred Coverage Type and Self-Pay Codes 📍4.0.1 FHIR Std.
Coverage.relationship Base extensible SubscriberPolicyholder Relationship Codes 📍4.0.1 FHIR Std.
Coverage.class.type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.
Coverage.class:group.​type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.
Coverage.costToBeneficiary.​type Base extensible Coverage Copay Type Codes 📍4.0.1 FHIR Std.
Coverage.costToBeneficiary.​exception.type Base example Example Coverage Financial Exception Codes 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
dom-2 error Coverage If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error Coverage If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4 error Coverage If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5 error Coverage If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice Coverage A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

This structure is derived from Coverage

Key Elements View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Coverage 0..* Coverage Insurance or medical plan or a payment agreement
... Slices for extension 0..* Extension Extension
Slice: Unordered, Open by value:url
.... extension:medicareAdvantagePlan 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-MedicareAdvantagePlan.html
.... extension:companyName 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-CompanyName.html
.... extension:providerNumber 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-ProviderNumber.html
.... extension:payerType 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerType.html
.... extension:payerDescription 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerDescription.html
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
... status ?!Σ 1..1 code active | cancelled | draft | entered-in-error
Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
... payor Σ 1..* Reference(Organization | Patient | RelatedPerson) Issuer of the policy
... Slices for class 0..* BackboneElement Additional coverage classifications
Slice: Unordered, Open by value:type
.... class:All Slices Content/Rules for all slices
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
..... value Σ 1..1 string Value associated with the type
.... class:group 0..* BackboneElement (USCDI) Group
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
...... coding Σ 1..* Coding Code defined by a terminology system
....... system Σ 0..1 uri Identity of the terminology system
Fixed Value: http://terminology.hl7.org/CodeSystem/coverage-class
....... code Σ 1..1 code Symbol in syntax defined by the system
Fixed Value: group
..... value Σ 1..1 string (USCDI) Group Number
..... name Σ 0..1 string (USCDI) Group Name

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Coverage.status Base required Financial Resource Status Codes 📍4.0.1 FHIR Std.
Coverage.class.type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.
Coverage.class:group.​type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
dom-2 error Coverage If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error Coverage If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4 error Coverage If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5 error Coverage If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice Coverage A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

Differential View

This structure is derived from Coverage

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Coverage 0..* Coverage Insurance or medical plan or a payment agreement
... implicitRules 0..0 A set of rules under which this content was created
... language 0..0 Language of the resource content
... contained 0..0 Contained, inline Resources
.... extension:medicareAdvantagePlan 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-MedicareAdvantagePlan.html
.... extension:companyName 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-CompanyName.html
.... extension:providerNumber 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-ProviderNumber.html
.... extension:payerType 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerType.html
.... extension:payerDescription 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerDescription.html
... beneficiary 1..1 Reference(Patient) Plan beneficiary
... dependent 0..0 Dependent number
... Slices for class 0..* BackboneElement Additional coverage classifications
Slice: Unordered, Open by value:type
.... class:All Slices Content/Rules for all slices
..... type 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
.... class:group 0..* BackboneElement (USCDI) Group
..... type
...... coding 1..* Coding Code defined by a terminology system
....... system 0..1 uri Identity of the terminology system
Fixed Value: http://terminology.hl7.org/CodeSystem/coverage-class
....... code 1..1 code Symbol in syntax defined by the system
Fixed Value: group
..... value 1..1 string (USCDI) Group Number
..... name 0..1 string (USCDI) Group Name
... order 0..0 Relative order of the coverage
... network 0..0 Insurer network
... costToBeneficiary 0..0 Patient payments for services/products
... subrogation 0..0 Reimbursement to insurer
... contract 0..0 Contract details

doco Documentation for this format

Terminology Bindings (Differential)

Path Status Usage ValueSet Version Source
Coverage.class.type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.

Snapshot View

NameFlagsCard.TypeDescription & Constraints    Filter: Filtersdoco
.. Coverage 0..* Coverage Insurance or medical plan or a payment agreement
... id Σ 0..1 id Logical id of this artifact
... meta Σ 0..1 Meta Metadata about the resource
... text 0..1 Narrative Text summary of the resource, for human interpretation
This profile does not constrain the narrative in regard to content, language, or traceability to data elements
.... extension:medicareAdvantagePlan 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-MedicareAdvantagePlan.html
.... extension:companyName 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-CompanyName.html
.... extension:providerNumber 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-ProviderNumber.html
.... extension:payerType 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerType.html
.... extension:payerDescription 0..1 string Extension
URL: https://ehi-export.pointclickcare.com/site/StructureDefinition-PayerDescription.html
... modifierExtension ?! 0..* Extension Extensions that cannot be ignored
... identifier Σ 0..* Identifier Business Identifier for the coverage
... status ?!Σ 1..1 code active | cancelled | draft | entered-in-error
Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
... type Σ 0..1 CodeableConcept Coverage category such as medical or accident
Binding: CoverageTypeAndSelf-PayCodes (preferred): The type of insurance: public health, worker compensation; private accident, auto, private health, etc.) or a direct payment by an individual or organization.
... policyHolder Σ 0..1 Reference(Patient | RelatedPerson | Organization) Owner of the policy
... subscriber Σ 0..1 Reference(Patient | RelatedPerson) Subscriber to the policy
... subscriberId Σ 0..1 string ID assigned to the subscriber
... beneficiary Σ 1..1 Reference(Patient) Plan beneficiary
... relationship 0..1 CodeableConcept Beneficiary relationship to the subscriber
Binding: SubscriberRelationshipCodes (extensible): The relationship between the Subscriber and the Beneficiary (insured/covered party/patient).
... period Σ 0..1 Period Coverage start and end dates
... payor Σ 1..* Reference(Organization | Patient | RelatedPerson) Issuer of the policy
... Slices for class 0..* BackboneElement Additional coverage classifications
Slice: Unordered, Open by value:type
.... class:All Slices Content/Rules for all slices
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
..... value Σ 1..1 string Value associated with the type
..... name Σ 0..1 string Human readable description of the type and value
.... class:group 0..* BackboneElement (USCDI) Group
..... id 0..1 string Unique id for inter-element referencing
..... extension 0..* Extension Additional content defined by implementations
..... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
..... type Σ 1..1 CodeableConcept Type of class such as 'group' or 'plan'
Binding: CoverageClassCodes (extensible)
...... id 0..1 string Unique id for inter-element referencing
...... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
...... coding Σ 1..* Coding Code defined by a terminology system
....... id 0..1 string Unique id for inter-element referencing
....... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
....... system Σ 0..1 uri Identity of the terminology system
Fixed Value: http://terminology.hl7.org/CodeSystem/coverage-class
....... version Σ 0..1 string Version of the system - if relevant
....... code Σ 1..1 code Symbol in syntax defined by the system
Fixed Value: group
....... display Σ 0..1 string Representation defined by the system
....... userSelected Σ 0..1 boolean If this coding was chosen directly by the user
...... text Σ 0..1 string Plain text representation of the concept
..... value Σ 1..1 string (USCDI) Group Number
..... name Σ 0..1 string (USCDI) Group Name

doco Documentation for this format

Terminology Bindings

Path Status Usage ValueSet Version Source
Coverage.status Base required Financial Resource Status Codes 📍4.0.1 FHIR Std.
Coverage.type Base preferred Coverage Type and Self-Pay Codes 📍4.0.1 FHIR Std.
Coverage.relationship Base extensible SubscriberPolicyholder Relationship Codes 📍4.0.1 FHIR Std.
Coverage.class.type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.
Coverage.class:group.​type Base extensible Coverage Class Codes 📦4.0.1 FHIR Std.
Coverage.costToBeneficiary.​type Base extensible Coverage Copay Type Codes 📍4.0.1 FHIR Std.
Coverage.costToBeneficiary.​exception.type Base example Example Coverage Financial Exception Codes 📍4.0.1 FHIR Std.

Constraints

Id Grade Path(s) Description Expression
dom-2 error Coverage If the resource is contained in another resource, it SHALL NOT contain nested Resources contained.contained.empty()
dom-3 error Coverage If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4 error Coverage If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5 error Coverage If a resource is contained in another resource, it SHALL NOT have a security label contained.meta.security.empty()
dom-6 best practice Coverage A resource should have narrative for robust management text.`div`.exists()
ele-1 error **ALL** elements All FHIR elements must have a @value or children hasValue() or (children().count() > id.count())
ext-1 error **ALL** extensions Must have either extensions or value[x], not both extension.exists() != value.exists()

This structure is derived from Coverage

 

Other representations of profile: CSV, Excel, Schematron