Domain d1hraa_: 1hra A:

Shown in context of the chain.