WHO SMART Trust
1.7.0 - release

WHO SMART Trust, published by WHO. This guide is not an authorized publication; it is the continuous build for version 1.7.0 built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/WorldHealthOrganization/smart-trust/tree/v1.7.0-releaseCandidate and changes regularly. See the Directory of published versions

## Logical Model: HCert - TTL Profile

Active as of 2026-07-29

TTL representation of the HCert logical model.

Raw ttl | Download

    @prefix fhir: <http://hl7.org/fhir/> .
    @prefix owl: <http://www.w3.org/2002/07/owl#> .
    @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
    @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

    # - resource -------------------------------------------------------------------

    <http://hl7.org/fhir/StructureDefinition/HCert> a fhir:StructureDefinition ;
      fhir:nodeRole fhir:treeRoot ;
      fhir:id [ fhir:v "HCert"] ; #
      fhir:text [
         fhir:status [ fhir:v "extensions" ] ;
         fhir:div [ fhir:v "<div xmlns=\"http://www.w3.org/1999/xhtml\"><p class=\"res-header-id\"><b>Generated Narrative: StructureDefinition HCert</b></p><table border=\"0\" cellpadding=\"0\" cellspacing=\"0\" style=\"border: 0px #F0F0F0 solid; font-size: 11px; font-family: verdana; vertical-align: top;\"><tr style=\"border: 1px #F0F0F0 solid; font-size: 11px; font-family: verdana; vertical-align: top\"><th style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; padding-top: 3px; padding-bottom: 3px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"The logical name of the element\">Name</a></th><th style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; padding-top: 3px; padding-bottom: 3px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Information about the use of the element\">Flags</a></th><th style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; padding-top: 3px; padding-bottom: 3px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Minimum and Maximum # of times the element can appear in the instance\">Card.</a></th><th style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; padding-top: 3px; padding-bottom: 3px; width: 100px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Reference to the type of the element\">Type</a></th><th style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; padding-top: 3px; padding-bottom: 3px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Additional information about the element\">Description &amp; Constraints</a><span style=\"float: right\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Legend for this format\"><img src=\"data:image/png;base64, \" alt=\"doco\" style=\"background-color: inherit\"/></a></span></th></tr><tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: white\"><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck1.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_element.gif\" alt=\".\" style=\"background-color: white; background-color: inherit\" title=\"Element\" class=\"hierarchy\"/> <a href=\"StructureDefinition-HCert-definitions.html#HCert\" title=\"Logical Model for the HCERT\">HCert</a><a name=\"HCert\"> </a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"opacity: 0.5\">0</span><span style=\"opacity: 0.5\">..</span><span style=\"opacity: 0.5\">*</span></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R5/types.html#Base\">Base</a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">Health Certificate</td></tr>#xD;\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: #F7F7F7\"><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck10.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_resource.png\" alt=\".\" style=\"background-color: #F7F7F7; background-color: inherit\" title=\"Resource\" class=\"hierarchy\"/> <a href=\"StructureDefinition-HCert-definitions.html#HCert.1\" title=\"HCERT EU DCC\">1</a><a name=\"HCert.1\"> </a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">0..1</td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://smart.who.int/ddcc/1.0.1/StructureDefinition-HCertDCC.html\">HCertDCC</a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">HCERT EU DCC</td></tr>#xD;\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: white\"><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck10.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_resource.png\" alt=\".\" style=\"background-color: white; background-color: inherit\" title=\"Resource\" class=\"hierarchy\"/> <a href=\"StructureDefinition-HCert-definitions.html#HCert.3\" title=\"DDCC Vaccination claim (PROPOSED)\">3</a><a name=\"HCert.3\"> </a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">0..1</td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://smart.who.int/ddcc/1.0.1/StructureDefinition-DDCCCoreDataSetVS.html\" title=\"http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet\">DDCCCoreDataSetVS</a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">Vaccination Core Data Set claim</td></tr>#xD;\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: #F7F7F7\"><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck10.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_resource.png\" alt=\".\" style=\"background-color: #F7F7F7; background-color: inherit\" title=\"Resource\" class=\"hierarchy\"/> <a href=\"StructureDefinition-HCert-definitions.html#HCert.4\" title=\"DDCC Test Result claim (PROPOSED)\">4</a><a name=\"HCert.4\"> </a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">0..1</td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://smart.who.int/ddcc/1.0.1/StructureDefinition-DDCCCoreDataSetTR.html\" title=\"http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet\">DDCCCoreDataSetTR</a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">Test Result Core Data Set claim</td></tr>#xD;\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: white\"><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck10.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_primitive.png\" alt=\".\" style=\"background-color: white; background-color: inherit\" title=\"Primitive Data Type\" class=\"hierarchy\"/> <a href=\"StructureDefinition-HCert-definitions.html#HCert.5\" title=\"URI of a Verifiable Health Link.  Of the form 'vhlink:/eyJ1cmwiOiJodHRwczovL2Vo....' \">5</a><a name=\"HCert.5\"> </a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">0..1</td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://hl7.org/fhir/R5/datatypes.html#string\">string</a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">VHL</td></tr>#xD;\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: #F7F7F7\"><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck10.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_resource.png\" alt=\".\" style=\"background-color: #F7F7F7; background-color: inherit\" title=\"Resource\" class=\"hierarchy\"/> <a href=\"StructureDefinition-HCert-definitions.html#HCert.-6\" title=\"Minimal Digital Vaccination Certificate Payload (Proposed)\">-6</a><a name=\"HCert.-6\"> </a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">0..1</td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://smart.who.int/trust-phw/v0.1.0/StructureDefinition-DVCMin.html\">DVCMin</a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: #F7F7F7; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">DVCMin</td></tr>#xD;\n<tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: white\"><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck00.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"tbl_vjoin_end.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_resource.png\" alt=\".\" style=\"background-color: white; background-color: inherit\" title=\"Resource\" class=\"hierarchy\"/> <a href=\"StructureDefinition-HCert-definitions.html#HCert.-7\" title=\"Medication Treatment Line Minimal (Proposed)\">-7</a><a name=\"HCert.-7\"> </a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">0..1</td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"http://smart.who.int/ph4h/0.9.9/StructureDefinition-MedicationTreatmentLineMin.html\">MedicationTreatmentLineMin</a></td><td style=\"vertical-align: top; text-align : var(--ig-left,left); background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\">Medication Treatment Line Minimal (Proposed)</td></tr>#xD;\n<tr><td colspan=\"5\" class=\"hierarchy\"><br/><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Legend for this format\"><img src=\"data:image/png;base64, \" alt=\"doco\" style=\"background-color: inherit\"/> Documentation for this format</a></td></tr></table></div>"^^rdf:XMLLiteral ]
      ] ; #
      fhir:url [ fhir:v "http://smart.who.int/trust/StructureDefinition/HCert"^^xsd:anyURI] ; #
      fhir:version [ fhir:v "1.7.0"] ; #
      fhir:name [ fhir:v "HCert"] ; #
      fhir:title [ fhir:v "Health Certificate"] ; #
      fhir:status [ fhir:v "active"] ; #
      fhir:date [ fhir:v "2026-07-29T12:20:13+00:00"^^xsd:dateTime] ; #
      fhir:publisher [ fhir:v "WHO"] ; #
      fhir:contact ( [
         fhir:name [ fhir:v "WHO" ] ;
         fhir:telecom ( [
           fhir:system [ fhir:v "url" ] ;
           fhir:value [ fhir:v "http://who.int" ]
         ] )
      ] ) ; #
      fhir:description [ fhir:v "Logical Model for the HCERT"] ; #
      fhir:jurisdiction ( [
         fhir:coding ( [
           fhir:system [ fhir:v "http://unstats.un.org/unsd/methods/m49/m49.htm"^^xsd:anyURI ] ;
           fhir:code [ fhir:v "001" ]
         ] )
      ] ) ; #
      fhir:fhirVersion [ fhir:v "5.0.0"] ; #
      fhir:mapping ( [
         fhir:identity [ fhir:v "rim" ] ;
         fhir:uri [ fhir:v "http://hl7.org/v3"^^xsd:anyURI ] ;
         fhir:name [ fhir:v "RIM Mapping" ]
      ] ) ; #
      fhir:kind [ fhir:v "logical"] ; #
      fhir:abstract [ fhir:v false] ; #
      fhir:type [ fhir:v "http://smart.who.int/trust/StructureDefinition/HCert"^^xsd:anyURI] ; #
      fhir:baseDefinition [
         fhir:v "http://hl7.org/fhir/StructureDefinition/Base"^^xsd:anyURI ;
         fhir:link <http://hl7.org/fhir/StructureDefinition/Base>
      ] ; #
      fhir:derivation [ fhir:v "specialization"] ; #
      fhir:snapshot [
         fhir:extension ( [
           fhir:url [ fhir:v "http://hl7.org/fhir/tools/StructureDefinition/snapshot-base-version"^^xsd:anyURI ] ;
           fhir:value [
             a fhir:string ;
             fhir:v "5.0.0"
           ]
         ] ) ;
         fhir:element ( [
           fhir:id [ fhir:v "HCert" ] ;
           fhir:path [ fhir:v "HCert" ] ;
           fhir:short [ fhir:v "Health Certificate" ] ;
           fhir:definition [ fhir:v "Logical Model for the HCERT" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "*" ] ;
           fhir:base [
             fhir:path [ fhir:v "Base" ] ;
             fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
             fhir:max [ fhir:v "*" ]
           ] ;
           fhir:isModifier [ fhir:v false ] ;
           fhir:mapping ( [
             fhir:identity [ fhir:v "rim" ] ;
             fhir:map [ fhir:v "n/a" ]
           ] )
         ] [
           fhir:id [ fhir:v "HCert.1" ] ;
           fhir:path [ fhir:v "HCert.1" ] ;
           fhir:short [ fhir:v "HCERT EU DCC" ] ;
           fhir:definition [ fhir:v "HCERT EU DCC" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:base [
             fhir:path [ fhir:v "HCert.1" ] ;
             fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
             fhir:max [ fhir:v "1" ]
           ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/HCertDCC"^^xsd:anyURI ]
           ] )
         ] [
           fhir:id [ fhir:v "HCert.3" ] ;
           fhir:path [ fhir:v "HCert.3" ] ;
           fhir:short [ fhir:v "Vaccination Core Data Set claim" ] ;
           fhir:definition [ fhir:v "DDCC Vaccination claim (PROPOSED)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:base [
             fhir:path [ fhir:v "HCert.3" ] ;
             fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
             fhir:max [ fhir:v "1" ]
           ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet"^^xsd:anyURI ] ;
             fhir:profile ( [
               fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS"^^xsd:anyURI ;
               fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS>
             ] )
           ] )
         ] [
           fhir:id [ fhir:v "HCert.4" ] ;
           fhir:path [ fhir:v "HCert.4" ] ;
           fhir:short [ fhir:v "Test Result Core Data Set claim" ] ;
           fhir:definition [ fhir:v "DDCC Test Result claim (PROPOSED)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:base [
             fhir:path [ fhir:v "HCert.4" ] ;
             fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
             fhir:max [ fhir:v "1" ]
           ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet"^^xsd:anyURI ] ;
             fhir:profile ( [
               fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetTR"^^xsd:anyURI ;
               fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetTR>
             ] )
           ] )
         ] [
           fhir:id [ fhir:v "HCert.5" ] ;
           fhir:path [ fhir:v "HCert.5" ] ;
           fhir:short [ fhir:v "VHL" ] ;
           fhir:definition [ fhir:v "URI of a Verifiable Health Link.  Of the form 'vhlink:/eyJ1cmwiOiJodHRwczovL2Vo....'" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:base [
             fhir:path [ fhir:v "HCert.5" ] ;
             fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
             fhir:max [ fhir:v "1" ]
           ] ;
           fhir:type ( [
             fhir:code [ fhir:v "string"^^xsd:anyURI ]
           ] )
         ] [
           fhir:id [ fhir:v "HCert.-6" ] ;
           fhir:path [ fhir:v "HCert.-6" ] ;
           fhir:short [ fhir:v "DVCMin" ] ;
           fhir:definition [ fhir:v "Minimal Digital Vaccination Certificate Payload (Proposed)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:base [
             fhir:path [ fhir:v "HCert.-6" ] ;
             fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
             fhir:max [ fhir:v "1" ]
           ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/trust-phw/StructureDefinition/DVCMin"^^xsd:anyURI ]
           ] )
         ] [
           fhir:id [ fhir:v "HCert.-7" ] ;
           fhir:path [ fhir:v "HCert.-7" ] ;
           fhir:short [ fhir:v "Medication Treatment Line Minimal (Proposed)" ] ;
           fhir:definition [ fhir:v "Medication Treatment Line Minimal (Proposed)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:base [
             fhir:path [ fhir:v "HCert.-7" ] ;
             fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
             fhir:max [ fhir:v "1" ]
           ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ph4h/StructureDefinition/MedicationTreatmentLineMin"^^xsd:anyURI ]
           ] )
         ] )
      ] ; #
      fhir:differential [
         fhir:element ( [
           fhir:id [ fhir:v "HCert" ] ;
           fhir:path [ fhir:v "HCert" ] ;
           fhir:short [ fhir:v "Health Certificate" ] ;
           fhir:definition [ fhir:v "Logical Model for the HCERT" ]
         ] [
           fhir:id [ fhir:v "HCert.1" ] ;
           fhir:path [ fhir:v "HCert.1" ] ;
           fhir:short [ fhir:v "HCERT EU DCC" ] ;
           fhir:definition [ fhir:v "HCERT EU DCC" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/HCertDCC"^^xsd:anyURI ]
           ] )
         ] [
           fhir:id [ fhir:v "HCert.3" ] ;
           fhir:path [ fhir:v "HCert.3" ] ;
           fhir:short [ fhir:v "Vaccination Core Data Set claim" ] ;
           fhir:definition [ fhir:v "DDCC Vaccination claim (PROPOSED)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet"^^xsd:anyURI ] ;
             fhir:profile ( [
               fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS"^^xsd:anyURI ;
               fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS>
             ] )
           ] )
         ] [
           fhir:id [ fhir:v "HCert.4" ] ;
           fhir:path [ fhir:v "HCert.4" ] ;
           fhir:short [ fhir:v "Test Result Core Data Set claim" ] ;
           fhir:definition [ fhir:v "DDCC Test Result claim (PROPOSED)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet"^^xsd:anyURI ] ;
             fhir:profile ( [
               fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetTR"^^xsd:anyURI ;
               fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetTR>
             ] )
           ] )
         ] [
           fhir:id [ fhir:v "HCert.5" ] ;
           fhir:path [ fhir:v "HCert.5" ] ;
           fhir:short [ fhir:v "VHL" ] ;
           fhir:definition [ fhir:v "URI of a Verifiable Health Link.  Of the form 'vhlink:/eyJ1cmwiOiJodHRwczovL2Vo....' " ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:type ( [
             fhir:code [ fhir:v "string"^^xsd:anyURI ]
           ] )
         ] [
           fhir:id [ fhir:v "HCert.-6" ] ;
           fhir:path [ fhir:v "HCert.-6" ] ;
           fhir:short [ fhir:v "DVCMin" ] ;
           fhir:definition [ fhir:v "Minimal Digital Vaccination Certificate Payload (Proposed)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/trust-phw/StructureDefinition/DVCMin"^^xsd:anyURI ]
           ] )
         ] [
           fhir:id [ fhir:v "HCert.-7" ] ;
           fhir:path [ fhir:v "HCert.-7" ] ;
           fhir:short [ fhir:v "Medication Treatment Line Minimal (Proposed)" ] ;
           fhir:definition [ fhir:v "Medication Treatment Line Minimal (Proposed)" ] ;
           fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
           fhir:max [ fhir:v "1" ] ;
           fhir:type ( [
             fhir:code [ fhir:v "http://smart.who.int/ph4h/StructureDefinition/MedicationTreatmentLineMin"^^xsd:anyURI ]
           ] )
         ] )
      ] . #