This appears to be wrong in two respects: first, delta:deletion and
delta:insertion should have the same formula as the subject, in other
words :_g2 and :_g3 should actually be the same; and the combined
:_g2/:_g3 should be a bNode, existentially quantified over its parent
formula, the document root.