Domain d1vg1a_: 1vg1 A:

Shown in context of the chain.