Domain d1ai2a_: 1ai2 A:

Shown in context of the chain.