Domain d1clfa_: 1clf A:

Shown in context of the chain.