Domain d1pt2a_: 1pt2 A:

Shown in context of the chain.