ValueSet Example using code filter (intensional) defined in a code system resource

{
  "resourceType" : "ValueSet",
  "id" : "example-filter",
  "text" : {
    "status" : "generated",
    "div" : "<div xmlns=\"http://www.w3.org/1999/xhtml\">\n      <ul>\n        <li>Include codes from \n          <a href=\"codesystem-example.html\">\n            <code>http://hl7.org/fhir/CodeSystem/example</code>\n          </a> where acme-plasma  =  true\n        </li>\n      </ul>\n    </div>"
  },
  "url" : "http://hl7.org/fhir/ValueSet/example-filter",
  "identifier" : [{
    "system" : "urn:ietf:rfc:3986",
    "value" : "urn:oid:2.16.840.1.113883.4.642.3.3148"
  }],
  "version" : "5.0.0-snapshot3",
  "name" : "ACMECholCodesPlasma",
  "title" : "ACME Codes for Cholesterol: Plasma only",
  "status" : "draft",
  "experimental" : true,
  "date" : "2018-11-01",
  "publisher" : "HL7 International",
  "contact" : [{
    "name" : "FHIR project team",
    "telecom" : [{
      "system" : "url",
      "value" : "http://hl7.org/fhir"
    }]
  }],
  "description" : "ACME Codes for Cholesterol: Plasma only - demonstrating the use of a filter defined in a CodeSystem",
  "compose" : {
    "include" : [{
      "system" : "http://hl7.org/fhir/CodeSystem/example",
      "filter" : [{
        "property" : "acme-plasma",
        "op" : "=",
        "value" : "true"
      }]
    }],
    "property" : ["status"]
  }
}