1
type: Entity
corresponds to variable: http://www.example.org/unpublished-sub#a
label: a

4
type: Entity
corresponds to variable: http://www.example.org/unpublished-sub#b
label: b

fairstepprov
type: Activity
corresponds to step: unpublished-sub
ended at time: 2022-12-15T15:24:08.864726
started at time: 2022-12-15T15:24:08.864722
used: 1
used: 4
used: -3

-3
type: Entity
corresponds to variable: out1
label: out1

assertion
generated at time: 2022-12-15T15:24:09.199027

sig
has algorithm: RSA