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 @