@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 -------------------------------------------------------------------

<http://hl7.org/fhir/extensions/StructureMap/VerificationResult5to4> a fhir:StructureMap ;
  fhir:nodeRole fhir:treeRoot ;
  fhir:id [ fhir:v "VerificationResult5to4"] ; # 
  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/VerificationResult5to4'</span>\r\n<span style=\"color: #cc00cc\">/// <b>name</b> = </span><span style=\"color: blue\">'VerificationResult5to4'</span>\r\n<span style=\"color: #cc00cc\">/// <b>title</b> = </span><span style=\"color: blue\">'FML Conversion for VerificationResult: R5 to R4'</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/R5/codesystem-verificationresult-status.html\" title=\"status\">http://hl7.org/fhir/CodeSystem/verificationresult-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/R4/codesystem-verificationresult-status.html\" title=\"Status\">http://hl7.org/fhir/4.0/CodeSystem/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/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>source</b>\r\n<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>target</b>\r\n\r\n<b>imports</b><span style=\"color: navy\"> &quot;</span>http://hl7.org/fhir/StructureMap/*5to4<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>VerificationResultR5, <b>target</b> <span style=\"color: maroon\">tgt</span><span style=\"color: navy\"> : </span>VerificationResultR4<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/CodeSystem/verificationresult-status"^^xsd:anyURI ;
         fhir:link <http://hl7.org/fhir/CodeSystem/verificationresult-status>
       ] ;
       fhir:target [
         fhir:v "http://hl7.org/fhir/4.0/CodeSystem/status"^^xsd:anyURI ;
         fhir:link <http://hl7.org/fhir/4.0/CodeSystem/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:comment [ fhir:v "s:\"entered-in-error\" - t:\"entered-in-error\"" ]
         ] )
       ] )
     ] )
  ] ) ; # 
  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/VerificationResult5to4"^^xsd:anyURI] ; # 
  fhir:version [ fhir:v "5.1.0-snapshot1"] ; # 
  fhir:name [ fhir:v "VerificationResult5to4"] ; # 
  fhir:title [ fhir:v "FML Conversion for VerificationResult: R5 to R4"] ; # 
  fhir:status [ fhir:v "active"] ; # 
  fhir:date [ fhir:v "2024-03-12T13:30:10+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 "FMLConversionforVerificationResultR5toR4"] ; # 
  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/StructureDefinition/VerificationResult"^^xsd:anyURI ;
       fhir:link <http://hl7.org/fhir/StructureDefinition/VerificationResult>
     ] ;
     fhir:mode [ fhir:v "source" ] ;
     fhir:alias [ fhir:v "VerificationResultR5" ]
  ] [
     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 "target" ] ;
     fhir:alias [ fhir:v "VerificationResultR4" ]
  ] ) ; # 
  fhir:import ( [
     fhir:v "http://hl7.org/fhir/StructureMap/*5to4"^^xsd:anyURI ;
     fhir:link <http://hl7.org/fhir/StructureMap/*5to4>
  ] ) ; # 
  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 "VerificationResultR5" ] ;
       fhir:mode [ fhir:v "source" ]
     ] [
       fhir:name [ fhir:v "tgt" ] ;
       fhir:type [ fhir:v "VerificationResultR4" ] ;
       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" ]
         ] )
       ] )
     ] )
  ] ) . # 

# -------------------------------------------------------------------------------------

