FHIR Release 3 (STU)

This page is part of the FHIR Specification (v3.0.2: STU 3). The current version which supercedes this version is 5.0.0. For a full list of available versions, see the Directory of published versions

Dataelement.shex

Orders and Observations Work GroupMaturity Level: N/ABallot Status: InformativeCompartments: Not linked to any defined compartments

Raw ShEx

ShEx statement for dataelement

PREFIX fhir: <http://hl7.org/fhir/> 
PREFIX fhirvs: <http://hl7.org/fhir/ValueSet/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> 
BASE <http://hl7.org/fhir/shape/>

start=@<DataElement> AND {fhir:nodeRole [fhir:treeRoot]}


# Resource data element
<DataElement> CLOSED {
    a [fhir:DataElement];
    fhir:nodeRole [fhir:treeRoot]?;
    fhir:Resource.id @<id>?;                # Logical id of this artifact
    fhir:Resource.meta @<Meta>?;            # Metadata about the resource
    fhir:Resource.implicitRules @<uri>?;    # A set of rules under which this 
                                            # content was created 
    fhir:Resource.language @<code>?;        # Language of the resource content
    fhir:DomainResource.text @<Narrative>?;  # Text summary of the resource, for 
                                            # human interpretation 
    fhir:DomainResource.contained @<Resource>*;  # Contained, inline Resources
    fhir:DomainResource.extension @<Extension>*;  # Additional Content defined by 
                                            # implementations 
    fhir:DomainResource.modifierExtension @<Extension>*;  # Extensions that cannot be ignored
    fhir:DataElement.url @<uri>?;           # Logical URI to reference this data 
                                            # element (globally unique) 
    fhir:DataElement.identifier @<Identifier>*;  # Additional identifier for the data 
                                            # element 
    fhir:DataElement.version @<string>?;    # Business version of the data 
                                            # element 
    fhir:DataElement.status @<code> AND
    	{fhir:value @fhirvs:publication-status};  # draft | active | retired | unknown
    fhir:DataElement.experimental @<boolean>?;  # For testing purposes, not real 
                                            # usage 
    fhir:DataElement.date @<dateTime>?;     # Date this was last changed
    fhir:DataElement.publisher @<string>?;  # Name of the publisher 
                                            # (organization or individual) 
    fhir:DataElement.name @<string>?;       # Name for this data element 
                                            # (computer friendly) 
    fhir:DataElement.title @<string>?;      # Name for this data element (human 
                                            # friendly) 
    fhir:DataElement.contact @<ContactDetail>*;  # Contact details for the publisher
    fhir:DataElement.useContext @<UsageContext>*;  # Context the content is intended to 
                                            # support 
    fhir:DataElement.jurisdiction @<CodeableConcept>*;  # Intended jurisdiction for data 
                                            # element (if applicable) 
    fhir:DataElement.copyright @<markdown>?;  # Use and/or publishing restrictions
    fhir:DataElement.stringency @<code> AND
    	{fhir:value @fhirvs:dataelement-stringency}?;  # comparable | fully-specified | 
                                            # equivalent | convertable | 
                                            # scaleable | flexible 
    fhir:DataElement.mapping @<DataElement.mapping>*;  # External specification mapped to
    fhir:DataElement.element @<ElementDefinition>+;  # Definition of element
    fhir:index xsd:integer?                 # Relative position in a list
}

# External specification mapped to
<DataElement.mapping> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:BackboneElement.modifierExtension @<Extension>*;  # Extensions that cannot be ignored
    fhir:DataElement.mapping.identity @<id>;  # Internal id when this mapping is 
                                            # used 
    fhir:DataElement.mapping.uri @<uri>?;   # Identifies what this mapping 
                                            # refers to 
    fhir:DataElement.mapping.name @<string>?;  # Names what this mapping refers to
    fhir:DataElement.mapping.comment @<string>?;  # Versions, issues, scope 
                                            # limitations, etc. 
    fhir:index xsd:integer?                 # Relative position in a list
}

#---------------------- Data Types -------------------

# Primitive Type dateTime
<dateTime> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:gYear OR xsd:gYearMonth OR xsd:date OR xsd:dateTime?;  # Primitive value for dateTime
    fhir:index xsd:integer?                 # Relative position in a list
}

# Metadata about a resource
<Meta> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Meta.versionId @<id>?;             # Version specific identifier
    fhir:Meta.lastUpdated @<instant>?;      # When the resource version last 
                                            # changed 
    fhir:Meta.profile @<uri>*;              # Profiles this resource claims to 
                                            # conform to 
    fhir:Meta.security @<Coding>*;          # Security Labels applied to this 
                                            # resource 
    fhir:Meta.tag @<Coding>*;               # Tags applied to this resource
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type code
<code> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<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
<string> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<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
}

# Base Resource
<Resource> {a .+;
    fhir:Resource.id @<id>?;                # Logical id of this artifact
    fhir:Resource.meta @<Meta>?;            # Metadata about the resource
    fhir:Resource.implicitRules @<uri>?;    # A set of rules under which this 
                                            # content was created 
    fhir:Resource.language @<code>?;        # Language of the resource content
    fhir:index xsd:integer?
}

# Primitive Type uri
<uri> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<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
<Extension> CLOSED {
    fhir:Element.id @<string>?; 
    fhir:Element.extension @<Extension>*; 
    fhir:Extension.url @<uri>; 
    ( 
        fhir:Extension.valueBase64Binary @<base64Binary>  |
        fhir:Extension.valueBoolean @<boolean>  |
        fhir:Extension.valueCode @<code>  |
        fhir:Extension.valueDate @<date>  |
        fhir:Extension.valueDateTime @<dateTime>  |
        fhir:Extension.valueDecimal @<decimal>  |
        fhir:Extension.valueId @<id>  |
        fhir:Extension.valueInstant @<instant>  |
        fhir:Extension.valueInteger @<integer>  |
        fhir:Extension.valueMarkdown @<markdown>  |
        fhir:Extension.valueOid @<oid>  |
        fhir:Extension.valuePositiveInt @<positiveInt>  |
        fhir:Extension.valueString @<string>  |
        fhir:Extension.valueTime @<time>  |
        fhir:Extension.valueUnsignedInt @<unsignedInt>  |
        fhir:Extension.valueUri @<uri>  |
        fhir:Extension.valueAddress @<Address>  |
        fhir:Extension.valueAge @<Age>  |
        fhir:Extension.valueAnnotation @<Annotation>  |
        fhir:Extension.valueAttachment @<Attachment>  |
        fhir:Extension.valueCodeableConcept @<CodeableConcept>  |
        fhir:Extension.valueCoding @<Coding>  |
        fhir:Extension.valueContactPoint @<ContactPoint>  |
        fhir:Extension.valueCount @<Count>  |
        fhir:Extension.valueDistance @<Distance>  |
        fhir:Extension.valueDuration @<Duration>  |
        fhir:Extension.valueHumanName @<HumanName>  |
        fhir:Extension.valueIdentifier @<Identifier>  |
        fhir:Extension.valueMoney @<Money>  |
        fhir:Extension.valuePeriod @<Period>  |
        fhir:Extension.valueQuantity @<Quantity>  |
        fhir:Extension.valueRange @<Range>  |
        fhir:Extension.valueRatio @<Ratio>  |
        fhir:Extension.valueReference @<Reference>  |
        fhir:Extension.valueSampledData @<SampledData>  |
        fhir:Extension.valueSignature @<Signature>  |
        fhir:Extension.valueTiming @<Timing>  |
        fhir:Extension.valueMeta @<Meta> 
    )?;
    fhir:index xsd:integer?                 # Relative position in a list
}

# Contact information
<ContactDetail> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ContactDetail.name @<string>?;     # Name of an individual to contact
    fhir:ContactDetail.telecom @<ContactPoint>*;  # Contact details for individual or 
                                            # organization 
    fhir:index xsd:integer?                 # Relative position in a list
}

# An identifier intended for computation
<Identifier> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Identifier.use @<code> AND
    	{fhir:value @fhirvs:identifier-use}?;  # usual | official | temp | 
                                            # secondary (If known) 
    fhir:Identifier.type @<CodeableConcept>?;  # Description of identifier
    fhir:Identifier.system @<uri>?;         # The namespace for the identifier 
                                            # value 
    fhir:Identifier.value @<string>?;       # The value that is unique
    fhir:Identifier.period @<Period>?;      # Time period when id is/was valid 
                                            # for use 
    fhir:Identifier.assigner @<Reference>?;  # Organization that issued id (may 
                                            # be just text) 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type boolean
<boolean> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:boolean?;                # Primitive value for boolean
    fhir:index xsd:integer?                 # Relative position in a list
}

# A human-readable formatted text, including images
<Narrative> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Narrative.status @<code> AND
    	{fhir:value @fhirvs:narrative-status};  # generated | extensions | 
                                            # additional | empty 
    fhir:Narrative.div xsd:string;          # Limited xhtml content
    fhir:index xsd:integer?                 # Relative position in a list
}

# Describes the context of use for a conformance or knowledge resource
<UsageContext> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:UsageContext.code @<Coding>;       # Type of context being specified
    (                                       # Value that defines the context
        fhir:UsageContext.valueCodeableConcept @<CodeableConcept>  |
        fhir:UsageContext.valueQuantity @<Quantity>  |
        fhir:UsageContext.valueRange @<Range> 
    );
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type markdown
<markdown> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:string?;                 # Primitive value for markdown
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type id
<id> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:string?;                 # Primitive value for id
    fhir:index xsd:integer?                 # Relative position in a list
}

# Definition of an element in a resource or extension
<ElementDefinition> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.path @<string>;  # Path of the element in the 
                                            # hierarchy of elements 
    fhir:ElementDefinition.representation @<code> AND
    	{fhir:value @fhirvs:property-representation}*;  # xmlAttr | xmlText | typeAttr | 
                                            # cdaText | xhtml 
    fhir:ElementDefinition.sliceName @<string>?;  # Name for this particular element 
                                            # (in a set of slices) 
    fhir:ElementDefinition.label @<string>?;  # Name for element to display with 
                                            # or prompt for element 
    fhir:ElementDefinition.code @<Coding>*;  # Corresponding codes in 
                                            # terminologies 
    fhir:ElementDefinition.slicing @<ElementDefinition.slicing>?;  # This element is sliced - slices 
                                            # follow 
    fhir:ElementDefinition.short @<string>?;  # Concise definition for 
                                            # space-constrained presentation 
    fhir:ElementDefinition.definition @<markdown>?;  # Full formal definition as 
                                            # narrative text 
    fhir:ElementDefinition.comment @<markdown>?;  # Comments about the use of this 
                                            # element 
    fhir:ElementDefinition.requirements @<markdown>?;  # Why this resource has been created
    fhir:ElementDefinition.alias @<string>*;  # Other names
    fhir:ElementDefinition.min @<unsignedInt>?;  # Minimum Cardinality
    fhir:ElementDefinition.max @<string>?;  # Maximum Cardinality (a number or *)
    fhir:ElementDefinition.base @<ElementDefinition.base>?;  # Base definition information for 
                                            # tools 
    fhir:ElementDefinition.contentReference @<uri>?;  # Reference to definition of content 
                                            # for the element 
    fhir:ElementDefinition.type @<ElementDefinition.type>*;  # Data type and Profile for this 
                                            # element 
    (                                       # Specified value if missing from 
                                            # instance 
        fhir:ElementDefinition.defaultValueBase64Binary @<base64Binary>  |
        fhir:ElementDefinition.defaultValueBoolean @<boolean>  |
        fhir:ElementDefinition.defaultValueCode @<code>  |
        fhir:ElementDefinition.defaultValueDate @<date>  |
        fhir:ElementDefinition.defaultValueDateTime @<dateTime>  |
        fhir:ElementDefinition.defaultValueDecimal @<decimal>  |
        fhir:ElementDefinition.defaultValueId @<id>  |
        fhir:ElementDefinition.defaultValueInstant @<instant>  |
        fhir:ElementDefinition.defaultValueInteger @<integer>  |
        fhir:ElementDefinition.defaultValueMarkdown @<markdown>  |
        fhir:ElementDefinition.defaultValueOid @<oid>  |
        fhir:ElementDefinition.defaultValuePositiveInt @<positiveInt>  |
        fhir:ElementDefinition.defaultValueString @<string>  |
        fhir:ElementDefinition.defaultValueTime @<time>  |
        fhir:ElementDefinition.defaultValueUnsignedInt @<unsignedInt>  |
        fhir:ElementDefinition.defaultValueUri @<uri>  |
        fhir:ElementDefinition.defaultValueAddress @<Address>  |
        fhir:ElementDefinition.defaultValueAge @<Age>  |
        fhir:ElementDefinition.defaultValueAnnotation @<Annotation>  |
        fhir:ElementDefinition.defaultValueAttachment @<Attachment>  |
        fhir:ElementDefinition.defaultValueCodeableConcept @<CodeableConcept>  |
        fhir:ElementDefinition.defaultValueCoding @<Coding>  |
        fhir:ElementDefinition.defaultValueContactPoint @<ContactPoint>  |
        fhir:ElementDefinition.defaultValueCount @<Count>  |
        fhir:ElementDefinition.defaultValueDistance @<Distance>  |
        fhir:ElementDefinition.defaultValueDuration @<Duration>  |
        fhir:ElementDefinition.defaultValueHumanName @<HumanName>  |
        fhir:ElementDefinition.defaultValueIdentifier @<Identifier>  |
        fhir:ElementDefinition.defaultValueMoney @<Money>  |
        fhir:ElementDefinition.defaultValuePeriod @<Period>  |
        fhir:ElementDefinition.defaultValueQuantity @<Quantity>  |
        fhir:ElementDefinition.defaultValueRange @<Range>  |
        fhir:ElementDefinition.defaultValueRatio @<Ratio>  |
        fhir:ElementDefinition.defaultValueReference @<Reference>  |
        fhir:ElementDefinition.defaultValueSampledData @<SampledData>  |
        fhir:ElementDefinition.defaultValueSignature @<Signature>  |
        fhir:ElementDefinition.defaultValueTiming @<Timing>  |
        fhir:ElementDefinition.defaultValueMeta @<Meta> 
    )?;
    fhir:ElementDefinition.meaningWhenMissing @<markdown>?;  # Implicit meaning when this element 
                                            # is missing 
    fhir:ElementDefinition.orderMeaning @<string>?;  # What the order of the elements 
                                            # means 
    (                                       # Value must be exactly this
        fhir:ElementDefinition.fixedBase64Binary @<base64Binary>  |
        fhir:ElementDefinition.fixedBoolean @<boolean>  |
        fhir:ElementDefinition.fixedCode @<code>  |
        fhir:ElementDefinition.fixedDate @<date>  |
        fhir:ElementDefinition.fixedDateTime @<dateTime>  |
        fhir:ElementDefinition.fixedDecimal @<decimal>  |
        fhir:ElementDefinition.fixedId @<id>  |
        fhir:ElementDefinition.fixedInstant @<instant>  |
        fhir:ElementDefinition.fixedInteger @<integer>  |
        fhir:ElementDefinition.fixedMarkdown @<markdown>  |
        fhir:ElementDefinition.fixedOid @<oid>  |
        fhir:ElementDefinition.fixedPositiveInt @<positiveInt>  |
        fhir:ElementDefinition.fixedString @<string>  |
        fhir:ElementDefinition.fixedTime @<time>  |
        fhir:ElementDefinition.fixedUnsignedInt @<unsignedInt>  |
        fhir:ElementDefinition.fixedUri @<uri>  |
        fhir:ElementDefinition.fixedAddress @<Address>  |
        fhir:ElementDefinition.fixedAge @<Age>  |
        fhir:ElementDefinition.fixedAnnotation @<Annotation>  |
        fhir:ElementDefinition.fixedAttachment @<Attachment>  |
        fhir:ElementDefinition.fixedCodeableConcept @<CodeableConcept>  |
        fhir:ElementDefinition.fixedCoding @<Coding>  |
        fhir:ElementDefinition.fixedContactPoint @<ContactPoint>  |
        fhir:ElementDefinition.fixedCount @<Count>  |
        fhir:ElementDefinition.fixedDistance @<Distance>  |
        fhir:ElementDefinition.fixedDuration @<Duration>  |
        fhir:ElementDefinition.fixedHumanName @<HumanName>  |
        fhir:ElementDefinition.fixedIdentifier @<Identifier>  |
        fhir:ElementDefinition.fixedMoney @<Money>  |
        fhir:ElementDefinition.fixedPeriod @<Period>  |
        fhir:ElementDefinition.fixedQuantity @<Quantity>  |
        fhir:ElementDefinition.fixedRange @<Range>  |
        fhir:ElementDefinition.fixedRatio @<Ratio>  |
        fhir:ElementDefinition.fixedReference @<Reference>  |
        fhir:ElementDefinition.fixedSampledData @<SampledData>  |
        fhir:ElementDefinition.fixedSignature @<Signature>  |
        fhir:ElementDefinition.fixedTiming @<Timing>  |
        fhir:ElementDefinition.fixedMeta @<Meta> 
    )?;
    (                                       # Value must have at least these 
                                            # property values 
        fhir:ElementDefinition.patternBase64Binary @<base64Binary>  |
        fhir:ElementDefinition.patternBoolean @<boolean>  |
        fhir:ElementDefinition.patternCode @<code>  |
        fhir:ElementDefinition.patternDate @<date>  |
        fhir:ElementDefinition.patternDateTime @<dateTime>  |
        fhir:ElementDefinition.patternDecimal @<decimal>  |
        fhir:ElementDefinition.patternId @<id>  |
        fhir:ElementDefinition.patternInstant @<instant>  |
        fhir:ElementDefinition.patternInteger @<integer>  |
        fhir:ElementDefinition.patternMarkdown @<markdown>  |
        fhir:ElementDefinition.patternOid @<oid>  |
        fhir:ElementDefinition.patternPositiveInt @<positiveInt>  |
        fhir:ElementDefinition.patternString @<string>  |
        fhir:ElementDefinition.patternTime @<time>  |
        fhir:ElementDefinition.patternUnsignedInt @<unsignedInt>  |
        fhir:ElementDefinition.patternUri @<uri>  |
        fhir:ElementDefinition.patternAddress @<Address>  |
        fhir:ElementDefinition.patternAge @<Age>  |
        fhir:ElementDefinition.patternAnnotation @<Annotation>  |
        fhir:ElementDefinition.patternAttachment @<Attachment>  |
        fhir:ElementDefinition.patternCodeableConcept @<CodeableConcept>  |
        fhir:ElementDefinition.patternCoding @<Coding>  |
        fhir:ElementDefinition.patternContactPoint @<ContactPoint>  |
        fhir:ElementDefinition.patternCount @<Count>  |
        fhir:ElementDefinition.patternDistance @<Distance>  |
        fhir:ElementDefinition.patternDuration @<Duration>  |
        fhir:ElementDefinition.patternHumanName @<HumanName>  |
        fhir:ElementDefinition.patternIdentifier @<Identifier>  |
        fhir:ElementDefinition.patternMoney @<Money>  |
        fhir:ElementDefinition.patternPeriod @<Period>  |
        fhir:ElementDefinition.patternQuantity @<Quantity>  |
        fhir:ElementDefinition.patternRange @<Range>  |
        fhir:ElementDefinition.patternRatio @<Ratio>  |
        fhir:ElementDefinition.patternReference @<Reference>  |
        fhir:ElementDefinition.patternSampledData @<SampledData>  |
        fhir:ElementDefinition.patternSignature @<Signature>  |
        fhir:ElementDefinition.patternTiming @<Timing>  |
        fhir:ElementDefinition.patternMeta @<Meta> 
    )?;
    fhir:ElementDefinition.example @<ElementDefinition.example>*;  # Example value (as defined for type)
    (                                       # Minimum Allowed Value (for some 
                                            # types) 
        fhir:ElementDefinition.minValueDate @<date>  |
        fhir:ElementDefinition.minValueDateTime @<dateTime>  |
        fhir:ElementDefinition.minValueInstant @<instant>  |
        fhir:ElementDefinition.minValueTime @<time>  |
        fhir:ElementDefinition.minValueDecimal @<decimal>  |
        fhir:ElementDefinition.minValueInteger @<integer>  |
        fhir:ElementDefinition.minValuePositiveInt @<positiveInt>  |
        fhir:ElementDefinition.minValueUnsignedInt @<unsignedInt>  |
        fhir:ElementDefinition.minValueQuantity @<Quantity> 
    )?;
    (                                       # Maximum Allowed Value (for some 
                                            # types) 
        fhir:ElementDefinition.maxValueDate @<date>  |
        fhir:ElementDefinition.maxValueDateTime @<dateTime>  |
        fhir:ElementDefinition.maxValueInstant @<instant>  |
        fhir:ElementDefinition.maxValueTime @<time>  |
        fhir:ElementDefinition.maxValueDecimal @<decimal>  |
        fhir:ElementDefinition.maxValueInteger @<integer>  |
        fhir:ElementDefinition.maxValuePositiveInt @<positiveInt>  |
        fhir:ElementDefinition.maxValueUnsignedInt @<unsignedInt>  |
        fhir:ElementDefinition.maxValueQuantity @<Quantity> 
    )?;
    fhir:ElementDefinition.maxLength @<integer>?;  # Max length for strings
    fhir:ElementDefinition.condition @<id>*;  # Reference to invariant about 
                                            # presence 
    fhir:ElementDefinition.constraint @<ElementDefinition.constraint>*;  # Condition that must evaluate to 
                                            # true 
    fhir:ElementDefinition.mustSupport @<boolean>?;  # If the element must supported
    fhir:ElementDefinition.isModifier @<boolean>?;  # If this modifies the meaning of 
                                            # other elements 
    fhir:ElementDefinition.isSummary @<boolean>?;  # Include when _summary = true?
    fhir:ElementDefinition.binding @<ElementDefinition.binding>?;  # ValueSet details if this is coded
    fhir:ElementDefinition.mapping @<ElementDefinition.mapping>*;  # Map element to another set of 
                                            # definitions 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Concept - reference to a terminology or just  text
<CodeableConcept> CLOSED {
    a NONLITERAL*;
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:CodeableConcept.coding @<Coding>*;  # Code defined by a terminology 
                                            # system 
    fhir:CodeableConcept.text @<string>?;   # Plain text representation of the 
                                            # concept 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type date
<date> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:gYear OR xsd:gYearMonth OR xsd:date?;  # Primitive value for date
    fhir:index xsd:integer?                 # Relative position in a list
}

# An address expressed using postal conventions (as opposed to GPS or other location definition formats)
<Address> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Address.use @<code> AND
    	{fhir:value @fhirvs:address-use}?;  # home | work | temp | old - purpose 
                                            # of this address 
    fhir:Address.type @<code> AND
    	{fhir:value @fhirvs:address-type}?;  # postal | physical | both
    fhir:Address.text @<string>?;           # Text representation of the address
    fhir:Address.line @<string>*;           # Street name, number, direction & 
                                            # P.O. Box etc. 
    fhir:Address.city @<string>?;           # Name of city, town etc.
    fhir:Address.district @<string>?;       # District name (aka county)
    fhir:Address.state @<string>?;          # Sub-unit of country (abbreviations 
                                            # ok) 
    fhir:Address.postalCode @<string>?;     # Postal code for area
    fhir:Address.country @<string>?;        # Country (e.g. can be ISO 3166 2 or 
                                            # 3 letter code) 
    fhir:Address.period @<Period>?;         # Time period when address was/is in 
                                            # use 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Content in a format defined elsewhere
<Attachment> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Attachment.contentType @<code>?;   # Mime type of the content, with 
                                            # charset etc. 
    fhir:Attachment.language @<code>?;      # Human language of the content 
                                            # (BCP-47) 
    fhir:Attachment.data @<base64Binary>?;  # Data inline, base64ed
    fhir:Attachment.url @<uri>?;            # Uri where the data can be found
    fhir:Attachment.size @<unsignedInt>?;   # Number of bytes of content (if url 
                                            # provided) 
    fhir:Attachment.hash @<base64Binary>?;  # Hash of the data (sha-1, base64ed)
    fhir:Attachment.title @<string>?;       # Label to display in place of the 
                                            # data 
    fhir:Attachment.creation @<dateTime>?;  # Date attachment was first created
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type integer
<integer> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:integer MININCLUSIVE "-2147483648"^^xsd:integer MAXINCLUSIVE "2147483647"^^xsd:integer?;  # Primitive value for integer
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type oid
<oid> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:string?;                 # Primitive value for oid
    fhir:index xsd:integer?                 # Relative position in a list
}

# A measured or measurable amount
<Count> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Quantity.value @<decimal>?;        # Numerical value (with implicit 
                                            # precision) 
    fhir:Quantity.comparator @<code> AND
    	{fhir:value @fhirvs:quantity-comparator}?;  # < | <= | >= | > - how to 
                                            # understand the value 
    fhir:Quantity.unit @<string>?;          # Unit representation
    fhir:Quantity.system @<uri>?;           # System that defines coded unit form
    fhir:Quantity.code @<code>?;            # Coded form of the unit
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type instant
<instant> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:dateTime?;               # Primitive value for instant
    fhir:index xsd:integer?                 # Relative position in a list
}

# Details of a Technology mediated contact point (phone, fax, email, etc.)
<ContactPoint> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ContactPoint.system @<code> AND
    	{fhir:value @fhirvs:contact-point-system}?;  # phone | fax | email | pager | url 
                                            # | sms | other 
    fhir:ContactPoint.value @<string>?;     # The actual contact point details
    fhir:ContactPoint.use @<code> AND
    	{fhir:value @fhirvs:contact-point-use}?;  # home | work | temp | old | mobile 
                                            # - purpose of this contact point 
    fhir:ContactPoint.rank @<positiveInt>?;  # Specify preferred order of use (1 
                                            # = highest) 
    fhir:ContactPoint.period @<Period>?;    # Time period when the contact point 
                                            # was/is in use 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Name of a human - parts and usage
<HumanName> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:HumanName.use @<code> AND
    	{fhir:value @fhirvs:name-use}?;  # usual | official | temp | nickname 
                                            # | anonymous | old | maiden 
    fhir:HumanName.text @<string>?;         # Text representation of the full 
                                            # name 
    fhir:HumanName.family @<string>?;       # Family name (often called 
                                            # 'Surname') 
    fhir:HumanName.given @<string>*;        # Given names (not always 'first'). 
                                            # Includes middle names 
    fhir:HumanName.prefix @<string>*;       # Parts that come before the name
    fhir:HumanName.suffix @<string>*;       # Parts that come after the name
    fhir:HumanName.period @<Period>?;       # Time period when name was/is in use
    fhir:index xsd:integer?                 # Relative position in a list
}

# An amount of economic utility in some recognized currency
<Money> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Quantity.value @<decimal>?;        # Numerical value (with implicit 
                                            # precision) 
    fhir:Quantity.comparator @<code> AND
    	{fhir:value @fhirvs:quantity-comparator}?;  # < | <= | >= | > - how to 
                                            # understand the value 
    fhir:Quantity.unit @<string>?;          # Unit representation
    fhir:Quantity.system @<uri>?;           # System that defines coded unit form
    fhir:Quantity.code @<code>?;            # Coded form of the unit
    fhir:index xsd:integer?                 # Relative position in a list
}

# A reference to a code defined by a terminology system
<Coding> CLOSED {
    a NONLITERAL?;
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Coding.system @<uri>?;             # Identity of the terminology system
    fhir:Coding.version @<string>?;         # Version of the system - if relevant
    fhir:Coding.code @<code>?;              # Symbol in syntax defined by the 
                                            # system 
    fhir:Coding.display @<string>?;         # Representation defined by the 
                                            # system 
    fhir:Coding.userSelected @<boolean>?;   # If this coding was chosen directly 
                                            # by the user 
    fhir:index xsd:integer?                 # Relative position in a list
}

# A series of measurements taken by a device
<SampledData> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:SampledData.origin @<SimpleQuantity>;  # Zero value and units
    fhir:SampledData.period @<decimal>;     # Number of milliseconds between 
                                            # samples 
    fhir:SampledData.factor @<decimal>?;    # Multiply data by this before 
                                            # adding to origin 
    fhir:SampledData.lowerLimit @<decimal>?;  # Lower limit of detection
    fhir:SampledData.upperLimit @<decimal>?;  # Upper limit of detection
    fhir:SampledData.dimensions @<positiveInt>;  # Number of sample points at each 
                                            # time point 
    fhir:SampledData.data @<string>;        # Decimal values with spaces, or "E" 
                                            # | "U" | "L" 
    fhir:index xsd:integer?                 # Relative position in a list
}

# A ratio of two Quantity values - a numerator and a denominator
<Ratio> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Ratio.numerator @<Quantity>?;      # Numerator value
    fhir:Ratio.denominator @<Quantity>?;    # Denominator value
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type positiveInt
<positiveInt> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:positiveInteger?;        # Primitive value for positiveInt
    fhir:index xsd:integer?                 # Relative position in a list
}

# A duration of time during which an organism (or a process) has existed
<Age> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Quantity.value @<decimal>?;        # Numerical value (with implicit 
                                            # precision) 
    fhir:Quantity.comparator @<code> AND
    	{fhir:value @fhirvs:quantity-comparator}?;  # < | <= | >= | > - how to 
                                            # understand the value 
    fhir:Quantity.unit @<string>?;          # Unit representation
    fhir:Quantity.system @<uri>?;           # System that defines coded unit form
    fhir:Quantity.code @<code>?;            # Coded form of the unit
    fhir:index xsd:integer?                 # Relative position in a list
}

# A length - a value with a unit that is a physical distance
<Distance> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Quantity.value @<decimal>?;        # Numerical value (with implicit 
                                            # precision) 
    fhir:Quantity.comparator @<code> AND
    	{fhir:value @fhirvs:quantity-comparator}?;  # < | <= | >= | > - how to 
                                            # understand the value 
    fhir:Quantity.unit @<string>?;          # Unit representation
    fhir:Quantity.system @<uri>?;           # System that defines coded unit form
    fhir:Quantity.code @<code>?;            # Coded form of the unit
    fhir:index xsd:integer?                 # Relative position in a list
}

# A reference from one resource to another
<Reference> CLOSED {
    fhir:link IRI?;
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Reference.reference @<string>?;    # Literal reference, Relative, 
                                            # internal or absolute URL 
    fhir:Reference.identifier @<Identifier>?;  # Logical reference, when literal 
                                            # reference is not known 
    fhir:Reference.display @<string>?;      # Text alternative for the resource
    fhir:index xsd:integer?                 # Relative position in a list
}

# Time range defined by start and end date/time
<Period> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Period.start @<dateTime>?;         # Starting time with inclusive 
                                            # boundary 
    fhir:Period.end @<dateTime>?;           # End time with inclusive boundary, 
                                            # if not ongoing 
    fhir:index xsd:integer?                 # Relative position in a list
}

# A measured or measurable amount
<Quantity> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Quantity.value @<decimal>?;        # Numerical value (with implicit 
                                            # precision) 
    fhir:Quantity.comparator @<code> AND
    	{fhir:value @fhirvs:quantity-comparator}?;  # < | <= | >= | > - how to 
                                            # understand the value 
    fhir:Quantity.unit @<string>?;          # Unit representation
    fhir:Quantity.system @<uri>?;           # System that defines coded unit form
    fhir:Quantity.code @<code>?;            # Coded form of the unit
    fhir:index xsd:integer?                 # Relative position in a list
}

# A length of time
<Duration> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Quantity.value @<decimal>?;        # Numerical value (with implicit 
                                            # precision) 
    fhir:Quantity.comparator @<code> AND
    	{fhir:value @fhirvs:quantity-comparator}?;  # < | <= | >= | > - how to 
                                            # understand the value 
    fhir:Quantity.unit @<string>?;          # Unit representation
    fhir:Quantity.system @<uri>?;           # System that defines coded unit form
    fhir:Quantity.code @<code>?;            # Coded form of the unit
    fhir:index xsd:integer?                 # Relative position in a list
}

# Set of values bounded by low and high
<Range> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Range.low @<SimpleQuantity>?;      # Low limit
    fhir:Range.high @<SimpleQuantity>?;     # High limit
    fhir:index xsd:integer?                 # Relative position in a list
}

# Text node with attribution
<Annotation> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    (                                       # Individual responsible for the 
                                            # annotation 
        fhir:Annotation.authorReference @<Reference>  |
        fhir:Annotation.authorReference @<Reference>  |
        fhir:Annotation.authorReference @<Reference>  |
        fhir:Annotation.authorString @<string> 
    )?;
    fhir:Annotation.time @<dateTime>?;      # When the annotation was made
    fhir:Annotation.text @<string>;         # The annotation  - text content
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type base64Binary
<base64Binary> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:base64Binary?;           # Primitive value for base64Binary
    fhir:index xsd:integer?                 # Relative position in a list
}

# A digital Signature - XML DigSig, JWT, Graphical image of signature, etc.
<Signature> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Signature.type @<Coding>+;         # Indication of the reason the 
                                            # entity signed the object(s) 
    fhir:Signature.when @<instant>;         # When the signature was created
    (                                       # Who signed
        fhir:Signature.whoUri @<uri>  |
        fhir:Signature.whoReference @<Reference>  |
        fhir:Signature.whoReference @<Reference>  |
        fhir:Signature.whoReference @<Reference>  |
        fhir:Signature.whoReference @<Reference>  |
        fhir:Signature.whoReference @<Reference> 
    );
    (                                       # The party represented
        fhir:Signature.onBehalfOfUri @<uri>  |
        fhir:Signature.onBehalfOfReference @<Reference>  |
        fhir:Signature.onBehalfOfReference @<Reference>  |
        fhir:Signature.onBehalfOfReference @<Reference>  |
        fhir:Signature.onBehalfOfReference @<Reference>  |
        fhir:Signature.onBehalfOfReference @<Reference> 
    )?;
    fhir:Signature.contentType @<code>?;    # The technical format of the 
                                            # signature 
    fhir:Signature.blob @<base64Binary>?;   # The actual signature content (XML 
                                            # DigSig. JWT, picture, etc.) 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type unsignedInt
<unsignedInt> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:nonNegativeInteger?;     # Primitive value for unsignedInt
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type time
<time> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:time?;                   # Primitive value for time
    fhir:index xsd:integer?                 # Relative position in a list
}

# A timing schedule that specifies an event that may occur multiple times
<Timing> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Timing.event @<dateTime>*;         # When the event occurs
    fhir:Timing.repeat @<Timing.repeat>?;   # When the event is to occur
    fhir:Timing.code @<CodeableConcept>?;   # BID | TID | QID | AM | PM | QD | 
                                            # QOD | Q4H | Q6H + 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Primitive Type decimal
<decimal> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:value xsd:decimal?;                # Primitive value for decimal
    fhir:index xsd:integer?                 # Relative position in a list
}

# A fixed quantity (no comparator)
<SimpleQuantity> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:Quantity.value @<decimal>?;        # Numerical value (with implicit 
                                            # precision) 
    fhir:Quantity.unit @<string>?;          # Unit representation
    fhir:Quantity.system @<uri>?;           # System that defines coded unit form
    fhir:Quantity.code @<code>?;            # Coded form of the unit
    fhir:index xsd:integer?                 # Relative position in a list
}

# When the event is to occur
<Timing.repeat> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    (                                       # Length/Range of lengths, or (Start 
                                            # and/or end) limits 
        fhir:Timing.repeat.boundsDuration @<Duration>  |
        fhir:Timing.repeat.boundsRange @<Range>  |
        fhir:Timing.repeat.boundsPeriod @<Period> 
    )?;
    fhir:Timing.repeat.count @<integer>?;   # Number of times to repeat
    fhir:Timing.repeat.countMax @<integer>?;  # Maximum number of times to repeat
    fhir:Timing.repeat.duration @<decimal>?;  # How long when it happens
    fhir:Timing.repeat.durationMax @<decimal>?;  # How long when it happens (Max)
    fhir:Timing.repeat.durationUnit @<code> AND
    	{fhir:value @fhirvs:units-of-time}?;  # s | min | h | d | wk | mo | a - 
                                            # unit of time (UCUM) 
    fhir:Timing.repeat.frequency @<integer>?;  # Event occurs frequency times per 
                                            # period 
    fhir:Timing.repeat.frequencyMax @<integer>?;  # Event occurs up to frequencyMax 
                                            # times per period 
    fhir:Timing.repeat.period @<decimal>?;  # Event occurs frequency times per 
                                            # period 
    fhir:Timing.repeat.periodMax @<decimal>?;  # Upper limit of period (3-4 hours)
    fhir:Timing.repeat.periodUnit @<code> AND
    	{fhir:value @fhirvs:units-of-time}?;  # s | min | h | d | wk | mo | a - 
                                            # unit of time (UCUM) 
    fhir:Timing.repeat.dayOfWeek @<code> AND
    	{fhir:value @fhirvs:days-of-week}*;  # mon | tue | wed | thu | fri | sat 
                                            # | sun 
    fhir:Timing.repeat.timeOfDay @<time>*;  # Time of day for action
    fhir:Timing.repeat.when @<code> AND
    	{fhir:value @fhirvs:event-timing}*;  # Regular life events the event is 
                                            # tied to 
    fhir:Timing.repeat.offset @<unsignedInt>?;  # Minutes from event (before or 
                                            # after) 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Base definition information for tools
<ElementDefinition.base> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.base.path @<string>;  # Path that identifies the base 
                                            # element 
    fhir:ElementDefinition.base.min @<unsignedInt>;  # Min cardinality of the base element
    fhir:ElementDefinition.base.max @<string>;  # Max cardinality of the base element
    fhir:index xsd:integer?                 # Relative position in a list
}

# Map element to another set of definitions
<ElementDefinition.mapping> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.mapping.identity @<id>;  # Reference to mapping declaration
    fhir:ElementDefinition.mapping.language @<code>?;  # Computable language of mapping
    fhir:ElementDefinition.mapping.map @<string>;  # Details of the mapping
    fhir:ElementDefinition.mapping.comment @<string>?;  # Comments about the mapping or its 
                                            # use 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Condition that must evaluate to true
<ElementDefinition.constraint> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.constraint.key @<id>;  # Target of 'condition' reference 
                                            # above 
    fhir:ElementDefinition.constraint.requirements @<string>?;  # Why this constraint is necessary 
                                            # or appropriate 
    fhir:ElementDefinition.constraint.severity @<code> AND
    	{fhir:value @fhirvs:constraint-severity};  # error | warning
    fhir:ElementDefinition.constraint.human @<string>;  # Human description of constraint
    fhir:ElementDefinition.constraint.expression @<string>;  # FHIRPath expression of constraint
    fhir:ElementDefinition.constraint.xpath @<string>?;  # XPath expression of constraint
    fhir:ElementDefinition.constraint.source @<uri>?;  # Reference to original source of 
                                            # constraint 
    fhir:index xsd:integer?                 # Relative position in a list
}

# Data type and Profile for this element
<ElementDefinition.type> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.type.code @<uri>;  # Data type or Resource (reference 
                                            # to definition) 
    fhir:ElementDefinition.type.profile @<uri>?;  # Profile (StructureDefinition) to 
                                            # apply (or IG) 
    fhir:ElementDefinition.type.targetProfile @<uri>?;  # Profile (StructureDefinition) to 
                                            # apply to reference target (or IG) 
    fhir:ElementDefinition.type.aggregation @<code> AND
    	{fhir:value @fhirvs:resource-aggregation-mode}*;  # contained | referenced | bundled - 
                                            # how aggregated 
    fhir:ElementDefinition.type.versioning @<code> AND
    	{fhir:value @fhirvs:reference-version-rules}?;  # either | independent | specific
    fhir:index xsd:integer?                 # Relative position in a list
}

# ValueSet details if this is coded
<ElementDefinition.binding> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.binding.strength @<code> AND
    	{fhir:value @fhirvs:binding-strength};  # required | extensible | preferred 
                                            # | example 
    fhir:ElementDefinition.binding.description @<string>?;  # Human explanation of the value set
    (                                       # Source of value set
        fhir:ElementDefinition.binding.valueSetUri @<uri>  |
        fhir:ElementDefinition.binding.valueSetReference @<Reference> 
    )?;
    fhir:index xsd:integer?                 # Relative position in a list
}

# This element is sliced - slices follow
<ElementDefinition.slicing> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.slicing.discriminator @<ElementDefinition.slicing.discriminator>*;  # Element values that are used to 
                                            # distinguish the slices 
    fhir:ElementDefinition.slicing.description @<string>?;  # Text description of how slicing 
                                            # works (or not) 
    fhir:ElementDefinition.slicing.ordered @<boolean>?;  # If elements must be in same order 
                                            # as slices 
    fhir:ElementDefinition.slicing.rules @<code> AND
    	{fhir:value @fhirvs:resource-slicing-rules};  # closed | open | openAtEnd
    fhir:index xsd:integer?                 # Relative position in a list
}

# Example value (as defined for type)
<ElementDefinition.example> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.example.label @<string>;  # Describes the purpose of this 
                                            # example 
    (                                       # Value of Example (one of allowed 
                                            # types) 
        fhir:ElementDefinition.example.valueBase64Binary @<base64Binary>  |
        fhir:ElementDefinition.example.valueBoolean @<boolean>  |
        fhir:ElementDefinition.example.valueCode @<code>  |
        fhir:ElementDefinition.example.valueDate @<date>  |
        fhir:ElementDefinition.example.valueDateTime @<dateTime>  |
        fhir:ElementDefinition.example.valueDecimal @<decimal>  |
        fhir:ElementDefinition.example.valueId @<id>  |
        fhir:ElementDefinition.example.valueInstant @<instant>  |
        fhir:ElementDefinition.example.valueInteger @<integer>  |
        fhir:ElementDefinition.example.valueMarkdown @<markdown>  |
        fhir:ElementDefinition.example.valueOid @<oid>  |
        fhir:ElementDefinition.example.valuePositiveInt @<positiveInt>  |
        fhir:ElementDefinition.example.valueString @<string>  |
        fhir:ElementDefinition.example.valueTime @<time>  |
        fhir:ElementDefinition.example.valueUnsignedInt @<unsignedInt>  |
        fhir:ElementDefinition.example.valueUri @<uri>  |
        fhir:ElementDefinition.example.valueAddress @<Address>  |
        fhir:ElementDefinition.example.valueAge @<Age>  |
        fhir:ElementDefinition.example.valueAnnotation @<Annotation>  |
        fhir:ElementDefinition.example.valueAttachment @<Attachment>  |
        fhir:ElementDefinition.example.valueCodeableConcept @<CodeableConcept>  |
        fhir:ElementDefinition.example.valueCoding @<Coding>  |
        fhir:ElementDefinition.example.valueContactPoint @<ContactPoint>  |
        fhir:ElementDefinition.example.valueCount @<Count>  |
        fhir:ElementDefinition.example.valueDistance @<Distance>  |
        fhir:ElementDefinition.example.valueDuration @<Duration>  |
        fhir:ElementDefinition.example.valueHumanName @<HumanName>  |
        fhir:ElementDefinition.example.valueIdentifier @<Identifier>  |
        fhir:ElementDefinition.example.valueMoney @<Money>  |
        fhir:ElementDefinition.example.valuePeriod @<Period>  |
        fhir:ElementDefinition.example.valueQuantity @<Quantity>  |
        fhir:ElementDefinition.example.valueRange @<Range>  |
        fhir:ElementDefinition.example.valueRatio @<Ratio>  |
        fhir:ElementDefinition.example.valueReference @<Reference>  |
        fhir:ElementDefinition.example.valueSampledData @<SampledData>  |
        fhir:ElementDefinition.example.valueSignature @<Signature>  |
        fhir:ElementDefinition.example.valueTiming @<Timing>  |
        fhir:ElementDefinition.example.valueMeta @<Meta> 
    );
    fhir:index xsd:integer?                 # Relative position in a list
}

# Element values that are used to distinguish the slices
<ElementDefinition.slicing.discriminator> CLOSED {
    fhir:Element.id @<string>?;             # xml:id (or equivalent in JSON)
    fhir:Element.extension @<Extension>*;   # Additional Content defined by 
                                            # implementations 
    fhir:ElementDefinition.slicing.discriminator.type @<code> AND
    	{fhir:value @fhirvs:discriminator-type};  # value | exists | pattern | type | 
                                            # profile 
    fhir:ElementDefinition.slicing.discriminator.path @<string>;  # Path to element value
    fhir:index xsd:integer?                 # Relative position in a list
}

#---------------------- Reference Types -------------------

#---------------------- Value Sets ------------------------

# The status of a resource narrative
fhirvs:narrative-status ["generated" "extensions" "additional" "empty"]

# Use of contact point
fhirvs:contact-point-use ["home" "work" "temp" "old" "mobile"]

# How resource references can be aggregated.
fhirvs:resource-aggregation-mode ["contained" "referenced" "bundled"]

# The days of the week.
fhirvs:days-of-week ["mon" "tue" "wed" "thu" "fri" "sat" "sun"]

# How the Quantity should be understood and represented.
fhirvs:quantity-comparator ["<" "<=" ">=" ">"]

# The lifecycle status of a Value Set or Concept Map.
fhirvs:publication-status ["draft" "active" "retired" "unknown"]

# SHALL applications comply with this constraint?
fhirvs:constraint-severity ["error" "warning"]

# The type of an address (physical / postal)
fhirvs:address-type ["postal" "physical" "both"]

# Real world event relating to the schedule.
fhirvs:event-timing ["MORN" "AFT" "EVE" "NIGHT" "PHS" "HS" "WAKE" "C" "CM" "CD" "CV" "AC" "ACM" "ACD" "ACV" "PC" "PCM" "PCD" "PCV"]

# How an element value is interpreted when discrimination is evaluated
fhirvs:discriminator-type ["value" "exists" "pattern" "type" "profile"]

# Identifies the purpose for this identifier, if known .
fhirvs:identifier-use ["usual" "official" "temp" "secondary"]

# Indication of the degree of conformance expectations associated with a binding.
fhirvs:binding-strength ["required" "extensible" "preferred" "example"]

# How slices are interpreted when evaluating an instance.
fhirvs:resource-slicing-rules ["closed" "open" "openAtEnd"]

# A unit of time (units from UCUM).
fhirvs:units-of-time ["s" "min" "h" "d" "wk" "mo" "a"]

# Whether a reference needs to be version specific or version independent, or whether either can be used
fhirvs:reference-version-rules ["either" "independent" "specific"]

# Indicates the degree of precision of the data element definition.
fhirvs:dataelement-stringency ["comparable" "fully-specified" "equivalent" "convertable" "scaleable" "flexible"]

# The use of an address
fhirvs:address-use ["home" "work" "temp" "old"]

# The use of a human name
fhirvs:name-use ["usual" "official" "temp" "nickname" "anonymous" "old" "maiden"]

# How a property is represented when serialized.
fhirvs:property-representation ["xmlAttr" "xmlText" "typeAttr" "cdaText" "xhtml"]

# Telecommunications form for contact point
fhirvs:contact-point-system ["phone" "fax" "email" "pager" "url" "sms" "other"]

Usage note: every effort has been made to ensure that the ShEx files are correct and useful, but they are not a normative part of the specification.