gens
{
a A b B c C d D
}
rels
{
[A,C][B,D]
}

