Domain d1lf2a_: 1lf2 A:

Shown in context of the chain.