ValueSet Example using proeprty filter (intensional) defined in a supplement

{
  "resourceType" : "ValueSet",
  "id" : "example-supplement",
  "text" : {
    "status" : "generated",
    "div" : "<div xmlns=\"http://www.w3.org/1999/xhtml\">\n      <p class=\"res-header-id\">\n        <b>Generated Narrative: ValueSet example-supplement</b>\n      </p>\n      <a name=\"example-supplement\"> </a>\n      <a name=\"hcexample-supplement\"> </a>\n      <a name=\"example-supplement-en-US\"> </a>\n      <p>This ValueSet requires the Code system Supplement \n        <a href=\"codesystem-example-supplement.html\">Cholesterol Code Legacy Status</a>.\n      </p>\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 legacy  = true\n        </li>\n      </ul>\n    </div>"
  },
  "extension" : [{
    "url" : "http://hl7.org/fhir/StructureDefinition/valueset-supplement",
    "valueCanonical" : "http://hl7.org/fhir/CodeSystem/example-supplement"
  },
  {
    "url" : "http://hl7.org/fhir/StructureDefinition/structuredefinition-wg",
    "valueCode" : "vocab"
  }],
  "url" : "http://hl7.org/fhir/ValueSet/example-supplement",
  "version" : "6.0.0-ballot2",
  "name" : "ACMECholCodesPlasmaSupplemented",
  "title" : "ACME Codes for Cholesterol: Plasma only (Supplemented)",
  "status" : "draft",
  "experimental" : true,
  "date" : "2018-11-01",
  "publisher" : "HL7 International / Terminology Infrastructure",
  "contact" : [{
    "telecom" : [{
      "system" : "url",
      "value" : "http://www.hl7.org/Special/committees/Vocab"
    }]
  }],
  "description" : "ACME Codes for Cholesterol: Plasma only - demonstrating the use of a supplement defined in a CodeSystem",
  "compose" : {
    "include" : [{
      "system" : "http://hl7.org/fhir/CodeSystem/example",
      "filter" : [{
        "property" : "legacy",
        "op" : "=",
        "value" : "true"
      }]
    }],
    "property" : ["status"]
  }
}