Domain d1ia1a_: 1ia1 A:

Shown in context of the chain.