HL7 Czech Hospital Discharge Report Implementation Guide, published by HL7 Czech Republic. This guide is not an authorized publication; it is the continuous build for version 0.0.2 built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/HL7-cz/hdr/ and changes regularly. See the Directory of published versions

• Content
• Detailed Descriptions
• Mappings
• XML
• JSON
• TTL

Resource Profile: Coverage: Obligations

This profile defines obligations for a coverage in FHIR for the purpose of this guide.

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.

• Key Elements Table
• Differential Table
• Snapshot Table
• Statistics/References
• All

Name	Flags	Card.	Type	Description & Constraints    Filter: Bindings Constraints Obligations
Coverage		0..*	CZ_Coverage	Czech coverage
implicitRules	?!Σ	0..1	uri	A set of rules under which this content was created
modifierExtension	?!	0..*	Extension	Extensions that cannot be ignored
identifier	OΣ	0..*	Identifier	Business identifier of the coverage. In the event of payment by an insurance company, enter the insurance assignment number (also known as Číslo pojistné smlouvy). Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
status	?!Σ	1..1	code	active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
type	SΣ	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.
beneficiary	Σ	1..1	Reference(Patient (CZ core))	Plan beneficiary
payor	OΣ	1..*	Reference(Patient (CZ core) | Organization (CZ core) | Related Person (CZ core))	Information about the payor of the treatment. This could be an insurance company, a patient, a related person of patient or an another organisation. Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
Documentation for this format

Terminology Bindings

Path	Conformance	ValueSet	URI
Coverage.status	required	FinancialResourceStatusCodes http://hl7.org/fhir/ValueSet/fm-status|4.0.1 From the FHIR Standard
Coverage.type	preferred	CoverageTypeAndSelf-PayCodes http://hl7.org/fhir/ValueSet/coverage-type|4.0.1 From the FHIR Standard

Constraints

Id	Grade	Path(s)	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()
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 CZ_Coverage

Name	Flags	Card.	Type	Description & Constraints    Filter: Bindings Constraints Obligations
Coverage		0..*	CZ_Coverage	Czech coverage
identifier	O	0..*	Identifier	Business identifier of the coverage. In the event of payment by an insurance company, enter the insurance assignment number (also known as Číslo pojistné smlouvy). Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
payor	O	1..*	Reference(Patient (CZ core) | Organization (CZ core) | Related Person (CZ core))	Information about the payor of the treatment. This could be an insurance company, a patient, a related person of patient or an another organisation. Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
Documentation for this format

Name	Flags	Card.	Type	Description & Constraints    Filter: Bindings Constraints Obligations
Coverage		0..*	CZ_Coverage	Czech coverage
id	Σ	0..1	id	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): A human language. Additional Bindings Purpose AllLanguages Max Binding
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
contained		0..*	Resource	Contained, inline Resources
extension		0..*	Extension	Additional content defined by implementations
modifierExtension	?!	0..*	Extension	Extensions that cannot be ignored
identifier	OΣ	0..*	Identifier	Business identifier of the coverage. In the event of payment by an insurance company, enter the insurance assignment number (also known as Číslo pojistné smlouvy). Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
status	?!Σ	1..1	code	active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
type	SΣ	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.
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	Σ	0..*	Coding	Code defined by a terminology system Binding: CoverageTypeAndSelf-PayCodes (required)
text	Σ	0..1	string	Plain text representation of the concept
policyHolder	Σ	0..1	Reference(Patient (CZ core) | Related Person (CZ core) | Organization (CZ core))	Owner of the policy
subscriber	Σ	0..1	Reference(Patient (CZ core) | Related Person (CZ core))	Subscriber to the policy
subscriberId	Σ	0..1	string	Identifier of the subscriber (patient or related person). In the event of payment by an insurance company, enter the insured person's number (also known as Číslo pojištěnce).
beneficiary	Σ	1..1	Reference(Patient (CZ core))	Plan beneficiary
dependent	Σ	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	OΣ	1..*	Reference(Patient (CZ core) | Organization (CZ core) | Related Person (CZ core))	Information about the payor of the treatment. This could be an insurance company, a patient, a related person of patient or an another organisation. Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
class		0..*	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	Σ	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
order	Σ	0..1	positiveInt	Relative order of the coverage
network	Σ	0..1	string	Insurer network
costToBeneficiary		0..*	BackboneElement	Information about the extra costs that are paid for by the payor (also known as Samoplátce).
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

Terminology Bindings

Path	Conformance	ValueSet	URI
Coverage.language	preferred	CommonLanguages http://hl7.org/fhir/ValueSet/languages|4.0.1 From the FHIR Standard Additional Bindings Purpose AllLanguages Max Binding
Coverage.status	required	FinancialResourceStatusCodes http://hl7.org/fhir/ValueSet/fm-status|4.0.1 From the FHIR Standard
Coverage.type	preferred	CoverageTypeAndSelf-PayCodes http://hl7.org/fhir/ValueSet/coverage-type|4.0.1 From the FHIR Standard
Coverage.type.coding	required	CoverageTypeAndSelf-PayCodes http://hl7.org/fhir/ValueSet/coverage-type From the FHIR Standard
Coverage.relationship	extensible	SubscriberRelationshipCodes http://hl7.org/fhir/ValueSet/subscriber-relationship|4.0.1 From the FHIR Standard
Coverage.class.type	extensible	CoverageClassCodes http://hl7.org/fhir/ValueSet/coverage-class|4.0.1 From the FHIR Standard
Coverage.costToBeneficiary.type	extensible	CoverageCopayTypeCodes http://hl7.org/fhir/ValueSet/coverage-copay-type|4.0.1 From the FHIR Standard
Coverage.costToBeneficiary.exception.type	example	ExampleCoverageFinancialExceptionCodes http://hl7.org/fhir/ValueSet/coverage-financial-exception|4.0.1 From the FHIR Standard

Constraints

Id	Grade	Path(s)	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()
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 CZ_Coverage

Summary

Maturity: 0

Key Elements View

Name	Flags	Card.	Type	Description & Constraints    Filter: Bindings Constraints Obligations
Coverage		0..*	CZ_Coverage	Czech coverage
implicitRules	?!Σ	0..1	uri	A set of rules under which this content was created
modifierExtension	?!	0..*	Extension	Extensions that cannot be ignored
identifier	OΣ	0..*	Identifier	Business identifier of the coverage. In the event of payment by an insurance company, enter the insurance assignment number (also known as Číslo pojistné smlouvy). Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
status	?!Σ	1..1	code	active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
type	SΣ	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.
beneficiary	Σ	1..1	Reference(Patient (CZ core))	Plan beneficiary
payor	OΣ	1..*	Reference(Patient (CZ core) | Organization (CZ core) | Related Person (CZ core))	Information about the payor of the treatment. This could be an insurance company, a patient, a related person of patient or an another organisation. Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
Documentation for this format

Terminology Bindings

Path	Conformance	ValueSet	URI
Coverage.status	required	FinancialResourceStatusCodes http://hl7.org/fhir/ValueSet/fm-status|4.0.1 From the FHIR Standard
Coverage.type	preferred	CoverageTypeAndSelf-PayCodes http://hl7.org/fhir/ValueSet/coverage-type|4.0.1 From the FHIR Standard

Constraints

Id	Grade	Path(s)	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()
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 CZ_Coverage

Name	Flags	Card.	Type	Description & Constraints    Filter: Bindings Constraints Obligations
Coverage		0..*	CZ_Coverage	Czech coverage
identifier	O	0..*	Identifier	Business identifier of the coverage. In the event of payment by an insurance company, enter the insurance assignment number (also known as Číslo pojistné smlouvy). Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
payor	O	1..*	Reference(Patient (CZ core) | Organization (CZ core) | Related Person (CZ core))	Information about the payor of the treatment. This could be an insurance company, a patient, a related person of patient or an another organisation. Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
Documentation for this format

Snapshot View

Name	Flags	Card.	Type	Description & Constraints    Filter: Bindings Constraints Obligations
Coverage		0..*	CZ_Coverage	Czech coverage
id	Σ	0..1	id	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): A human language. Additional Bindings Purpose AllLanguages Max Binding
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
contained		0..*	Resource	Contained, inline Resources
extension		0..*	Extension	Additional content defined by implementations
modifierExtension	?!	0..*	Extension	Extensions that cannot be ignored
identifier	OΣ	0..*	Identifier	Business identifier of the coverage. In the event of payment by an insurance company, enter the insurance assignment number (also known as Číslo pojistné smlouvy). Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
status	?!Σ	1..1	code	active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance.
type	SΣ	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.
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	Σ	0..*	Coding	Code defined by a terminology system Binding: CoverageTypeAndSelf-PayCodes (required)
text	Σ	0..1	string	Plain text representation of the concept
policyHolder	Σ	0..1	Reference(Patient (CZ core) | Related Person (CZ core) | Organization (CZ core))	Owner of the policy
subscriber	Σ	0..1	Reference(Patient (CZ core) | Related Person (CZ core))	Subscriber to the policy
subscriberId	Σ	0..1	string	Identifier of the subscriber (patient or related person). In the event of payment by an insurance company, enter the insured person's number (also known as Číslo pojištěnce).
beneficiary	Σ	1..1	Reference(Patient (CZ core))	Plan beneficiary
dependent	Σ	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	OΣ	1..*	Reference(Patient (CZ core) | Organization (CZ core) | Related Person (CZ core))	Information about the payor of the treatment. This could be an insurance company, a patient, a related person of patient or an another organisation. Obligations Actor SHALL:able-to-populate Creator-L2 SHALL:display Consumer-L2 SHALL:able-to-populate Creator-L3 SHALL:display Consumer-L3
class		0..*	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	Σ	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
order	Σ	0..1	positiveInt	Relative order of the coverage
network	Σ	0..1	string	Insurer network
costToBeneficiary		0..*	BackboneElement	Information about the extra costs that are paid for by the payor (also known as Samoplátce).
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

Terminology Bindings

Path	Conformance	ValueSet	URI
Coverage.language	preferred	CommonLanguages http://hl7.org/fhir/ValueSet/languages|4.0.1 From the FHIR Standard Additional Bindings Purpose AllLanguages Max Binding
Coverage.status	required	FinancialResourceStatusCodes http://hl7.org/fhir/ValueSet/fm-status|4.0.1 From the FHIR Standard
Coverage.type	preferred	CoverageTypeAndSelf-PayCodes http://hl7.org/fhir/ValueSet/coverage-type|4.0.1 From the FHIR Standard
Coverage.type.coding	required	CoverageTypeAndSelf-PayCodes http://hl7.org/fhir/ValueSet/coverage-type From the FHIR Standard
Coverage.relationship	extensible	SubscriberRelationshipCodes http://hl7.org/fhir/ValueSet/subscriber-relationship|4.0.1 From the FHIR Standard
Coverage.class.type	extensible	CoverageClassCodes http://hl7.org/fhir/ValueSet/coverage-class|4.0.1 From the FHIR Standard
Coverage.costToBeneficiary.type	extensible	CoverageCopayTypeCodes http://hl7.org/fhir/ValueSet/coverage-copay-type|4.0.1 From the FHIR Standard
Coverage.costToBeneficiary.exception.type	example	ExampleCoverageFinancialExceptionCodes http://hl7.org/fhir/ValueSet/coverage-financial-exception|4.0.1 From the FHIR Standard

Constraints

Id	Grade	Path(s)	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()
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 CZ_Coverage

Summary

Maturity: 0

Other representations of profile: CSV, Excel, Schematron