Domain d1sy2a_: 1sy2 A:

Shown in context of the chain.