FHIR Extensions Pack
5.1.0-ballot1 - Ballot for Release 5.1.0 International flag

This page is part of the FHIR Core Extensions Registry (v5.1.0-ballot: Releases Ballot 4) based on FHIR (HL7® FHIR® Standard) v5.0.0. The current version which supersedes this version is 1.0.0. For a full list of available versions, see the Directory of published versions

: FML Conversion for VerificationResult: R4 to R5 - TTL Representation

Page standards status: Trial-use Maturity Level: 1

Raw ttl | Download

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

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

 a fhir:StructureMap ;
  fhir:nodeRole fhir:treeRoot ;
  fhir:id [ fhir:v "VerificationResult4to5"] ; # 
  fhir:text [
fhir:status [ fhir:v "generated" ] ;
fhir:div "<div xmlns=\"http://www.w3.org/1999/xhtml\"><pre class=\"fml\">\r\n<span style=\"color: #cc00cc\">/// <b>url</b> = </span><span style=\"color: blue\">'http://hl7.org/fhir/StructureMap/VerificationResult4to5'</span>\r\n<span style=\"color: #cc00cc\">/// <b>name</b> = </span><span style=\"color: blue\">'VerificationResult4to5'</span>\r\n<span style=\"color: #cc00cc\">/// <b>title</b> = </span><span style=\"color: blue\">'FML Conversion for VerificationResult: R4 to R5'</span>\r\n<span style=\"color: #cc00cc\">/// <b>status</b> = </span><span style=\"color: blue\">'active'</span>\r\n\r\n<b>conceptmap</b><span style=\"color: navy\"> &quot;</span>status<span style=\"color: navy\">&quot; {\r\n</span><b>  prefix </b>s<span style=\"color: navy\"> = &quot;</span><a href=\"http://hl7.org/fhir/R4/codesystem-verificationresult-status.html\" title=\"Status\">http://hl7.org/fhir/4.0/CodeSystem/status</a><span style=\"color: navy\">&quot;\r\n</span><b>  prefix </b>t<span style=\"color: navy\"> = &quot;</span><a href=\"http://hl7.org/fhir/R5/codesystem-verificationresult-status.html\" title=\"status\">http://hl7.org/fhir/CodeSystem/verificationresult-status</a><span style=\"color: navy\">&quot;\r\n</span>\r\n  s<span style=\"color: navy\">:</span>attested <b>-</b> t<span style=\"color: navy\">:</span>attested\r\n  s<span style=\"color: navy\">:</span>validated <b>-</b> t<span style=\"color: navy\">:</span>validated\r\n  s<span style=\"color: navy\">:</span>&quot;in-process&quot; <b>-</b> t<span style=\"color: navy\">:</span><span style=\"color: navy\">&quot;</span>in-process<span style=\"color: navy\">&quot;</span>\r\n  s<span style=\"color: navy\">:</span>&quot;req-revalid&quot; <b>-</b> t<span style=\"color: navy\">:</span><span style=\"color: navy\">&quot;</span>req-revalid<span style=\"color: navy\">&quot;</span>\r\n  s<span style=\"color: navy\">:</span>&quot;val-fail&quot; <b>-</b> t<span style=\"color: navy\">:</span><span style=\"color: navy\">&quot;</span>val-fail<span style=\"color: navy\">&quot;</span>\r\n  s<span style=\"color: navy\">:</span>&quot;reval-fail&quot; <b>-</b> t<span style=\"color: navy\">:</span><span style=\"color: navy\">&quot;</span>reval-fail<span style=\"color: navy\">&quot;</span>\r\n<span style=\"color: navy\">}\r\n\r\n</span><b>uses</b><span style=\"color: navy\"> &quot;</span><a href=\"http://hl7.org/fhir/R4/verificationresult.html\" title=\"VerificationResult\">http://hl7.org/fhir/4.0/StructureDefinition/VerificationResult</a><span style=\"color: navy\">&quot; </span><b>alias </b>VerificationResultR4 <b>as </b><b>source</b>\r\n<b>uses</b><span style=\"color: navy\"> &quot;</span><a href=\"http://hl7.org/fhir/R5/verificationresult.html\" title=\"VerificationResult\">http://hl7.org/fhir/StructureDefinition/VerificationResult</a><span style=\"color: navy\">&quot; </span><b>alias </b>VerificationResultR5 <b>as </b><b>target</b>\r\n\r\n<b>imports</b><span style=\"color: navy\"> &quot;</span>http://hl7.org/fhir/StructureMap/*4to5<span style=\"color: navy\">&quot;\r\n</span>\r\n<b>group </b>VerificationResult<span style=\"color: navy\">(</span><b>source</b> <span style=\"color: maroon\">src</span><span style=\"color: navy\"> : </span>VerificationResultR4, <b>target</b> <span style=\"color: maroon\">tgt</span><span style=\"color: navy\"> : </span>VerificationResultR5<span style=\"color: navy\">)</span><b> extends </b>DomainResource<b> &lt;&lt;type+&gt;&gt;</b><span style=\"color: navy\"> {\r\n</span>  src.target<span style=\"color: navy\"><b> -&gt; </b></span>tgt.target<span style=\"color: navy\">;</span>\r\n  src.targetLocation<span style=\"color: navy\"><b> -&gt; </b></span>tgt.targetLocation<span style=\"color: navy\">;</span>\r\n  src.need<span style=\"color: navy\"><b> -&gt; </b></span>tgt.need<span style=\"color: navy\">;</span>\r\n  src.status<b> as </b><span style=\"color: maroon\">v</span><span style=\"color: navy\"><b> -&gt; </b></span>tgt.status = <b>translate</b><span style=\"color: navy\">(</span><span style=\"color: maroon\">v</span><span style=\"color: navy\">, </span><span style=\"color: blue\">'#status'</span><span style=\"color: navy\">, </span><span style=\"color: blue\">'code'</span><span style=\"color: navy\">)</span><span style=\"color: navy\">;</span>\r\n  src.statusDate<span style=\"color: navy\"><b> -&gt; </b></span>tgt.statusDate<span style=\"color: navy\">;</span>\r\n  src.validationType<span style=\"color: navy\"><b> -&gt; </b></span>tgt.validationType<span style=\"color: navy\">;</span>\r\n  src.validationProcess<span style=\"color: navy\"><b> -&gt; </b></span>tgt.validationProcess<span style=\"color: navy\">;</span>\r\n  src.frequency<span style=\"color: navy\"><b> -&gt; </b></span>tgt.frequency<span style=\"color: navy\">;</span>\r\n  src.lastPerformed<span style=\"color: navy\"><b> -&gt; </b></span>tgt.lastPerformed<span style=\"color: navy\">;</span>\r\n  src.nextScheduled<span style=\"color: navy\"><b> -&gt; </b></span>tgt.nextScheduled<span style=\"color: navy\">;</span>\r\n  src.failureAction<span style=\"color: navy\"><b> -&gt; </b></span>tgt.failureAction<span style=\"color: navy\">;</span>\r\n  src.primarySource<b> as </b><span style=\"color: maroon\">s</span><span style=\"color: navy\"><b> -&gt; </b></span>tgt.primarySource<b> as </b><span style=\"color: maroon\">t</span><b> then </b>VerificationResultPrimarySource<span style=\"color: navy\">(</span><span style=\"color: maroon\">s</span><span style=\"color: navy\">, </span><span style=\"color: maroon\">t</span><span style=\"color: navy\">)</span><span style=\"color: navy\">;</span>\r\n  src.attestation<b> as </b><span style=\"color: maroon\">s</span><span style=\"color: navy\"><b> -&gt; </b></span>tgt.attestation<b> as </b><span style=\"color: maroon\">t</span><b> then </b>VerificationResultAttestation<span style=\"color: navy\">(</span><span style=\"color: maroon\">s</span><span style=\"color: navy\">, </span><span style=\"color: maroon\">t</span><span style=\"color: navy\">)</span><span style=\"color: navy\">;</span>\r\n  src.validator<b> as </b><span style=\"color: maroon\">s</span><span style=\"color: navy\"><b> -&gt; </b></span>tgt.validator<b> as </b><span style=\"color: maroon\">t</span><b> then </b>VerificationResultValidator<span style=\"color: navy\">(</span><span style=\"color: maroon\">s</span><span style=\"color: navy\">, </span><span style=\"color: maroon\">t</span><span style=\"color: navy\">)</span><span style=\"color: navy\">;</span>\r\n<span style=\"color: navy\">}\r\n\r\n</span><b>group </b>VerificationResultPrimarySource<span style=\"color: navy\">(</span><b>source</b> <span style=\"color: maroon\">src</span>, <b>target</b> <span style=\"color: maroon\">tgt</span><span style=\"color: navy\">)</span><b> extends </b>BackboneElement<span style=\"color: navy\"> {\r\n</span>  src.who<span style=\"color: navy\"><b> -&gt; </b></span>tgt.who<span style=\"color: navy\">;</span>\r\n  src.type<span style=\"color: navy\"><b> -&gt; </b></span>tgt.type<span style=\"color: navy\">;</span>\r\n  src.communicationMethod<span style=\"color: navy\"><b> -&gt; </b></span>tgt.communicationMethod<span style=\"color: navy\">;</span>\r\n  src.validationStatus<span style=\"color: navy\"><b> -&gt; </b></span>tgt.validationStatus<span style=\"color: navy\">;</span>\r\n  src.validationDate<span style=\"color: navy\"><b> -&gt; </b></span>tgt.validationDate<span style=\"color: navy\">;</span>\r\n  src.canPushUpdates<span style=\"color: navy\"><b> -&gt; </b></span>tgt.canPushUpdates<span style=\"color: navy\">;</span>\r\n  src.pushTypeAvailable<span style=\"color: navy\"><b> -&gt; </b></span>tgt.pushTypeAvailable<span style=\"color: navy\">;</span>\r\n<span style=\"color: navy\">}\r\n\r\n</span><b>group </b>VerificationResultAttestation<span style=\"color: navy\">(</span><b>source</b> <span style=\"color: maroon\">src</span>, <b>target</b> <span style=\"color: maroon\">tgt</span><span style=\"color: navy\">)</span><b> extends </b>BackboneElement<span style=\"color: navy\"> {\r\n</span>  src.who<span style=\"color: navy\"><b> -&gt; </b></span>tgt.who<span style=\"color: navy\">;</span>\r\n  src.onBehalfOf<span style=\"color: navy\"><b> -&gt; </b></span>tgt.onBehalfOf<span style=\"color: navy\">;</span>\r\n  src.communicationMethod<span style=\"color: navy\"><b> -&gt; </b></span>tgt.communicationMethod<span style=\"color: navy\">;</span>\r\n  src.date<span style=\"color: navy\"><b> -&gt; </b></span>tgt.date<span style=\"color: navy\">;</span>\r\n  src.sourceIdentityCertificate<span style=\"color: navy\"><b> -&gt; </b></span>tgt.sourceIdentityCertificate<span style=\"color: navy\">;</span>\r\n  src.proxyIdentityCertificate<span style=\"color: navy\"><b> -&gt; </b></span>tgt.proxyIdentityCertificate<span style=\"color: navy\">;</span>\r\n  src.proxySignature<span style=\"color: navy\"><b> -&gt; </b></span>tgt.proxySignature<span style=\"color: navy\">;</span>\r\n  src.sourceSignature<span style=\"color: navy\"><b> -&gt; </b></span>tgt.sourceSignature<span style=\"color: navy\">;</span>\r\n<span style=\"color: navy\">}\r\n\r\n</span><b>group </b>VerificationResultValidator<span style=\"color: navy\">(</span><b>source</b> <span style=\"color: maroon\">src</span>, <b>target</b> <span style=\"color: maroon\">tgt</span><span style=\"color: navy\">)</span><b> extends </b>BackboneElement<span style=\"color: navy\"> {\r\n</span>  src.organization<span style=\"color: navy\"><b> -&gt; </b></span>tgt.organization<span style=\"color: navy\">;</span>\r\n  src.identityCertificate<span style=\"color: navy\"><b> -&gt; </b></span>tgt.identityCertificate<span style=\"color: navy\">;</span>\r\n  src.attestationSignature<span style=\"color: navy\"><b> -&gt; </b></span>tgt.attestationSignature<span style=\"color: navy\">;</span>\r\n<span style=\"color: navy\">}\r\n\r\n</span></pre></div>"
  ] ; # 
  fhir:contained ( [
a fhir:ConceptMap ;
fhir:id [ fhir:v "status" ] ;
fhir:status [ fhir:v "active" ] ;
    ( fhir:group [
fhir:source [
fhir:v "http://hl7.org/fhir/4.0/CodeSystem/status"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/4.0/CodeSystem/status>       ] ;
fhir:target [
fhir:v "http://hl7.org/fhir/CodeSystem/verificationresult-status"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/CodeSystem/verificationresult-status>       ] ;
      ( fhir:element [
fhir:code [ fhir:v "attested" ] ;
        ( fhir:target [
fhir:code [ fhir:v "attested" ] ;
fhir:relationship [ fhir:v "related-to" ]         ] )       ] [
fhir:code [ fhir:v "validated" ] ;
        ( fhir:target [
fhir:code [ fhir:v "validated" ] ;
fhir:relationship [ fhir:v "related-to" ]         ] )       ] [
fhir:code [ fhir:v "in-process" ] ;
        ( fhir:target [
fhir:code [ fhir:v "in-process" ] ;
fhir:relationship [ fhir:v "related-to" ]         ] )       ] [
fhir:code [ fhir:v "req-revalid" ] ;
        ( fhir:target [
fhir:code [ fhir:v "req-revalid" ] ;
fhir:relationship [ fhir:v "related-to" ]         ] )       ] [
fhir:code [ fhir:v "val-fail" ] ;
        ( fhir:target [
fhir:code [ fhir:v "val-fail" ] ;
fhir:relationship [ fhir:v "related-to" ]         ] )       ] [
fhir:code [ fhir:v "reval-fail" ] ;
        ( fhir:target [
fhir:code [ fhir:v "reval-fail" ] ;
fhir:relationship [ fhir:v "related-to" ]         ] )       ] )     ] )
  ] ) ; # 
  fhir:extension ( [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-wg"^^xsd:anyURI ] ;
fhir:value [ fhir:v "fhir" ]
  ] [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-fmm"^^xsd:anyURI ] ;
fhir:value [
fhir:v "1"^^xsd:integer ;
      ( fhir:extension [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-conformance-derivedFrom"^^xsd:anyURI ] ;
fhir:value [
fhir:v "http://hl7.org/fhir/extensions/ImplementationGuide/hl7.fhir.uv.extensions"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/extensions/ImplementationGuide/hl7.fhir.uv.extensions>         ]       ] )     ]
  ] [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-standards-status"^^xsd:anyURI ] ;
fhir:value [
fhir:v "trial-use" ;
      ( fhir:extension [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-conformance-derivedFrom"^^xsd:anyURI ] ;
fhir:value [
fhir:v "http://hl7.org/fhir/extensions/ImplementationGuide/hl7.fhir.uv.extensions"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/extensions/ImplementationGuide/hl7.fhir.uv.extensions>         ]       ] )     ]
  ] ) ; # 
  fhir:url [ fhir:v "http://hl7.org/fhir/StructureMap/VerificationResult4to5"^^xsd:anyURI] ; # 
  fhir:version [ fhir:v "5.1.0-ballot1"] ; # 
  fhir:name [ fhir:v "VerificationResult4to5"] ; # 
  fhir:title [ fhir:v "FML Conversion for VerificationResult: R4 to R5"] ; # 
  fhir:status [ fhir:v "active"] ; # 
  fhir:date [ fhir:v "2023-12-19T08:40:03+11:00"^^xsd:dateTime] ; # 
  fhir:publisher [ fhir:v "HL7 International / FHIR Infrastructure"] ; # 
  fhir:contact ( [
    ( fhir:telecom [
fhir:system [ fhir:v "url" ] ;
fhir:value [ fhir:v "http://www.hl7.org/Special/committees/fiwg" ]     ] )
  ] ) ; # 
  fhir:description [ fhir:v "FMLConversionforVerificationResultR4toR5"] ; # 
  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:structure ( [
fhir:url [
fhir:v "http://hl7.org/fhir/4.0/StructureDefinition/VerificationResult"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/4.0/StructureDefinition/VerificationResult>     ] ;
fhir:mode [ fhir:v "source" ] ;
fhir:alias [ fhir:v "VerificationResultR4" ]
  ] [
fhir:url [
fhir:v "http://hl7.org/fhir/StructureDefinition/VerificationResult"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/VerificationResult>     ] ;
fhir:mode [ fhir:v "target" ] ;
fhir:alias [ fhir:v "VerificationResultR5" ]
  ] ) ; # 
  fhir:import ( [
fhir:v "http://hl7.org/fhir/StructureMap/*4to5"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureMap/*4to5>
  ] ) ; # 
  fhir:group ( [
fhir:name [ fhir:v "VerificationResult" ] ;
fhir:extends [ fhir:v "DomainResource" ] ;
fhir:typeMode [ fhir:v "type-and-types" ] ;
    ( fhir:input [
fhir:name [ fhir:v "src" ] ;
fhir:type [ fhir:v "VerificationResultR4" ] ;
fhir:mode [ fhir:v "source" ]     ] [
fhir:name [ fhir:v "tgt" ] ;
fhir:type [ fhir:v "VerificationResultR5" ] ;
fhir:mode [ fhir:v "target" ]     ] ) ;
    ( fhir:rule [
fhir:name [ fhir:v "target" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "target" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "target" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "targetLocation" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "targetLocation" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "targetLocation" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "need" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "need" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "need" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "status" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "status" ] ;
fhir:variable [ fhir:v "v" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "status" ] ;
fhir:transform [ fhir:v "translate" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "v" ]         ] [
fhir:value [ fhir:v "#status" ]         ] [
fhir:value [ fhir:v "code" ]         ] )       ] )     ] [
fhir:name [ fhir:v "statusDate" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "statusDate" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "statusDate" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "validationType" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "validationType" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "validationType" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "validationProcess" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "validationProcess" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "validationProcess" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "frequency" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "frequency" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "frequency" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "lastPerformed" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "lastPerformed" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "lastPerformed" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "nextScheduled" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "nextScheduled" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "nextScheduled" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "failureAction" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "failureAction" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "failureAction" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "primarySource" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "primarySource" ] ;
fhir:variable [ fhir:v "s" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "primarySource" ] ;
fhir:variable [ fhir:v "t" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "VerificationResultPrimarySource" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "s" ]         ] [
fhir:value [ fhir:v "t" ]         ] )       ] )     ] [
fhir:name [ fhir:v "attestation" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "attestation" ] ;
fhir:variable [ fhir:v "s" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "attestation" ] ;
fhir:variable [ fhir:v "t" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "VerificationResultAttestation" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "s" ]         ] [
fhir:value [ fhir:v "t" ]         ] )       ] )     ] [
fhir:name [ fhir:v "validator" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "validator" ] ;
fhir:variable [ fhir:v "s" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "validator" ] ;
fhir:variable [ fhir:v "t" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "VerificationResultValidator" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "s" ]         ] [
fhir:value [ fhir:v "t" ]         ] )       ] )     ] )
  ] [
fhir:name [ fhir:v "VerificationResultPrimarySource" ] ;
fhir:extends [ fhir:v "BackboneElement" ] ;
    ( fhir:input [
fhir:name [ fhir:v "src" ] ;
fhir:mode [ fhir:v "source" ]     ] [
fhir:name [ fhir:v "tgt" ] ;
fhir:mode [ fhir:v "target" ]     ] ) ;
    ( fhir:rule [
fhir:name [ fhir:v "who" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "who" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "who" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "type" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "type" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "type" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "communicationMethod" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "communicationMethod" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "communicationMethod" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "validationStatus" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "validationStatus" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "validationStatus" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "validationDate" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "validationDate" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "validationDate" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "canPushUpdates" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "canPushUpdates" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "canPushUpdates" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "pushTypeAvailable" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "pushTypeAvailable" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "pushTypeAvailable" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] )
  ] [
fhir:name [ fhir:v "VerificationResultAttestation" ] ;
fhir:extends [ fhir:v "BackboneElement" ] ;
    ( fhir:input [
fhir:name [ fhir:v "src" ] ;
fhir:mode [ fhir:v "source" ]     ] [
fhir:name [ fhir:v "tgt" ] ;
fhir:mode [ fhir:v "target" ]     ] ) ;
    ( fhir:rule [
fhir:name [ fhir:v "who" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "who" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "who" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "onBehalfOf" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "onBehalfOf" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "onBehalfOf" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "communicationMethod" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "communicationMethod" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "communicationMethod" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "date" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "date" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "date" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "sourceIdentityCertificate" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "sourceIdentityCertificate" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "sourceIdentityCertificate" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "proxyIdentityCertificate" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "proxyIdentityCertificate" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "proxyIdentityCertificate" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "proxySignature" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "proxySignature" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "proxySignature" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "sourceSignature" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "sourceSignature" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "sourceSignature" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] )
  ] [
fhir:name [ fhir:v "VerificationResultValidator" ] ;
fhir:extends [ fhir:v "BackboneElement" ] ;
    ( fhir:input [
fhir:name [ fhir:v "src" ] ;
fhir:mode [ fhir:v "source" ]     ] [
fhir:name [ fhir:v "tgt" ] ;
fhir:mode [ fhir:v "target" ]     ] ) ;
    ( fhir:rule [
fhir:name [ fhir:v "organization" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "organization" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "organization" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "identityCertificate" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "identityCertificate" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "identityCertificate" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] [
fhir:name [ fhir:v "attestationSignature" ] ;
      ( fhir:source [
fhir:context [ fhir:v "src" ] ;
fhir:element [ fhir:v "attestationSignature" ] ;
fhir:variable [ fhir:v "vvv" ]       ] ) ;
      ( fhir:target [
fhir:context [ fhir:v "tgt" ] ;
fhir:element [ fhir:v "attestationSignature" ] ;
fhir:variable [ fhir:v "vvv" ] ;
fhir:transform [ fhir:v "create" ]       ] ) ;
      ( fhir:dependent [
fhir:name [ fhir:v "DefaultMappingGroupAnonymousAlias" ] ;
        ( fhir:parameter [
fhir:value [ fhir:v "vvv" ]         ] [
fhir:value [ fhir:v "vvv" ]         ] )       ] )     ] )
  ] ) . #