Domain d1lem.1: 1lem A:,B:

Shown in context of the chain.