f:Provenance recorded: minimum cardinality of 'recorded' is 1 activity: minimum cardinality of 'activity' is 1 f:Provenance/f:activity id: maximum cardinality of 'id' is 1 text: maximum cardinality of 'text' is 1 f:Provenance/f:activity/f:coding id: maximum cardinality of 'id' is 1 system: minimum cardinality of 'system' is 1 system: maximum cardinality of 'system' is 1 version: maximum cardinality of 'version' is 1 code: maximum cardinality of 'code' is 1 display: maximum cardinality of 'display' is 1 userSelected: maximum cardinality of 'userSelected' is 1