Domain d1fi1a_: 1fi1 A:

Shown in context of the chain.