1 0..1: [ SharedReadWrite<TAG> ]
2 0..1: [ SharedReadWrite<TAG> ]
3 0..1: [ SharedReadWrite<TAG> ]
4 0..1: [ SharedReadWrite<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> ]
5 0..1: [ SharedReadWrite<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> SharedReadOnly<TAG> ]
6 0..1: [ unknown-bottom(..<TAG>) ]