However, in their work, both rule application and the semantics of the resulting "augmented" structure were not fully specified.
the distinction between individual consequents was lost in the augmented graph.