臺灣電子處方箋與調劑單張實作指引(TW EMPD IG)
0.1.0 - ci-build

臺灣電子處方箋與調劑單張實作指引(TW EMPD IG) - Downloaded Version 0.1.0 See the Directory of published versions

## Resource Profile: 電子處方箋/調劑單張-就醫身分別

Official URL: https://nhicore.nhi.gov.tw/empd/StructureDefinition/Coverage-EMR | Version: 0.1.0
Active as of 2023-10-30 | Computable Name: CoverageEMR

用於表示電子處方箋與調劑單張之就醫身分別

Usages:

- Use this Profile: 調劑單張-Bundle and 電子處方箋-Bundle
- Refer to this Profile: 調劑單張-Composition, 電子處方箋-Composition, 調劑單張-處方內容(MedicationRequest) and 電子處方箋-處方內容(MedicationRequest)
- Examples for this Profile: Coverage/cov-ds and Coverage/cov-ep
- CapabilityStatements using this Profile: 電子處方箋與調劑單張-用戶端 and 電子處方箋與調劑單張-伺服端

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..* | Coverage | Insurance or medical plan or a payment agreement
implicitRules | ?!Σ | 0..1 | uri | A set of rules under which this content was created
modifierExtension | ?! | 0..* | Extension | Extensions that cannot be ignored
status | ?!S Σ | 1..1 | code | active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance. Fixed Value: active
type | S Σ | 1..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.
coding | Σ | 0..* | Coding | Code defined by a terminology system Binding: 給付類別值集 (required): 給付類別；應填入 PaymentCategory-vs 值集中的其中一個代碼。
text | S Σ | 0..1 | string | [應填入就醫身分別 Identity Type]
beneficiary | Σ | 1..1 | Reference(Patient) | Plan beneficiary
payor | S Σ | 1..* | Reference(Organization | Patient | RelatedPerson) | Issuer of the policy
Documentation for this format

#### Terminology Bindings

Path | Conformance | ValueSet / Code | URI
Coverage.status | required | Fixed Value: active `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 | PaymentCategoryValueSet(a valid code from 給付類別) `https://nhicore.nhi.gov.tw/empd/ValueSet/PaymentCategory-vs` From this IG

#### 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 Coverage

Name | Flags | Card. | Type | Description & Constraints Filter: Bindings Constraints Obligations
--- | --- | --- | --- | ---
Coverage |  |  | Coverage |
status | S | 1..1 | code | active | cancelled | draft | entered-in-error Fixed Value: active
type | S | 1..1 | CodeableConcept | Coverage category such as medical or accident。[應填入給付類別]
coding |  | 0..* | Coding | Code defined by a terminology system Binding: 給付類別值集 (required): 給付類別；應填入 PaymentCategory-vs 值集中的其中一個代碼。
text | S | 0..1 | string | [應填入就醫身分別 Identity Type]
payor | S | 1..* | Reference(Organization | Patient | RelatedPerson) | Issuer of the policy
Documentation for this format

#### Terminology Bindings (Differential)

Path | Conformance | ValueSet | URI
Coverage.type.coding | required | PaymentCategoryValueSet(a valid code from 給付類別) `https://nhicore.nhi.gov.tw/empd/ValueSet/PaymentCategory-vs` From this IG

Name | Flags | Card. | Type | Description & Constraints Filter: Bindings Constraints Obligations
--- | --- | --- | --- | ---
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
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 | Σ | 0..* | Identifier | Business Identifier for the coverage
status | ?!S Σ | 1..1 | code | active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance. Fixed Value: active
type | S Σ | 1..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: 給付類別值集 (required): 給付類別；應填入 PaymentCategory-vs 值集中的其中一個代碼。
text | S Σ | 0..1 | string | [應填入就醫身分別 Identity Type]
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
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 | S Σ | 1..* | Reference(Organization | Patient | RelatedPerson) | Issuer of the policy
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 | 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

#### Terminology Bindings

Path | Conformance | ValueSet / Code | 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 | Fixed Value: active `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 | PaymentCategoryValueSet(a valid code from 給付類別) `https://nhicore.nhi.gov.tw/empd/ValueSet/PaymentCategory-vs` From this IG
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 Coverage

Summary

Mandatory: 1 element
Must-Support: 4 elements
Fixed: 1 element

Key Elements View

Name | Flags | Card. | Type | Description & Constraints Filter: Bindings Constraints Obligations
--- | --- | --- | --- | ---
Coverage |  | 0..* | Coverage | Insurance or medical plan or a payment agreement
implicitRules | ?!Σ | 0..1 | uri | A set of rules under which this content was created
modifierExtension | ?! | 0..* | Extension | Extensions that cannot be ignored
status | ?!S Σ | 1..1 | code | active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance. Fixed Value: active
type | S Σ | 1..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.
coding | Σ | 0..* | Coding | Code defined by a terminology system Binding: 給付類別值集 (required): 給付類別；應填入 PaymentCategory-vs 值集中的其中一個代碼。
text | S Σ | 0..1 | string | [應填入就醫身分別 Identity Type]
beneficiary | Σ | 1..1 | Reference(Patient) | Plan beneficiary
payor | S Σ | 1..* | Reference(Organization | Patient | RelatedPerson) | Issuer of the policy
Documentation for this format

#### Terminology Bindings

Path | Conformance | ValueSet / Code | URI
Coverage.status | required | Fixed Value: active `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 | PaymentCategoryValueSet(a valid code from 給付類別) `https://nhicore.nhi.gov.tw/empd/ValueSet/PaymentCategory-vs` From this IG

#### 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 Coverage

Name | Flags | Card. | Type | Description & Constraints Filter: Bindings Constraints Obligations
--- | --- | --- | --- | ---
Coverage |  |  | Coverage |
status | S | 1..1 | code | active | cancelled | draft | entered-in-error Fixed Value: active
type | S | 1..1 | CodeableConcept | Coverage category such as medical or accident。[應填入給付類別]
coding |  | 0..* | Coding | Code defined by a terminology system Binding: 給付類別值集 (required): 給付類別；應填入 PaymentCategory-vs 值集中的其中一個代碼。
text | S | 0..1 | string | [應填入就醫身分別 Identity Type]
payor | S | 1..* | Reference(Organization | Patient | RelatedPerson) | Issuer of the policy
Documentation for this format

#### Terminology Bindings (Differential)

Path | Conformance | ValueSet | URI
Coverage.type.coding | required | PaymentCategoryValueSet(a valid code from 給付類別) `https://nhicore.nhi.gov.tw/empd/ValueSet/PaymentCategory-vs` From this IG

Snapshot View

Name | Flags | Card. | Type | Description & Constraints Filter: Bindings Constraints Obligations
--- | --- | --- | --- | ---
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
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 | Σ | 0..* | Identifier | Business Identifier for the coverage
status | ?!S Σ | 1..1 | code | active | cancelled | draft | entered-in-error Binding: FinancialResourceStatusCodes (required): A code specifying the state of the resource instance. Fixed Value: active
type | S Σ | 1..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: 給付類別值集 (required): 給付類別；應填入 PaymentCategory-vs 值集中的其中一個代碼。
text | S Σ | 0..1 | string | [應填入就醫身分別 Identity Type]
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
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 | S Σ | 1..* | Reference(Organization | Patient | RelatedPerson) | Issuer of the policy
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 | 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

#### Terminology Bindings

Path | Conformance | ValueSet / Code | 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 | Fixed Value: active `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 | PaymentCategoryValueSet(a valid code from 給付類別) `https://nhicore.nhi.gov.tw/empd/ValueSet/PaymentCategory-vs` From this IG
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 Coverage

Summary

Mandatory: 1 element
Must-Support: 4 elements
Fixed: 1 element

Other representations of profile: CSV, Excel, Schematron