Domain d1va2a_: 1va2 A:

Shown in context of the chain.