Domain d1lfaa_: 1lfa A:

Shown in context of the chain.