Domain d1cupa_: 1cup A:

Shown in context of the chain.