Example of a device manipulation

@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 sct: <http://snomed.info/id/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

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

[a fhir:Procedure ;
  fhir:nodeRole fhir:treeRoot ;
  fhir:id [ fhir:v "example-implant"] ; # 
  fhir:contained ( [
     a fhir:Device ;
     fhir:id [ fhir:v "example-pacemaker" ] ;
     fhir:manufacturer [ fhir:v "Acme Devices, Inc" ] ;
     fhir:lotNumber [ fhir:v "1234-5678" ] ;
     fhir:type ( [
       fhir:coding ( [
         a sct:14106009 ;
         fhir:system [ fhir:v "http://snomed.info/sct"^^xsd:anyURI ] ;
         fhir:code [ fhir:v "14106009" ] ;
         fhir:display [ fhir:v "Cardiac pacemaker, device (physical object)" ]
       ] )
     ] )
  ] ) ; # 
  fhir:status [ fhir:v "completed"] ; # 
  fhir:code [
     fhir:coding ( [
       a sct:25267002 ;
       fhir:system [ fhir:v "http://snomed.info/sct"^^xsd:anyURI ] ;
       fhir:code [ fhir:v "25267002" ] ;
       fhir:display [ fhir:v "Insertion of intracardiac pacemaker (procedure)" ]
     ] ) ;
     fhir:text [ fhir:v "Implant Pacemaker" ]
  ] ; # 
  fhir:subject [
     fhir:reference [ fhir:v "Patient/example" ]
  ] ; # 
  fhir:occurrence [ fhir:v "2015-04-05"^^xsd:date] ; # 
  fhir:performer ( [
     fhir:actor [
       fhir:reference [ fhir:v "Practitioner/example" ] ;
       fhir:display [ fhir:v "Dr Cecil Surgeon" ]
     ]
  ] ) ; # 
  fhir:reason ( [
     fhir:concept [
       fhir:text [ fhir:v "Bradycardia" ]
     ]
  ] ) ; # 
  fhir:followUp ( [
     fhir:concept [
       fhir:text [ fhir:v "ROS 5 days  - 2013-04-10" ]
     ]
  ] ) ; # 
  fhir:note ( [
     fhir:text [ fhir:v "Routine Appendectomy. Appendix was inflamed and in retro-caecal position" ]
  ] ) ; # 
  fhir:focalDevice ( [
     fhir:action [
       fhir:coding ( [
         fhir:system [ fhir:v "http://hl7.org/fhir/device-action"^^xsd:anyURI ] ;
         fhir:code [ fhir:v "implanted" ]
       ] )
     ] ;
     fhir:manipulated [
       fhir:reference [ fhir:v "#example-pacemaker" ]
     ]
  ] )] . # 

# -------------------------------------------------------------------------------------