PREFIX fhir:
PREFIX fhirvs:
PREFIX xsd:
BASE
start=@ AND {fhir:nodeRole [fhir:treeRoot]}
# Insurance or medical plan or a payment agreement
CLOSED {
a [fhir:Coverage];
fhir:nodeRole [fhir:treeRoot]?;
fhir:Resource.id @?; # Logical id of this artifact
fhir:Resource.meta @?; # Metadata about the resource
fhir:Resource.implicitRules @?; # A set of rules under which this
# content was created
fhir:Resource.language @?; # Language of the resource content
fhir:DomainResource.text @?; # Text summary of the resource, for
# human interpretation
fhir:DomainResource.contained @*; # Contained, inline Resources
fhir:DomainResource.extension @*; # Additional Content defined by
# implementations
fhir:DomainResource.modifierExtension @*; # Extensions that cannot be ignored
fhir:Coverage.identifier @*; # The primary coverage ID
fhir:Coverage.status @ AND
{fhir:value @fhirvs:fm-status}?; # active | cancelled | draft |
# entered-in-error
fhir:Coverage.type @?; # Type of coverage such as medical
# or accident
fhir:Coverage.policyHolder # Owner of the policy
( @ OR
@ OR
@
)?;
fhir:Coverage.subscriber # Subscriber to the policy
( @ OR
@
)?;
fhir:Coverage.subscriberId @?; # ID assigned to the Subscriber
fhir:Coverage.beneficiary @?; # Plan Beneficiary
fhir:Coverage.relationship @?; # Beneficiary relationship to the
# Subscriber
fhir:Coverage.period @?; # Coverage start and end dates
fhir:Coverage.payor # Identifier for the plan or
# agreement issuer
( @ OR
@ OR
@
)*;
fhir:Coverage.grouping @?; # Additional coverage classifications
fhir:Coverage.dependent @?; # Dependent number
fhir:Coverage.sequence @?; # The plan instance or sequence
# counter
fhir:Coverage.order @?; # Relative order of the coverage
fhir:Coverage.network @?; # Insurer network
fhir:Coverage.contract @*; # Contract details
fhir:index xsd:integer? # Relative position in a list
}
# Additional coverage classifications
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional Content defined by
# implementations
fhir:BackboneElement.modifierExtension @*; # Extensions that cannot be ignored
fhir:Coverage.grouping.group @?; # An identifier for the group
fhir:Coverage.grouping.groupDisplay @?; # Display text for an identifier for
# the group
fhir:Coverage.grouping.subGroup @?; # An identifier for the subsection
# of the group
fhir:Coverage.grouping.subGroupDisplay @?; # Display text for the subsection of
# the group
fhir:Coverage.grouping.plan @?; # An identifier for the plan
fhir:Coverage.grouping.planDisplay @?; # Display text for the plan
fhir:Coverage.grouping.subPlan @?; # An identifier for the subsection
# of the plan
fhir:Coverage.grouping.subPlanDisplay @?; # Display text for the subsection of
# the plan
fhir:Coverage.grouping.class @?; # An identifier for the class
fhir:Coverage.grouping.classDisplay @?; # Display text for the class
fhir:Coverage.grouping.subClass @?; # An identifier for the subsection
# of the class
fhir:Coverage.grouping.subClassDisplay @?; # Display text for the subsection of
# the subclass
fhir:index xsd:integer? # Relative position in a list
}
#---------------------- Data Types -------------------
# Metadata about a resource
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional Content defined by
# implementations
fhir:Meta.versionId @?; # Version specific identifier
fhir:Meta.lastUpdated @?; # When the resource version last
# changed
fhir:Meta.profile @*; # Profiles this resource claims to
# conform to
fhir:Meta.security @*; # Security Labels applied to this
# resource
fhir:Meta.tag @*; # Tags applied to this resource
fhir:index xsd:integer? # Relative position in a list
}
# Primitive Type code
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional Content defined by
# implementations
fhir:value xsd:string?; # Primitive value for code
fhir:index xsd:integer? # Relative position in a list
}
# Primitive Type string
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional Content defined by
# implementations
fhir:value xsd:string MAXLENGTH 1048576?; # Primitive value for string
fhir:index xsd:integer? # Relative position in a list
}
# A reference from one resource to another
CLOSED {
fhir:link IRI?;
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional Content defined by
# implementations
fhir:Reference.reference @?; # Literal reference, Relative,
# internal or absolute URL
fhir:Reference.identifier @?; # Logical reference, when literal
# reference is not known
fhir:Reference.display @?; # Text alternative for the resource
fhir:index xsd:integer? # Relative position in a list
}
# Base Resource
{a .+;
fhir:Resource.id @?; # Logical id of this artifact
fhir:Resource.meta @?; # Metadata about the resource
fhir:Resource.implicitRules @?; # A set of rules under which this
# content was created
fhir:Resource.language @?; # Language of the resource content
fhir:index xsd:integer?
}
# Time range defined by start and end date/time
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional Content defined by
# implementations
fhir:Period.start @?; # Starting time with inclusive
# boundary
fhir:Period.end @?; # End time with inclusive boundary,
# if not ongoing
fhir:index xsd:integer? # Relative position in a list
}
# Primitive Type uri
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional Content defined by
# implementations
fhir:value xsd:string?; # Primitive value for uri
fhir:index xsd:integer? # Relative position in a list
}
# Optional Extensions Element
CLOSED {
fhir:Element.id @?;
fhir:Element.extension @*;
fhir:Extension.url @;
(
fhir:Extension.valueBase64Binary @ |
fhir:Extension.valueBoolean @ |
fhir:Extension.valueCode @ |
fhir:Extension.valueDate @ |
fhir:Extension.valueDateTime @ |
fhir:Extension.valueDecimal @ |
fhir:Extension.valueId @ |
fhir:Extension.valueInstant @ |
fhir:Extension.valueInteger @ |
fhir:Extension.valueMarkdown @ |
fhir:Extension.valueOid @ |
fhir:Extension.valuePositiveInt @ |
fhir:Extension.valueString @ |
fhir:Extension.valueTime @