Domain d3fmla_: 3fml A:

Shown in context of the chain.