Da Vinci Health Record Exchange (HRex)
1.0.0 - STU R1
US
Da Vinci Health Record Exchange (HRex)
1.0.0 - STU R1
US
This page is part of the Da Vinci Health Record Exchange (v1.0.0: STU1) based on FHIR R4. This is the current published version in its permanent home (it will always be available at this URL). For a full list of available versions, see the Directory of published versions 
| Official URL: http://hl7.org/fhir/us/davinci-hrex/StructureDefinition/hrex-coverage | Version: 1.0.0 | |||
| Standards status: Trial-use | Maturity Level: 2 | Computable Name: HRexCoverage | ||
The HRex Coverage Profile defines the constraints for representing a member’s healthcare insurance information to the Payer. Coverage instances complying with this profile, sometimes together with the Patient which this profile references via beneficiary, allows a payer to identify a member in their system.
Coverage is central to most Da Vinci use-cases. The resource provides the information that identifies the type of insurance, the payer who provides it and the member who is covered. As such, it forms the justification or focus for almost all data exchanges in the payer space. While the resource is complex, the Da Vinci profile focuses on capturing only the minimum data necessary to identify both payer and member.
Description of Profiles, Differentials, Snapshots and how the different presentations work.
This structure is derived from Coverage
Summary
Mandatory: 1 element (3 nested mandatory elements)
Must-Support: 9 elements
Structures
This structure refers to these other structures:
Slices
This structure defines the following Slices:
Maturity: 2
This structure is derived from Coverage
| Name | Flags | Card. | Type | Description & Constraints |
|---|---|---|---|---|
  Coverage | I | 0..* | Coverage | Insurance or medical plan or a payment agreement hrex-cov-1: Coverage.identifier or Coverage.subscriberId SHALL be present |
  identifier | S | 0..1 | Identifier | Also known as Member identifier |
   value | S | 1..1 | string | The value that is unique within the system. |
  policyHolder | 0..1 | Reference(US Core Patient Profile | HRex Organization Profile | RelatedPerson) | Owner of the policy | |
| subscriber | 0..1 | Reference(US Core Patient Profile) | Subscriber to the policy | |
| subscriberId | S | 0..1 | string | Subscriber ID |
| beneficiary | S | 1..1 | Reference(HRex Patient Demographics) | Plan beneficiary |
| dependent | S | 0..1 | string | Dependent number |
| payor | S | 1..1 | Reference(HRex Organization Profile) | Issuer of the policy |
  Slices for class | 0..* | BackboneElement | Additional coverage classifications Slice: Unordered, Open by pattern:type | |
   class:group | S | 0..1 | BackboneElement | Additional coverage classifications |
  type | S | 1..1 | CodeableConcept | Type of class such as 'group' or 'plan' Required Pattern: At least the following |
  coding | 1..* | Coding | Code defined by a terminology system Fixed Value: (complex) | |
| system | 1..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 | S | 1..1 | string | Value associated with the type |
| Documentation for this format | ||||
| Name | Flags | Card. | Type | Description & Constraints |
|---|---|---|---|---|
| Coverage | I | 0..* | Coverage | Insurance or medical plan or a payment agreement hrex-cov-1: Coverage.identifier or Coverage.subscriberId SHALL be present |
| id | Σ | 0..1 | string | Logical id of this artifact |
| meta | Σ | 0..1 | Meta | Metadata about the resource |
| implicitRules | ?!Σ | 0..1 | uri | A set of rules under which this content was created |
| language | 0..1 | code | Language of the resource content Binding: CommonLanguages (preferred) Max Binding: AllLanguages: A human language. | |
| text | 0..1 | Narrative | Text summary of the resource, for human interpretation | |
| contained | 0..* | Resource | Contained, inline Resources | |
 extension | 0..* | Extension | Additional content defined by implementations | |
 modifierExtension | ?! | 0..* | Extension | Extensions that cannot be ignored |
| identifier | SΣ | 0..1 | Identifier | Also known as Member identifier |
| id | 0..1 | string | Unique id for inter-element referencing | |
| Slices for extension | 0..* | Extension | Additional content defined by implementations Slice: Unordered, Open by value:url | |
| use | ?!Σ | 0..1 | code | usual | official | temp | secondary | old (If known) Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known . |
| type | Σ | 0..1 | CodeableConcept | Description of identifier Binding: Identifier Type Codes (extensible): A coded type for an identifier that can be used to determine which identifier to use for a specific purpose. |
| system | Σ | 0..1 | uri | The namespace for the identifier value Example General: http://www.acme.com/identifiers/patient |
| value | SΣ | 1..1 | string | The value that is unique within the system. Example General: 123456 |
| period | Σ | 0..1 | Period | Time period when id is/was valid for use |
| assigner | Σ | 0..1 | Reference(Organization) | Organization that issued id (may be just text) |
| 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(US Core Patient Profile | HRex Organization Profile | RelatedPerson) | Owner of the policy |
| subscriber | Σ | 0..1 | Reference(US Core Patient Profile) | Subscriber to the policy |
| subscriberId | SΣ | 0..1 | string | Subscriber ID |
| beneficiary | SΣ | 1..1 | Reference(HRex Patient Demographics) | Plan beneficiary |
| dependent | SΣ | 0..1 | string | Dependent number |
| 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 | SΣ | 1..1 | Reference(HRex Organization Profile) | Issuer of the policy |
| Slices for class | 0..* | BackboneElement | Additional coverage classifications Slice: Unordered, Open by pattern: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): The policy classifications, eg. Group, Plan, Class, etc. |
| value | Σ | 1..1 | string | Value associated with the type |
 name | Σ | 0..1 | string | Human readable description of the type and value |
| class:group | S | 0..1 | BackboneElement | Additional coverage classifications |
 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 | SΣ | 1..1 | CodeableConcept | Type of class such as 'group' or 'plan' Binding: CoverageClassCodes (extensible): The policy classifications, eg. Group, Plan, Class, etc. Required Pattern: At least the following |
| id | 0..1 | string | Unique id for inter-element referencing | |
| extension | 0..* | Extension | Additional content defined by implementations | |
| coding | 1..* | Coding | Code defined by a terminology system Fixed Value: (complex) | |
| id | 0..1 | string | Unique id for inter-element referencing | |
| extension | 0..* | Extension | Additional content defined by implementations | |
| system | 1..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 | SΣ | 1..1 | string | Value associated with the type |
| name | Σ | 0..1 | string | Human readable description of the type and value |
| order | Σ | 0..1 | positiveInt | Relative order of the coverage |
| network | Σ | 0..1 | string | Insurer network |
| costToBeneficiary | 0..* | BackboneElement | Patient payments for services/products | |
| 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 | Σ | 0..1 | CodeableConcept | Cost category Binding: CoverageCopayTypeCodes (extensible): The types of services to which patient copayments are specified. |
 value[x] | Σ | 1..1 | The amount or percentage due from the beneficiary | |
| valueQuantity | Quantity(SimpleQuantity) | |||
| valueMoney | Money | |||
| exception | 0..* | BackboneElement | Exceptions for patient payments | |
| 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 | Exception category Binding: ExampleCoverageFinancialExceptionCodes (example): The types of exceptions from the part or full value of financial obligations such as copays. |
| period | Σ | 0..1 | Period | The effective period of the exception |
| subrogation | 0..1 | boolean | Reimbursement to insurer | |
| contract | 0..* | Reference(Contract) | Contract details | |
| Documentation for this format | ||||
| Name | Flags | Card. | Type | Description & Constraints |
|---|---|---|---|---|
| Coverage | I | 0..* | Coverage | Insurance or medical plan or a payment agreement hrex-cov-1: Coverage.identifier or Coverage.subscriberId SHALL be present |
| identifier | Σ | 0..1 | Identifier | Also known as Member identifier |
| value | Σ | 1..1 | string | The value that is unique within the system. |
| subscriberId | Σ | 0..1 | string | Subscriber ID |
| beneficiary | Σ | 1..1 | Reference(HRex Patient Demographics) | Plan beneficiary |
| dependent | Σ | 0..1 | string | Dependent number |
| payor | Σ | 1..1 | Reference(HRex Organization Profile) | Issuer of the policy |
| class:group | 0..1 | BackboneElement | Additional coverage classifications | |
| type | Σ | 1..1 | CodeableConcept | Type of class such as 'group' or 'plan' Binding: CoverageClassCodes (extensible): The policy classifications, eg. Group, Plan, Class, etc. Required Pattern: At least the following |
| coding | 1..* | Coding | Code defined by a terminology system Fixed Value: (complex) | |
| system | 1..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 | Value associated with the type |
| Documentation for this format | ||||
This structure is derived from Coverage
Summary
Mandatory: 1 element (3 nested mandatory elements)
Must-Support: 9 elements
Structures
This structure refers to these other structures:
Slices
This structure defines the following Slices:
Maturity: 2
Differential View
This structure is derived from Coverage
| Name | Flags | Card. | Type | Description & Constraints |
|---|---|---|---|---|
| Coverage | I | 0..* | Coverage | Insurance or medical plan or a payment agreement hrex-cov-1: Coverage.identifier or Coverage.subscriberId SHALL be present |
| identifier | S | 0..1 | Identifier | Also known as Member identifier |
| value | S | 1..1 | string | The value that is unique within the system. |
| policyHolder | 0..1 | Reference(US Core Patient Profile | HRex Organization Profile | RelatedPerson) | Owner of the policy | |
| subscriber | 0..1 | Reference(US Core Patient Profile) | Subscriber to the policy | |
| subscriberId | S | 0..1 | string | Subscriber ID |
| beneficiary | S | 1..1 | Reference(HRex Patient Demographics) | Plan beneficiary |
| dependent | S | 0..1 | string | Dependent number |
| payor | S | 1..1 | Reference(HRex Organization Profile) | Issuer of the policy |
| Slices for class | 0..* | BackboneElement | Additional coverage classifications Slice: Unordered, Open by pattern:type | |
| class:group | S | 0..1 | BackboneElement | Additional coverage classifications |
| type | S | 1..1 | CodeableConcept | Type of class such as 'group' or 'plan' Required Pattern: At least the following |
| coding | 1..* | Coding | Code defined by a terminology system Fixed Value: (complex) | |
| system | 1..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 | S | 1..1 | string | Value associated with the type |
| Documentation for this format | ||||
Snapshot View
| Name | Flags | Card. | Type | Description & Constraints |
|---|---|---|---|---|
| Coverage | I | 0..* | Coverage | Insurance or medical plan or a payment agreement hrex-cov-1: Coverage.identifier or Coverage.subscriberId SHALL be present |
| id | Σ | 0..1 | string | Logical id of this artifact |
| meta | Σ | 0..1 | Meta | Metadata about the resource |
| implicitRules | ?!Σ | 0..1 | uri | A set of rules under which this content was created |
| language | 0..1 | code | Language of the resource content Binding: CommonLanguages (preferred) Max Binding: AllLanguages: A human language. | |
| text | 0..1 | Narrative | Text summary of the resource, for human interpretation | |
| contained | 0..* | Resource | Contained, inline Resources | |
| extension | 0..* | Extension | Additional content defined by implementations | |
| modifierExtension | ?! | 0..* | Extension | Extensions that cannot be ignored |
| identifier | SΣ | 0..1 | Identifier | Also known as Member identifier |
| id | 0..1 | string | Unique id for inter-element referencing | |
| Slices for extension | 0..* | Extension | Additional content defined by implementations Slice: Unordered, Open by value:url | |
| use | ?!Σ | 0..1 | code | usual | official | temp | secondary | old (If known) Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known . |
| type | Σ | 0..1 | CodeableConcept | Description of identifier Binding: Identifier Type Codes (extensible): A coded type for an identifier that can be used to determine which identifier to use for a specific purpose. |
| system | Σ | 0..1 | uri | The namespace for the identifier value Example General: http://www.acme.com/identifiers/patient |
| value | SΣ | 1..1 | string | The value that is unique within the system. Example General: 123456 |
| period | Σ | 0..1 | Period | Time period when id is/was valid for use |
| assigner | Σ | 0..1 | Reference(Organization) | Organization that issued id (may be just text) |
| 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(US Core Patient Profile | HRex Organization Profile | RelatedPerson) | Owner of the policy |
| subscriber | Σ | 0..1 | Reference(US Core Patient Profile) | Subscriber to the policy |
| subscriberId | SΣ | 0..1 | string | Subscriber ID |
| beneficiary | SΣ | 1..1 | Reference(HRex Patient Demographics) | Plan beneficiary |
| dependent | SΣ | 0..1 | string | Dependent number |
| 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 | SΣ | 1..1 | Reference(HRex Organization Profile) | Issuer of the policy |
| Slices for class | 0..* | BackboneElement | Additional coverage classifications Slice: Unordered, Open by pattern: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): The policy classifications, eg. Group, Plan, Class, etc. |
| value | Σ | 1..1 | string | Value associated with the type |
| name | Σ | 0..1 | string | Human readable description of the type and value |
| class:group | S | 0..1 | BackboneElement | Additional coverage classifications |
| 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 | SΣ | 1..1 | CodeableConcept | Type of class such as 'group' or 'plan' Binding: CoverageClassCodes (extensible): The policy classifications, eg. Group, Plan, Class, etc. Required Pattern: At least the following |
| id | 0..1 | string | Unique id for inter-element referencing | |
| extension | 0..* | Extension | Additional content defined by implementations | |
| coding | 1..* | Coding | Code defined by a terminology system Fixed Value: (complex) | |
| id | 0..1 | string | Unique id for inter-element referencing | |
| extension | 0..* | Extension | Additional content defined by implementations | |
| system | 1..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 | SΣ | 1..1 | string | Value associated with the type |
| name | Σ | 0..1 | string | Human readable description of the type and value |
| order | Σ | 0..1 | positiveInt | Relative order of the coverage |
| network | Σ | 0..1 | string | Insurer network |
| costToBeneficiary | 0..* | BackboneElement | Patient payments for services/products | |
| 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 | Σ | 0..1 | CodeableConcept | Cost category Binding: CoverageCopayTypeCodes (extensible): The types of services to which patient copayments are specified. |
| value[x] | Σ | 1..1 | The amount or percentage due from the beneficiary | |
| valueQuantity | Quantity(SimpleQuantity) | |||
| valueMoney | Money | |||
| exception | 0..* | BackboneElement | Exceptions for patient payments | |
| 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 | Exception category Binding: ExampleCoverageFinancialExceptionCodes (example): The types of exceptions from the part or full value of financial obligations such as copays. |
| period | Σ | 0..1 | Period | The effective period of the exception |
| subrogation | 0..1 | boolean | Reimbursement to insurer | |
| contract | 0..* | Reference(Contract) | Contract details | |
| Documentation for this format | ||||
Other representations of profile: CSV, Excel, Schematron
| Path | Conformance | ValueSet / Code |
| Coverage.language | preferred | CommonLanguages Max Binding: AllLanguages |
| Coverage.identifier.use | required | IdentifierUse |
| Coverage.identifier.type | extensible | Identifier Type Codes |
| Coverage.status | required | FinancialResourceStatusCodes |
| Coverage.type | preferred | CoverageTypeAndSelf-PayCodes |
| Coverage.relationship | extensible | SubscriberRelationshipCodes |
| Coverage.class.type | extensible | CoverageClassCodes |
| Coverage.class:group.type | extensible | Pattern: group |
| Coverage.costToBeneficiary.type | extensible | CoverageCopayTypeCodes |
| Coverage.costToBeneficiary.exception.type | example | ExampleCoverageFinancialExceptionCodes |
| Id | Grade | Path | Details | Requirements |
| 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() | |
| hrex-cov-1 | error | Coverage | Coverage.identifier or Coverage.subscriberId SHALL be present : identifier.exists() or subscriberId.exists() | |
| ele-1 | error | Coverage.meta | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.implicitRules | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.language | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.text | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.extension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.extension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.modifierExtension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.modifierExtension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.identifier | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.identifier.extension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.identifier.extension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.identifier.use | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.identifier.type | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.identifier.system | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.identifier.value | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.identifier.period | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.identifier.assigner | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.status | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.type | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.policyHolder | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.subscriber | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.subscriberId | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.beneficiary | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.dependent | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.relationship | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.period | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.payor | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class.extension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.class.extension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.class.modifierExtension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.class.modifierExtension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.class.type | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class.value | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class.name | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class:group | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class:group.extension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.class:group.extension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.class:group.modifierExtension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.class:group.modifierExtension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.class:group.type | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class:group.value | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.class:group.name | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.order | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.network | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.costToBeneficiary | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.costToBeneficiary.extension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.costToBeneficiary.extension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.costToBeneficiary.modifierExtension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.costToBeneficiary.modifierExtension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.costToBeneficiary.type | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.costToBeneficiary.value[x] | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.costToBeneficiary.exception | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.costToBeneficiary.exception.extension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.costToBeneficiary.exception.extension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.costToBeneficiary.exception.modifierExtension | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ext-1 | error | Coverage.costToBeneficiary.exception.modifierExtension | Must have either extensions or value[x], not both : extension.exists() != value.exists() | |
| ele-1 | error | Coverage.costToBeneficiary.exception.type | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.costToBeneficiary.exception.period | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.subrogation | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) | |
| ele-1 | error | Coverage.contract | All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count()) |
If the member identifier (conveyed in Coverage.identifier) is known, it should be sent as this uniquely identifies a covered individual. If not, then the Coverage.subscriberId can be used together with demographic information found by resolving Coverage.beneficiary to identify the member. (There can be multiple members associated with a single subscriber - e.g. family members of an individual who is covered under a work-based policy.)
IG © 2019+ HL7 International - Clinical Interoperability Council. Package hl7.fhir.us.davinci-hrex#1.0.0 based on FHIR 4.0.1. Generated 2022-03-23
Links: Table of Contents |
QA Report
| Version History |
Search |
|
Propose a change