If

• :a :b :c :d

denotes

• :a :b :c is true in :d

and

• :d rdfg:equivalentGraph :e :f

denotes

• :d is identical to :e, in :f

then there should be a way to say

• :a :b :c is true in :e is true in :f

which leads to

• :a :b :c :e :f

?

is this a standard way of 'serializing' provenance?