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-ballot",
  "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"
    ]
  }
}