Domain d1rdya_: 1rdy A:

Shown in context of the chain.