StructureDefinition-pdex-provenance.json Provenance.agent.onBehalfOf has an invalid FHIRPath expression for constraint provenance-1.

{
"key": "provenance-1",
"severity": "error",
"human": "onBehalfOf SHALL be present when Provenance.agent.who is a Practitioner or Device",
"expression": "($this.agent.who.resolve().is Practitioner or Device) implies exists()"
}

Perhaps this should be changed to have is properly referenced.

(($this.agent.who.resolve() is Practitioner) or ($this.agent.who.resolve() is Device)) implies exists()