Commentary

Some standard constraints (all inside {...} :):

{disjoint}
{subset}
{overlapping}
{constraint1, constrraint2}