Domain d1a2ua_: 1a2u A:

Shown in context of the chain.